3710 search results - page 136 / 742 » A new calculus of contexts |
207
click to vote
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
197
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we investigate the relationship between two problems, related to distributed systems, that are of particular interest in the context of Service Oriented Computing: at...
196
Voted
FLAIRS
2010
15 years 9 months ago
2010
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
212
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
204
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...