9702 search results - page 1617 / 1941 » Communicating Mobile Processes |
168
click to vote
PADS
2005
ACM
16 years 6 days ago
2005
ACM
Simulation of large-scale networks requires enormous amounts of memory and processing time. One way of speeding up these simulations is to distribute the model over a number of co...
161
click to vote
SENSYS
2005
ACM
16 years 6 days ago
2005
ACM
This paper describes the design, implementation and evaluation of a search and rescue system called CenWits. CenWits uses several small, commonly-available RF-based sensors, and a...
134
click to vote
SIGDOC
2005
ACM
16 years 6 days ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
145
click to vote
BPM
2005
Springer
16 years 6 days ago
2005
Springer
Scientific experiments are supported by activities that create, use, communicate and distribute information whose organizational dynamics is similar to processes performed by distr...
160
click to vote
CISC
2005
Springer
16 years 6 days ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...