2243 search results - page 93 / 449 » Contracts for Mobile Processes |
138
click to vote
IWEC
2010
15 years 5 months ago
2010
Mobile games are based on the physical movement of players in a game world, combining real world with virtual dimensions. As the real world defies control, the magic circle, the bo...
136
Voted
ROOM
2000
15 years 5 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
147
Voted
DSONLINE
2008
15 years 3 months ago
2008
Ubiquitous applications are characterised by variations of their execution context. Their correct operation requires some continual adaptations based on the observation of their e...
115
click to vote
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper addresses the distribution and the deployment of hierarchical components on heterogeneous dynamic networks. Such networks may include fixed and mobile resourc...
130
click to vote
ICALP
1999
Springer
15 years 8 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...