5790 search results - page 124 / 1158 » Distributed programming with distributed authorization |
AINA
2005
IEEE
14 years 3 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
PERVASIVE
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract— Many IP multicast-based applications, such as multimedia conferencing, multiplayer games, require controlling the group memberships of senders and receivers. One common...
EJWCN
2010
13 years 5 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
ICML
2005
IEEE
14 years 11 months ago
2005
IEEE
We present a novel unsupervised learning scheme that simultaneously clusters variables of several types (e.g., documents, words and authors) based on pairwise interactions between...