2875 search results - page 315 / 575 » Model checking agentspeak |
108
Voted
DEXAW
1996
IEEE
15 years 7 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
115
Voted
FMICS
2007
Springer
15 years 7 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
130
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
127
Voted
IAAI
2001
15 years 4 months ago
2001
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
135
Voted
DEXA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...