Modeling adaptive behaviors in Context UNITY

DOI10.1016/J.TCS.2007.02.025zbMath1116.68040OpenAlexW2148399451MaRDI QIDQ882451

Jamie Payton, Gruia-Catalin Roman, Christine Julien

Publication date: 23 May 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://openscholarship.wustl.edu/cse_research/965

zbMATH Keywords

adaptive systemsformal methodsunitycontext-aware computing

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

The calculus of context-aware ambients

Uses Software

• LIME
• UNITY

Cites Work

• Unnamed Item
• Stepwise refinement of parallel algorithms
• An axiomatic basis for computer programming
• Coordination Models and Languages
• Coordination Models and Languages
• A notation and logic for mobile computing

This page was built for publication: Modeling adaptive behaviors in Context UNITY