Sciweavers

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