10159 search results - page 32 / 2032 » System Design Validation Using Formal Models |
153
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...
167
click to vote
WAPCV
2007
Springer
15 years 10 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
164
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
132
click to vote
FAC
2008
15 years 4 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
161
Voted
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...