610 search results - page 116 / 122 » Predicate-Based Key Exchange |
ICCS
2004
Springer
14 years 25 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
HICSS
2003
IEEE
14 years 23 days ago
2003
IEEE
Telemedicine is advocated for its potential to improve the accessibility and quality of health care delivery while lowering costs [1]. Although the potential benefits of telemedic...
IDEAS
2003
IEEE
14 years 22 days ago
2003
IEEE
Overlay networks have received a lot of attention due to the recent wide-spread use of peer-to-peer (P2P) applications such as SETI, Napster, Gnutella, and Morpheus. Through repli...
DRM
2003
Springer
14 years 20 days ago
2003
Springer
In the Foundation series, Asimov predicted a 1,000 years of darkness following the fall of the galactic empire. In the book Noir, K.W Jeter describes a world where IP is the ultim...
ICDE
2002
IEEE
14 years 12 days ago
2002
IEEE
Soon, much of the data exchanged over the Internet will be encoded in XML, allowing for sophisticated filtering and content-based routing. We have built a filtering engine called ...