1362 search results - page 224 / 273 » Model Checking Large Network Protocol Implementations |
89
Voted
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—Existing methods of measuring lifetimes in P2P systems usually rely on the so-called Create-Based Method (CBM) [16], which divides a given observation window into two halves and...
130
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
—In this paper, we argue that weak cache consistency mechanisms supported by existing Web proxy caches must be augmented by strong consistency mechanisms to support the growing d...
129
click to vote
DASFAA
2009
IEEE
15 years 9 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
139
click to vote
ATVA
2004
Springer
15 years 8 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
121
click to vote
RAID
2004
Springer
15 years 7 months ago
2004
Springer
As the frequency of attacks faced by the average host connected to the Internet increases, reliance on manual intervention for response is decreasingly tenable. Operating system an...