Machine learning-based thread-parallelism regulation in software transactional memory Fulltext Access 41 Pages 2017
Energy efficiency for cloud computing system based on predictive optimization Fulltext Access 41 Pages 2017
A domain-specific language for model mutation and its application to the automated generation of exercises Fulltext Access 42 Pages 2017
Distributed host-based collaborative detection for false data injection attacks in smart grid cyber-physical system Fulltext Access 42 Pages 2017
Privacy-preserving anomaly detection in cloud with lightweight homomorphic encryption Fulltext Access 42 Pages 2017
A multi-layer model for diffusion of urgent information in mobile networks Fulltext Access 42 Pages 2017
Hardware-software collaboration for dark silicon heterogeneous many-core systems Fulltext Access 42 Pages 2017
User-story driven development of multi-agent systems: A process fragment for agile methods Fulltext Access 42 Pages 2017
Efficient processing of shortest path queries in evolving graph sequences Fulltext Access 42 Pages 2017
Self-updatable encryption: Time constrained access control with hidden attributes and better efficiency Fulltext Access 42 Pages 2017
Analysis of malware download sites by focusing on time series variation of malware Fulltext Access 42 Pages 2017
An initial study of time complexity in infinite-domain constraint satisfaction Fulltext Access 43 Pages 2017
Network pharmacology-based approach of novel traditional Chinese medicine formula for treatment of acute skin inflammation in silico Fulltext Access 43 Pages 2017
Minimizing deep sea data collection delay with autonomous underwater vehicles Fulltext Access 43 Pages 2017
Improving the robustness and performance of parallel joins over distributed systems Fulltext Access 43 Pages 2017
An Energy Aware Cost Effective Scheduling Framework for Heterogeneous Cluster System Fulltext Access 43 Pages 2017
A language-based approach to modelling and analysis of Twitter interactions Fulltext Access 44 Pages 2017
A class of bounded functions, a database language and an extended lambda calculus Fulltext Access 44 Pages 2017
An energy-efficient virtual machine placement and route scheduling scheme in data center networks Fulltext Access 44 Pages 2017
Achieving convergent causal consistency and high availability for cloud storage Fulltext Access 44 Pages 2017
Associative retrieval in spatial big data based on spreading activation with semantic ontology Fulltext Access 45 Pages 2017
Building an open source cloud environment with auto-scaling resources for executing bioinformatics and biomedical workflows Fulltext Access 45 Pages 2017
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement Fulltext Access 46 Pages 2017
An associative engines based approach supporting collaborative analytics in the Internet of cultural things Fulltext Access 46 Pages 2017
Understanding the complexity of axiom pinpointing in lightweight description logics Fulltext Access 46 Pages 2017
Constrained coalition formation on valuation structures: Formal framework, applications, and islands of tractability Fulltext Access 46 Pages 2017
On tackling quality threats for the assessment of measurement programs: A case study on the distribution of metric usage and knowledge Fulltext Access 46 Pages 2017
Context-aware recommender systems in mobile environment: On the road of future research Fulltext Access 46 Pages 2017
A new efficient approach for mining uncertain frequent patterns using minimum data structure without false positives Fulltext Access 47 Pages 2017
Secure group communication schemes for dynamic heterogeneous distributed computing Fulltext Access 47 Pages 2017
A portable and adaptable fault tolerance solution for heterogeneous applications Fulltext Access 47 Pages 2017
Exploring big graph computing - An empirical study from architectural perspective Fulltext Access 48 Pages 2017
An aspect-oriented model-driven approach for building adaptable context-aware service-based applications Fulltext Access 48 Pages 2017
Hybrid Message Pessimistic Logging. Improving current pessimistic message logging protocols Fulltext Access 49 Pages 2017
A decision support framework for identifying novel ideas in new product development from cross-domain analysis Fulltext Access 49 Pages 2017
Application of swarm based intelligent computing algorithms for dynamic evaluation of maximum loadability of transmission network Fulltext Access 50 Pages 2017
Scheduling deadline constrained scientific workflows on dynamically provisioned cloud resources Fulltext Access 50 Pages 2017
Coordinated cooperative task computing using crash-prone processors with unreliable multicast Fulltext Access 51 Pages 2017
To use or not to use: Modelling end user grumbling as user resistance in pre-implementation stage of enterprise resource planning system Fulltext Access 51 Pages 2017
Data-driven optimization approach for mass-spring models parametrization based on isogeometric analysis Fulltext Access 52 Pages 2017
Introducing computational thinking, parallel programming and performance engineering in interdisciplinary studies Fulltext Access 52 Pages 2017
Discovering socio-spatio-temporal important locations of social media users Fulltext Access 52 Pages 2017
Extending the framework for mobile health information systems Research: A content analysis Fulltext Access 52 Pages 2017
Distributed clustering of categorical data using the information bottleneck framework Fulltext Access 53 Pages 2017
Theorem proving graph grammars with attributes and negative application conditions Fulltext Access 53 Pages 2017
A large-scale study of cultural differences using urban data about eating and drinking preferences Fulltext Access 56 Pages 2017
Antiviral potential of natural compounds against influenza virus hemagglutinin Fulltext Access 57 Pages 2017
Towards a secure service provisioning framework in a Smart city environment Fulltext Access 59 Pages 2017
Hierarchical semi-Markov conditional random fields for deep recursive sequential data Fulltext Access 59 Pages 2017
Generalized possibilistic logic: Foundations and applications to qualitative reasoning about uncertainty Fulltext Access 60 Pages 2017
Verifying relational properties of functional programs by first-order refinement Fulltext Access 61 Pages 2017
Design and evaluation of virtual environments mechanisms to support remote collaboration on complex process diagrams Fulltext Access 62 Pages 2017
The first international competition on computational models of argumentation: Results and analysis Fulltext Access 62 Pages 2017
Optimal allocation of virtual machines in multi-cloud environments with reserved and on-demand pricing Fulltext Access 62 Pages 2017
Mining structured data in natural language artifacts with island parsing Fulltext Access 63 Pages 2017
Data-assimilated computational fluid dynamics modeling of convection-diffusion-reaction problems Fulltext Access 63 Pages 2017
A Python framework for programming autonomous robots using a declarative approach Fulltext Access 64 Pages 2017
Commonsense reasoning about containers using radically incomplete information Fulltext Access 64 Pages 2017
A model of language learning with semantics and meaning-preserving corrections Fulltext Access 65 Pages 2017