43 search results - page 8 / 9 » DMaC: Distributed Monitoring and Checking |
173
Voted
RTCSA
1998
IEEE
15 years 7 months ago
1998
IEEE
Snap-shot mechanisms are used to read a globally consistent set of variable values. Such a mechanism can be used to solve a variety of communication and synchronization problems, ...
116
Voted
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
128
Voted
SEFM
2008
IEEE
15 years 10 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...
158
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
148
Voted
SC
2000
ACM
15 years 8 months ago
2000
ACM
As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed com...