680 search results - page 94 / 136 » Types for the Ambient Calculus |
134
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
128
click to vote
IANDC
2006
15 years 4 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
115
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
This paper reports on an on-going project, which is investigating the role that location plays in the visibility of information presented on a public display. Spatial measures are...
137
click to vote
HCI
2007
15 years 5 months ago
2007
Context-awareness is an important capability needed in devices in a ubiquitous computing environment. Ubiquitous computing devices use different types of sensors along with the us...
161
click to vote
KES
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents a case study in which the OVAMAH architecture is applied in order to obtain a multi-agent system (MAS) that can provide assistance and health care for Alzheimer...