533 search results - page 77 / 107 » Protocol synthesis from timed and structured specifications |
ICFP
2009
ACM
14 years 11 months ago
2009
ACM
Concurrent ML (CML) is a high-level message-passing language that supports the construction of first-class synchronous abstractions called events. This mechanism has proven quite ...
MOBILITY
2009
ACM
14 years 5 months ago
2009
ACM
We present the feasibility evaluation of a structured communication-oriented Peer-to-Peer (P2P) system being used in mobile environments in this paper. The different levels of chu...
OPODIS
2004
14 years 10 days ago
2004
In this paper, we introduce the concept of hierarchy-based fault-local stabilization and a novel self-healing/fault-containment technique and apply them in Stalk. Stalk is an algo...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Aggregation is an important building block of modern distributed applications, allowing the determination of meaningful properties (e.g. network size, total storage capac...
TSP
2008
13 years 11 months ago
2008
A cross-layered slotted ALOHA protocol is proposed and analyzed for distributed estimation in sensor networks. Suppose that the sensors in the network record local measurements of ...