111 search results - page 1 / 23 » A Formal Development and Validation Methodology Applied to A... |
AGENTS
2000
Springer
13 years 11 months ago
2000
Springer
ICCS
2004
Springer
14 years 14 days 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 8 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 10 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 10 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...