Sciweavers

11716 search results - page 253 / 2344
» Computable symbolic dynamics
Sort
View
IPPS
2006
IEEE
16 years 19 days ago
A distributed method for dynamic resolution of BGP oscillations
Ehoud Ahronovitz, Jean-Claude König, Cl&eacut...
IPPS
2005
IEEE
16 years 6 days ago
Dynamic QoS-Aware Coalition Formation
Luís Nogueira, Luís Miguel Pinho
SPIN
2005
Springer
16 years 3 days ago
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions
Anil Madhavapeddy, David Scott, Richard Sharp