Sciweavers

9491 search results - page 193 / 1899
» Modeling Cultural Dynamics
Sort
View
108
Voted
BPM
2005
Springer
75views Business» more  BPM 2005»
16 years 18 days ago
An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis
Jiacun Wang, Daniela Rosca, William M. Tepfenhart,...
MFCS
2005
Springer
16 years 16 days ago
Adversarial Queueing Model for Continuous Network Dynamics
Maria J. Blesa, Daniel Calzada, Antonio Fern&aacut...
141
Voted
SPIN
2005
Springer
16 years 16 days ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp