Sciweavers

9204 search results - page 153 / 1841
» Modelling the dynamics of biosystems
Sort
View
BPM
2005
Springer
75views Business» more  BPM 2005»
15 years 10 months ago
An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis
Jiacun Wang, Daniela Rosca, William M. Tepfenhart,...
93
Voted
MFCS
2005
Springer
15 years 10 months ago
Adversarial Queueing Model for Continuous Network Dynamics
Maria J. Blesa, Daniel Calzada, Antonio Fern&aacut...
107
Voted
SPIN
2005
Springer
15 years 10 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp