1906 search results - page 346 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
145
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
In a Service-Oriented Architecture (SOA), a system is viewed as a collection of independent units (services) that interact with one another through message exchanges. Established ...
189
Voted
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
The growing interest in ad hoc wireless network applications that are made of large and dense populations of lightweight system resources calls for scalable approaches to fault to...
142
Voted
CCR
2004
15 years 4 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
163
click to vote
MASCOTS
2008
15 years 6 months ago
2008
A key obstacle to large-scale network simulation over PC clusters is the memory balancing problem where a memory-overloaded machine can slow down an entire simulation due to disk ...
148
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
Many Web applications are based on dynamic interactions between Web components exchanging flows of information. Such a situation arises for instance in mashup systems or when moni...