2947 search results - page 497 / 590 » The timely token protocol |
178
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
154
click to vote
WECWIS
2003
IEEE
15 years 11 months ago
2003
IEEE
With the growing number of marketplaces and trading partners in the e–commerce environment, software tools designed to act on behalf of human traders are increasingly used to au...
135
click to vote
DEBS
2003
ACM
15 years 11 months ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
188
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
In this paper we present SECTOR, a set of mechanisms for the secure verification of the time of encounters between nodes in multi-hop wireless networks. This information can be u...
181
click to vote
SASN
2003
ACM
15 years 11 months ago
2003
ACM
We present a security design for a general purpose, selforganizing, multihop ad hoc wireless network, based on the IEEE 802.15.4 low-rate wireless personal area network standard. ...