1497 search results - page 259 / 300 » A Computational Model for Message Passing |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The concept of universal designated verifier signatures was introduced by Steinfeld, Bull, Wang and Pieprzyk at Asiacrypt 2003. These signatures can be used as standard publicly ve...
CG
2005
Springer
13 years 7 months ago
2005
Springer
We derive a complete component framework for transforming standalone VR applications into full-fledged multithreaded Collaborative Virtual Reality Environments (CVREs), after char...
EDBT
2010
ACM
14 years 2 months ago
2010
ACM
A recurring manual task in data integration, ontology alignment or model management is finding mappings between complex meta data structures. In order to reduce the manual effor...
ICDCS
2007
IEEE
14 years 2 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
ICDCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we study distributed approximation algorithms for fault-tolerant clustering in wireless ad hoc and sensor networks. A k-fold dominating set of a graph G = (V, E) is...