Sciweavers

10615 search results - page 272 / 2123
» Dynamic topic models
Sort
View
MFCS
2005
Springer
15 years 9 months ago
Adversarial Queueing Model for Continuous Network Dynamics
Maria J. Blesa, Daniel Calzada, Antonio Fern&aacut...
SPIN
2005
Springer
15 years 9 months ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp