Sciweavers

9219 search results - page 186 / 1844
» Dynamics Modeling and Culling
Sort
View
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 13 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,...
IFIP
2004
Springer
16 years 10 days ago
Modelling Dynamic Opacity Using Petri Nets with Silent Actions
Jeremy Bryans, Maciej Koutny, Peter Y. A. Ryan