673 search results - page 96 / 135 » A Model Checker for AADL |
147
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
165
click to vote
WRAC
2005
Springer
15 years 11 months ago
2005
Springer
A multiagent architecture for vehicle and structural health monitoring is proposed. A prototype using this architecture was developed using JADE. Critical aspects of the design wer...
148
click to vote
CG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Years of work have gone into algorithms and optimizations for twoplayer perfect-information games such as Chess and Checkers. It is only more recently that serious resear...
132
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
We formally specify a payment protocol described in [Vogt et al., 2001]. This protocol is intended for fair exchange of time-sensitive data. Here the µCRL language is used to form...
144
click to vote
SAT
2004
Springer
15 years 11 months ago
2004
Springer
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...