All pages tagged with computational fields

• Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
• A Framework to Specify and Verify Computational Fields for Pervasive Systems
• Engineering Self-organising Coordination: A Computational Field Approach
• Type-based Self-stabilisation for Computational Fields
• A type-sound calculus of computational fields
• Computational Fields Meet Augmented Reality: Perspectives and Challenges
• Multi-agent Systems Meet Aggregate Programming: Towards a Notion of Aggregate Plan
• Engineering Confluent Computational Fields: from Functions to Rewrite Rules
• A Higher-Order Calculus of Computational Fields
• A core calculus of computational fields
• Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems