3684 search results - page 534 / 737 » Generic Support for Distributed Applications |
132
click to vote
ENTCS
2007
15 years 6 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
182
click to vote
TC
1998
15 years 6 months ago
1998
—Authentication using a path of trusted intermediaries, each able to authenticate the next in the path, is a well-known technique for authenticating channels in a large distribut...
195
click to vote
PET
2012
Springer
13 years 8 months ago
2012
Springer
Real-time statistics on smart meter consumption data must preserve consumer privacy and tolerate smart meter failures. Existing protocols for this private distributed aggregation m...
214
click to vote
EDOC
2008
IEEE
16 years 25 days ago
2008
IEEE
: “Web 2.0” and “cloud computing” are revolutionizing the way IT infrastructure is accessed and managed. Web 2.0 technologies such as blogs, wikis and social networking pla...
151
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
We present MediaBroker, a distributed framework designed to support pervasive computing applications. Specifically, we propose an architecture consisting of a transport engine and...