8086 search results - page 1272 / 1618 » On the Implementation of Dynamic Patterns |
298
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
180
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
In distributed systems users need to share sensitive objects with others based on the recipients' ability to satisfy a policy. Attribute-Based Encryption (ABE) is a new parad...
153
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
174
click to vote
PERCOM
2009
ACM
16 years 7 months ago
2009
ACM
Abstract--Presence, broadly defined as an event publishnotification infrastructure for converged applications, has emerged as a key mechanism for collecting and disseminating conte...
153
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
Sensor sleeping is a widely-used and cost-effective technique to save energy in wireless sensor networks. Protocols at different stack levels can, either individually or simultaneo...