440 search results - page 42 / 88 » A Temporal Calculus of Communicating Systems |
SCP
2011
13 years 2 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
MOBIQUITOUS
2007
IEEE
14 years 1 months ago
2007
IEEE
Client side caching of location dependent queries is an important technique for improving performance of location-based services. Most of the existing research in this area has fo...
WMCSA
2002
IEEE
14 years 9 days ago
2002
IEEE
Mobile environments are highly dynamic, characterised by frequent and sudden changes in resource availability. As a consequence, adaptive mobile applications need to be capable of...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
In this paper, we address the problem of temporal synchronization of a team of mobile agents on a set of rendezvous points defined by the nodes of a bipartite network. In particula...
TCS
2008
13 years 7 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...