2162 search results - page 265 / 433 » A Meta-Notation for Protocol Analysis |
131
click to vote
ACSAC
2005
IEEE
16 years 5 days ago
2005
IEEE
The Internet Chess Club (ICC) is a popular online chess server with more than 30,000 members worldwide including various celebrities and the best chess players in the world. Altho...
184
click to vote
ITCC
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we present a scalable fully distributed version of a Mobile Backbone Network Topology Synthesis Algorithm (MBN-TSA) for constructing and maintaining a dynamic backb...
156
click to vote
CANS
2005
Springer
16 years 3 days ago
2005
Springer
The Domain Name System (DNS) is an essential component of the critical infrastructure of the Internet. The role of DNS is vital, as it is involved in virtually every Internet tran...
170
click to vote
MYCRYPT
2005
Springer
16 years 1 days ago
2005
Springer
In this paper we produce a practical and efficient algorithm to find a decomposition of type n = k i=1 2si 3ti , si, ti ∈ N ∪ {0} with k ≤ c + o(1) ¡ log n log log n ....
146
click to vote
DFT
2003
IEEE
15 years 12 months ago
2003
IEEE
In the last years, new requirements in terms of vehicle performance increased significantly the amount of on-board electronics, thus raising more concern about safety and fault to...