237 search results - page 14 / 48 » Towards Two-Level Formal Modeling of Computer-Based Systems |
MODELS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
PCI
2001
Springer
13 years 12 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
HICSS
2003
IEEE
14 years 24 days ago
2003
IEEE
1 In the complexity and simulation communities there is growing support for the use of bottom-up computer-based simulation in the analysis of complex systems. The presumption is th...
ATAL
2009
Springer
13 years 8 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
CORR
1998
Springer
13 years 7 months ago
1998
Springer
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...