525 search results - page 73 / 105 » Model Checking Systems of Replicated Processes with Spin |
IUI
2003
ACM
14 years 1 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
SAC
2010
ACM
13 years 8 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
IPPS
1999
IEEE
14 years 29 days ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
CEEMAS
2003
Springer
14 years 1 months ago
2003
Springer
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the diï¬...