1373 search results - page 186 / 275 » Secure multi-mode systems and their applications for pervasi... |
157
Voted
MUM
2005
ACM
15 years 11 months ago
2005
ACM
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
185
click to vote
IANDC
2011
15 years 1 months ago
2011
We introduce the class of Rigid Tree Automata (RTA), an extension of standard bottom-up automata on ranked trees with distinguished states called rigid. Rigid states define a res...
160
click to vote
USENIX
2001
15 years 7 months ago
2001
The X Window System protocol, Version 11, was deliberately designed to be extensible, to provide for both anticipated and unanticipated needs. The X11 core did not anticipate that...
199
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
190
click to vote
IMC
2006
ACM
16 years 1 days ago
2006
ACM
In this paper we present the first implementation of a P2P content distribution system that uses Network Coding. Using results from live trials with several hundred nodes, we pro...