1814 search results - page 283 / 363 » D-Stampede: Distributed Programming System for Ubiquitous Co... |
129
Voted
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
130
Voted
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper concerns the management of energy in data centers using a cyber-physical model that supports the coordinated control of both computational and thermal (cooling) resource...
156
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
It is often highly valuable for organizations to have their data analyzed by external agents. However, any program that computes on potentially sensitive data risks leaking inform...
112
Voted
PERCOM
2009
ACM
15 years 9 months ago
2009
ACM
—We present a middleware platform for assembling pervasive applications that demand fault-tolerance and adaptivity in distributed, dynamic environments. Unlike typical adaptive m...
132
Voted
EDO
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. This paper presents a framework that lets a component developer provide a component user with different kinds of information, depending on the specific context and needs....