Sciweavers

9504 search results - page 192 / 1901
» Dynamic Substitution Model
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 15 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...
138
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
126
Voted
ICCSA
2004
Springer
16 years 10 days ago
Dynamically Changing Road Networks - Modelling and Visualization in Real Time
Christian Mark, Armin Kaußner, Martin Grein,...