1362 search results - page 196 / 273 » Model Checking Large Network Protocol Implementations |
120
click to vote
EUROSYS
2006
ACM
16 years 4 days ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
112
click to vote
WSFM
2007
Springer
15 years 9 months ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
140
click to vote
AAAI
1998
15 years 4 months ago
1998
The technology for building large knowledge bases (KBs) is yet to witness a breakthrough so that a KB can be constructed by the assembly of prefabricated knowledge components. Kno...
106
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
— When considering network restoration, the amount of reserved resources has an important impact on network performance in that it can restrict the acceptance of new connections....
114
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
A problem with running distributed shared memory applications in heterogeneous environments is that making optimal use of available resources often requires significant changes t...