254 search results - page 1 / 51 » A Behavioral Module System for the Pi-Calculus |
SAS
2001
Springer
13 years 9 months ago
2001
Springer
CONCUR
2008
Springer
13 years 7 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
TGC
2007
Springer
13 years 11 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
SAB
2010
Springer
13 years 3 months ago
2010
Springer
In this paper, we investigate simple attentional mechanisms suitable for sensing rate regulation and action coordination in the presence of mutually dependent behaviors. We present...
CHI
2006
ACM
14 years 5 months ago
2006
ACM
Digital Manipulatives embed computation in familiar children's toys and provide means for children to design behavior. Some systems use "record and play" as a form ...