Sciweavers

2639 search results - page 208 / 528
» Biological Systems as Reactive Systems
Sort
View
UML
1999
Springer
15 years 11 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz
WSC
2008
15 years 9 months ago
Preventive what-if analysis in symbiotic simulation
The what-if analysis process is essential in symbiotic simulation systems. It is responsible for creating a number of alternative what-if scenarios and evaluating their performanc...
Heiko Aydt, Stephen John Turner, Wentong Cai, Malc...
FOSSACS
2008
Springer
15 years 8 months ago
Symbolic Semantics Revisited
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
Filippo Bonchi, Ugo Montanari
NSDI
2004
15 years 8 months ago
Session State: Beyond Soft State
The cost and complexity of administration of large systems has come to dominate their total cost of ownership. Stateless and soft-state components, such as Web servers or network ...
Benjamin C. Ling, Emre Kiciman, Armando Fox
WSC
2004
15 years 8 months ago
Resolving Mutually Exclusive Interactions in Agent Based Distributed Simulations
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
Lihua Wang, Stephen John Turner, Fang Wang