111 search results - page 1 / 23 » A Formal Development and Validation Methodology Applied to A... |
AGENTS
2000
Springer
13 years 9 months ago
2000
Springer
ICCS
2004
Springer
13 years 10 months ago
2004
Springer
Real world problems such as fire propagation prediction, can often be considered as a compositional combination of multiple, simple but coupled subproblems corresponding to analyt...
WOA
2003
13 years 6 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
DATE
2004
IEEE
13 years 8 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...