1090 search results - page 89 / 218 » A Replicated Monitoring Tool |
CCS
2006
ACM
14 years 1 months ago
2006
ACM
Programmers of large-scale trusted systems need tools to simplify tasks such as replicating services or data. Group communication systems achieve this via various flavors of relia...
MABS
2000
Springer
14 years 1 months ago
2000
Springer
Discovering and studying emergent phenomena are among the most important activities in social research. Replicating this phenomenon in "the lab" using simulation is an i...
WSC
2000
13 years 11 months ago
2000
One use of simulation is to inform decision makers that seek to select the best of several alternative systems. The system with the highest (or lowest) mean value for simulation o...
DAIS
2009
13 years 11 months ago
2009
Large-scale industrial systems involve nowadays hundreds of developers working on hundreds of models representing parts of the whole system specification. Unfortunately, few tool s...
ENTCS
2006
13 years 10 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...