24 search results - page 2 / 5 » Bisimulation on Speed: A Unified Approach |
BMCBI
2004
13 years 7 months ago
2004
Background: Metabolic pathway analysis has been recognized as a central approach to the structural analysis of metabolic networks. The concept of elementary (flux) modes provides ...
HSNMC
2004
Springer
14 years 24 days ago
2004
Springer
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
SIAMCO
2002
13 years 7 months ago
2002
Abstract. We analyze nonlinear cascades in which the driven subsystem is integral input-tostate stable (ISS), and we characterize the admissible integral ISS gains for stability. T...
WSC
2004
13 years 8 months ago
2004
This paper describes the application of parallel simulation techniques to represent structured functional parallelism present within the Space Shuttle Operations Flow, utilizing t...
ICALP
1989
Springer
13 years 11 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...