1134 search results - page 107 / 227 » Distributed Proving in Access-Control Systems |
168
click to vote
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
118
Voted
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
—We study the dissemination of dynamic content, such as news or traffic information, over a mobile social network. In this application, mobile users subscribe to a dynamic-conte...
171
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— The performances in cooperative communications depend on careful resource allocation such as relay selection and power control, but traditional centralized resource allocation ...
138
click to vote
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
114
Voted
ICDCS
1997
IEEE
15 years 7 months ago
1997
IEEE
Fault-tolerance techniques based on checkpointing and message logging have been increasingly used in real-world applications to reduce service down-time. Most industrial applicati...