1268 search results - page 72 / 254 » Verifying distributed systems: the operational approach |
142
click to vote
IAAI
2003
15 years 7 months ago
2003
Grid computing provides key infrastructure for distributed problem solving in dynamic virtual organizations. It has been adopted by many scientific projects, and industrial intere...
203
click to vote
FAST
2009
15 years 3 months ago
2009
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...
145
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract-- In this paper, we are interested in using largedeviations theory to characterize the asymptotic decay-rate of the queue-overflow probability for distributed wireless sch...
144
click to vote
FCS
2006
15 years 7 months ago
2006
: Many of the Internet's problems are related to names. There are many empirical ideas of the further development of naming on the Internet. However, there are no theoretical ...
175
click to vote
ISORC
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...