12981 search results - page 524 / 2597 » Model Checking (Abstract) |
166
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
151
click to vote
ACSD
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
153
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Authentication and secrecy have been widely investigated in security protocols. They are closely related to each other and variants of definitions have been proposed, which focus o...
157
click to vote
FMOODS
2007
15 years 7 months ago
2007
Rewriting logic provides a powerful, flexible mechanism for language definition and analysis. This flexibility in design can lead to problems during analysis, as different desi...
142
click to vote
MVA
1994
15 years 7 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...