813 search results - page 20 / 163 » Correctness Properties for Multiagent Systems |
136
Voted
ER
2004
Springer
15 years 9 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
143
click to vote
FORTE
2003
15 years 5 months ago
2003
The aim of passive testing is to detect faults in a system while observing the system during normal operation, that is, without forcing the system to specialized inputs explicitly ...
148
click to vote
CASCON
2001
15 years 5 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
123
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
This paper introduces the normalized and signed gradient dynamical systems associated with a differentiable function. Extending recent results on nonsmooth stability analysis, we ...
149
click to vote
FMOODS
2000
15 years 5 months ago
2000
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...