18 search results - page 3 / 4 » Planning and Verification for Stochastic Processes with Asyn... |
CSCWD
2005
Springer
13 years 7 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
ATVA
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
DAGSTUHL
2006
13 years 7 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
AICCSA
2005
IEEE
13 years 11 months ago
2005
IEEE
Data Stream Management Systems are being developed to process continuous queries over multiple data streams. These continuous queries are typically used for monitoring purposes wh...
ENTCS
2006
13 years 5 months ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...