285 search results - page 56 / 57 » Relating two formal models of path-vector routing |
LICS
2009
IEEE
14 years 12 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
SIGMETRICS
2005
ACM
13 years 11 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
ATVA
2004
Springer
13 years 11 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
KDD
2009
ACM
14 years 6 months ago
2009
ACM
Spatial classification is the task of learning models to predict class labels based on the features of entities as well as the spatial relationships to other entities and their fe...
CSCW
2004
ACM
13 years 11 months ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...