Sciweavers

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