1346 search results - page 212 / 270 » Alternating-time dynamic logic |
158
Voted
DATE
2007
IEEE
16 years 12 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
144
click to vote
ICDCSW
2007
IEEE
16 years 12 days ago
2007
IEEE
Peer-to-Peer (P2P) systems are currently used in a variety of applications. File sharing applications and ad hoc networking have fueled the usage of these systems. P2P systems gen...
153
click to vote
IPPS
2007
IEEE
16 years 11 days ago
2007
IEEE
With the continuous advances in optical communications technology, the link transmission speed of Internet backbone has been increasing rapidly. This in turn demands more powerful...
152
click to vote
ISCAS
2007
IEEE
16 years 11 days ago
2007
IEEE
— In this paper we present the Collaborative Routing Architecture (CRA), a routing architecture specially designed to achieve high efficiency in hardware and competitive delay p...
141
click to vote
ACNS
2007
Springer
16 years 8 days ago
2007
Springer
The one-way function tree (OFT) scheme proposed by Balenson et. al is widely regarded as an efficient key management solution for multicast communication in large dynamic groups. ...