All pages tagged with pervasive systems

• Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
• Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
• A Framework to Specify and Verify Computational Fields for Pervasive Systems
• Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
• Coordination Models and Technologies toward Self-Organising Systems
• Coordination Models and Technologies toward Self-Organising Systems
• OmiciniLogopSac2012
• SAPERE Methodology: Towards the Final Version
• From Service-Oriented Architectures to Nature-Inspired Self-aware Pervasive Service Ecosystems: The SAPERE Approach