1525 search results - page 46 / 305 » Formal Models for Communication-Based Design |
90
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
89
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
109
Voted
ICFEM
2003
Springer
15 years 5 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
107
Voted
JSW
2007
15 years 13 days ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
SPRINGSIM
2007
15 years 1 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...