Sciweavers

9305 search results - page 167 / 1861
» Modeling Blog Dynamics
Sort
View
MFCS
2005
Springer
15 years 12 months ago
Adversarial Queueing Model for Continuous Network Dynamics
Maria J. Blesa, Daniel Calzada, Antonio Fern&aacut...
SPIN
2005
Springer
15 years 12 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp