Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous Fulltext Access 33 Pages 2017
Simultaneous versus joint computing: A case study of multi-vehicle parking motion planning Fulltext Access 33 Pages 2017
Subcellular localization based comparative study on radioresistant bacteria: A novel approach to mine proteins involve in radioresistance Fulltext Access 34 Pages 2017
Real-time event detection for online behavioral analysis of big social data Fulltext Access 34 Pages 2017
Fully leakage-resilient signatures revisited: Graceful degradation, noisy leakage, and construction in the bounded-retrieval model Fulltext Access 34 Pages 2017
Robust estimators of accelerated failure time regression with generalized log-gamma errors Fulltext Access 34 Pages 2017
Towards achieving flexible and verifiable search for outsourced database in cloud computing Fulltext Access 34 Pages 2017
An effective approach for managing power consumption in cloud computing infrastructure Fulltext Access 34 Pages 2017
Rain-fall optimization algorithm: A population based algorithm for solving constrained optimization problems Fulltext Access 34 Pages 2017
A data intensive heuristic approach to the two-stage streaming scheduling problem Fulltext Access 34 Pages 2017
Maximum matchings in scale-free networks with identical degree distribution Fulltext Access 34 Pages 2017
Newton's method in practice: Finding all roots of polynomials of degree one million efficiently Fulltext Access 34 Pages 2017
A modeling language to describe massive data storage management in cyber-physical systems Fulltext Access 34 Pages 2017
Quantitative model-checking of controlled discrete-time Markov processes Fulltext Access 35 Pages 2017
Polynomial fixed-parameter algorithms: A case study for longest path on interval graphs Fulltext Access 35 Pages 2017
Abstract, link, publish, exploit: An end to end framework for workflow sharing Fulltext Access 35 Pages 2017
Grasping the gap between blocking and non-blocking transactional memories Fulltext Access 35 Pages 2017
Collision-tolerant broadcast scheduling in duty-cycled wireless sensor networks Fulltext Access 35 Pages 2017
Soft sets based symbiotic organisms search algorithm for resource discovery in cloud computing environment Fulltext Access 35 Pages 2017
From model checking to equilibrium checking: Reactive modules for rational verification Fulltext Access 35 Pages 2017
Exploiting Cloud and Workflow Patterns for the Analysis of Composite Cloud Services Fulltext Access 36 Pages 2017
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain Fulltext Access 36 Pages 2017
A multimedia healthcare data sharing approach through cloud-based body area network Fulltext Access 36 Pages 2017
Scientific workflows in data analysis: Bridging expertise across multiple domains Fulltext Access 36 Pages 2017
Pharmacokinetically guided optimum adaptive dose selection in early phase clinical trials Fulltext Access 36 Pages 2017
Envisioning the qualitative effects of robot manipulation actions using simulation-based projections Fulltext Access 36 Pages 2017
Change visualisation: Analysing the resource and timing differences between two event logs Fulltext Access 36 Pages 2017
Multivariate functional response regression, with application to fluorescence spectroscopy in a cervical pre-cancer study Fulltext Access 37 Pages 2017
Geometric backtracking for combined task and motion planning in robotic systems Fulltext Access 37 Pages 2017
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games Fulltext Access 37 Pages 2017
Assessing the usefulness of online message board mining in automatic stock prediction systems Fulltext Access 37 Pages 2017
Maximizing the completion rate of concurrent scientific applications under time and budget constraints Fulltext Access 37 Pages 2017
Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities Fulltext Access 37 Pages 2017
A unified framework of active transfer learning for cross-system recommendation Fulltext Access 37 Pages 2017
An intelligent cloud-based data processing broker for mobile e-health multimedia applications Fulltext Access 37 Pages 2017
Intruder deduction problem for locally stable theories with normal forms and inverses Fulltext Access 37 Pages 2017
Transforming unstructured natural language descriptions into measurable process performance indicators using Hidden Markov Models Fulltext Access 38 Pages 2017
A Two-Stage Machine learning approach for temporally-robust text classification Fulltext Access 38 Pages 2017
Privacy-preserving multi-hop profile-matching protocol for proximity mobile social networks Fulltext Access 38 Pages 2017
Energy efficient modular exponentiation for public-key cryptography based on bit forwarding techniques Fulltext Access 38 Pages 2017
Empirically evaluating Greedy-based test suite reduction methods at different levels of test suite complexity Fulltext Access 39 Pages 2017
Using Augmented Reality and Internet of Things to improve accessibility of people with motor disabilities in the context of Smart Cities Fulltext Access 39 Pages 2017
Computational friendly attribute-based encryptions with short ciphertext Fulltext Access 39 Pages 2017
A general framework for secure sharing of personal health records in cloud system Fulltext Access 39 Pages 2017
Modeling, analysis, and experimental comparison of streaming graph-partitioning policies Fulltext Access 39 Pages 2017
Automated and flexible composition based on abstract services for a better adaptation to user intentions Fulltext Access 39 Pages 2017
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation Fulltext Access 39 Pages 2017
Denotational semantics of membrane systems by using complete metric spaces Fulltext Access 40 Pages 2017
High productivity multi-device exploitation with the Heterogeneous Programming Library Fulltext Access 40 Pages 2017
Generative software product line development using variability-aware design patterns Fulltext Access 40 Pages 2017
Studying real traffic and mobility scenarios for a Smart City using a new monitoring and tracking system Fulltext Access 40 Pages 2017
Design and evaluation of small-large outer joins in cloud computing environments Fulltext Access 40 Pages 2017
Colorectal tumour simulation using agent based modelling and high performance computing Fulltext Access 40 Pages 2017
Orchestration and analysis of decentralized workflows within heterogeneous networking infrastructures Fulltext Access 40 Pages 2017
Facilitating the development of cross-platform software via automated code synthesis from web-based programming resources Fulltext Access 41 Pages 2017
Ligand-based computational modelling of platelet-derived growth factor beta receptor leading to new angiogenesis inhibitory leads Fulltext Access 41 Pages 2017
Mixed integer linear programming for quality of service optimization in Clouds Fulltext Access 41 Pages 2017
System modelling and performance evaluation of a three-tier Cloud of Things Fulltext Access 41 Pages 2017
A computational model for ranking cloud service providers using hypergraph based techniques Fulltext Access 41 Pages 2017
Low latency and division free Gauss-Jordan solver in floating point arithmetic Fulltext Access 41 Pages 2017
Machine learning-based thread-parallelism regulation in software transactional memory Fulltext Access 41 Pages 2017
Towards the efficient parallelization of multi-pass adaptive blocking for entity matching Fulltext Access 41 Pages 2017