2468 search results - page 219 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
134
click to vote
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
The Management of Distributed Applications and Systems (MANDAS) project addresses problems arising in the management of distributed applications. Specifically, we are studying the...
142
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
The performance requirements for contemporary microprocessors are increasing as rapidly as their number of applications grows. By accelerating the clock, performance can be gained...
116
click to vote
ICEIS
2008
IEEE
15 years 10 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
149
click to vote
ESAW
2008
Springer
15 years 5 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
140
click to vote
COCOON
2005
Springer
15 years 9 months ago
2005
Springer
It has recently been observed that the node degrees of many real-world large-scale networks, such as the Internet and the Web, follow a power law distributions. Since the classical...