10159 search results - page 665 / 2032 » System Design Validation Using Formal Models |
198
Voted
AUSAI
2005
Springer
16 years 27 days ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
193
Voted
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
The development of design patterns in object-oriented programming aims at capturing good software design in a re-usable generic form. However, design patterns are not expressible ...
171
click to vote
CEC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper presents two variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling of el...
192
click to vote
ENTCS
2006
15 years 7 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
207
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...