1804 search results - page 330 / 361 » On set systems with a threshold property |
115
click to vote
USENIX
2001
15 years 1 months ago
2001
The rapid growth of the Internet has made IP addresses a scarce resource. To get around this problem, today and in the foreseeable future, networks will be deployed with reusable-...
ENTCS
2008
14 years 12 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
CN
2006
14 years 12 months ago
2006
Measurement studies indicate a high rate of node dynamics in p2p systems. In this paper, we address the question of how high a rate of node dynamics can be supported by structured...
COMPLEXITY
2006
14 years 12 months ago
2006
Technology--the collection of devices and methods available to human society--evolves by constructing new devices and methods from ones that previously exist, and in turn offering...
CAD
2005
Springer
14 years 11 months ago
2005
Springer
Computer simulations are powerful tools frequently used today in many important applications, for example to build safer buildings, to crash-test an automobile before it is built,...