5334 search results - page 710 / 1067 » Communicating quantum processes |
167
click to vote
SENSYS
2005
ACM
16 years 10 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...
138
click to vote
SIGDOC
2005
ACM
16 years 10 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...
191
click to vote
ADHOCNOW
2005
Springer
16 years 10 days ago
2005
Springer
We present the Ad-hoc On-demand Secure Routing (AOSR) protocol, which uses pairwise shared keys between pairs of mobile nodes and hash values keyed with them to verify the validity...
147
click to vote
BPM
2005
Springer
16 years 10 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...
165
click to vote
CISC
2005
Springer
16 years 10 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...