1081 search results - page 36 / 217 » Hierarchical Heterogeneous Specifications |
STOC
1994
ACM
14 years 16 days ago
1994
ACM
Recent work has shown many advantages to randomly wired expander-based networks. Unfortunately, the wiring complexity of such networks becomes physically problematic as they becom...
ESORICS
2008
Springer
13 years 10 months ago
2008
Springer
Key agreement is a fundamental security functionality by which pairs of nodes agree on shared keys to be used for protecting their pairwise communications. In this work we study k...
PERVASIVE
2010
Springer
13 years 10 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
DHT networks based on consistent hashing functions have an inherent load uneven distribution problem. The objective of DHT load balancing is to balance the workload of the network...