Replicating the geographical cloud: Provisioning omnipresence, omniscience and omnipotence Fulltext Access 25 Pages 2015
An optimization-based adaptive resource management framework for economic Grids: A switching mechanism Fulltext Access 25 Pages 2015
Killing epsilons with a dagger: A coalgebraic study of systems with algebraic label structure Fulltext Access 25 Pages 2015
A framework for exploring unifying theories of empirical software engineering Fulltext Access 25 Pages 2015
Characterising the complexity of constraint satisfaction problems defined by 2-constraint forbidden patterns Fulltext Access 25 Pages 2015
A reconfigurable framework for compositional schedulability and power analysis of hierarchical scheduling systems with frequency scaling Fulltext Access 25 Pages 2015
Managing the evolution of a software architecture at minimal cost under performance and reliability constraints Fulltext Access 25 Pages 2015
Space consumption analysis by abstract interpretation: Reductivity properties Fulltext Access 25 Pages 2015
A design-by-contract approach to recover the architectural style from run-time misbehaviour Fulltext Access 26 Pages 2015
Compliance monitoring in business processes: Functionalities, application, and tool-support Fulltext Access 26 Pages 2015
Reasoning about software reconfigurations: The behavioural and structural perspectives Fulltext Access 26 Pages 2015
A canonical automaton for one-rule length-preserving string rewrite systems Fulltext Access 26 Pages 2015
Data structures for temporal graphs based on compact sequence representations Fulltext Access 26 Pages 2015
Energy-efficient Checkpointing in High-throughput Cycle-stealing Distributed Systems Fulltext Access 26 Pages 2015
A straight-line order-preserving binary tree drawing algorithm with linear area and arbitrary aspect ratio Fulltext Access 27 Pages 2015
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics Fulltext Access 27 Pages 2015
Laplacian normalization and random walk on heterogeneous networks for disease-gene prioritization Fulltext Access 28 Pages 2015
Parametric multisingular hybrid Petri nets: Formal definitions and analysis techniques Fulltext Access 28 Pages 2015
A framework for co-optimization algorithm performance and its application to worst-case optimization Fulltext Access 28 Pages 2015
Automatic promotional specialization, generalization and analysis of extended feature models with cardinalities in Alloy Fulltext Access 28 Pages 2015
Specification and automated design-time analysis of the business process human resource perspective Fulltext Access 28 Pages 2015
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints Fulltext Access 29 Pages 2015
Model checking of concurrent programs with static analysis of field accesses Fulltext Access 29 Pages 2015
Parallel multiphysics simulations of charged particles in microfluidic flows Fulltext Access 29 Pages 2015
Modular encoding of synchronous and asynchronous interactions using open Petri nets Fulltext Access 29 Pages 2015
An algorithm for compositional nonblocking verification using special events Fulltext Access 30 Pages 2015
Applications of an expressive statistical model checking approach to the analysis of genetic circuits Fulltext Access 30 Pages 2015
A view framework for modeling and change validation of artifact-centric inter-organizational business processes Fulltext Access 31 Pages 2015
An Efficient Time Optimized Scheme for Progressive Analytics in Big Data Fulltext Access 31 Pages 2015
A resource-aware framework for resource-constrained service-oriented systems Fulltext Access 31 Pages 2015
Stepwise refinement of sequence diagrams with soft real-time constraints Fulltext Access 31 Pages 2015
Impact analysis and change propagation in service-oriented enterprises: A systematic review Fulltext Access 31 Pages 2015
Disciplined structured communications with disciplined runtime adaptation Fulltext Access 31 Pages 2015
Space consumption analysis by abstract interpretation: Inference of recursive functions Fulltext Access 32 Pages 2015