Corsi
Eventi
Presentazioni
Prodotti
Progetti
Pubblicazioni
Riviste
Tesi
Tirocini
Toggle navigation
SSO login
Home
Indice dei Documenti
Rubrica degli Utenti
Application Index
Global
Lingue
Lingua predefinita
What's New
Indice dei Wiki
Eng
Ita
Ricerca
APICe
Tags
Tags
computational fields
Tutti i documenti taggati con
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
Elenco delle attività per i documenti con il tag
computational fields
RSS Feed