1087 search results - page 139 / 218 » Achieving Distributed Control through Model Checking |
SERP
2003
13 years 10 months ago
2003
Current trends suggest future software systems will rely on service-discovery protocols to combine and recombine distributed services dynamically in reaction to changing condition...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents a simple local medium access control protocol, called Jade, for multi-hop wireless networks with a single channel that is provably robust against adaptive adver...
INFOCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper presents a theoretic framework of optimal resource allocation and admission control for peer-topeer networks. Peer’s behavioral rankings are incorporated into the r...
VLDB
2006
ACM
14 years 9 months ago
2006
ACM
Abstract The protection of customer privacy is a fundamental issue in today's corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...