5480 search results - page 439 / 1096 » Communicating with Synchronized Environments |
152
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
This paper compares the expressiveness of ambient calculi against different dialects of the pi-calculus. Cardelli and Gordon encoded the asynchronous pi-calculus into their calcul...
211
click to vote
IPPS
2003
IEEE
16 years 4 days ago
2003
IEEE
Clustering is an important characteristic of most sensor applications. In this paper we define COSMOS, the Cluster-based, heterOgeneouS MOdel for Sensor networks. The model assum...
174
click to vote
ICDCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Group communication, providing virtual synchrony semantics, is a powerful paradigm for building distributed applications. For applications that require a large number of groups, s...
176
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components a...
146
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...