114 search results - page 7 / 23 » Compositional Modeling of Reactive Systems Using Open Nets |
SOCO
2005
Springer
14 years 1 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
ICALP
2010
Springer
14 years 9 days ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
TAGT
1998
Springer
13 years 11 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...
TSMC
2010
13 years 2 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...
ANTSW
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We study through simulation the performance of two MANET routing algorithms in a realistic urban environment. The two algorithms, AODV and AntHocNet, are representative o...