714 search results - page 102 / 143 » Formal Verification of Cognitive Models |
135
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...
138
Voted
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
129
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
121
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
125
click to vote
FMOODS
2006
15 years 3 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...