610 search results - page 116 / 122 » Predicate-Based Key Exchange |
102
Voted
ICCS
2004
Springer
15 years 7 months 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...
119
click to vote
HICSS
2003
IEEE
15 years 7 months 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...
128
Voted
IDEAS
2003
IEEE
15 years 7 months 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...
108
click to vote
DRM
2003
Springer
15 years 7 months 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...
145
click to vote
ICDE
2002
IEEE
15 years 7 months 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 ...