37 search results - page 8 / 8 » Towards OpenWorld Software Architectures with Semantic Archi... |
SIGSOFT
1998
ACM
13 years 9 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...