623 search results - page 57 / 125 » Declarative Network Verification |
MOBICOM
2010
ACM
13 years 9 months ago
2010
ACM
Mobile devices face a diverse and dynamic set of networking options. Using those options to the fullest requires knowledge of application intent. This paper describes Intentional ...
TGC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: In Bayesian identification an ID source is in conflict with the other ID sources, if both provide substantially different, reliable information on a tracked object. After discuss...
AIMS
2010
Springer
13 years 10 months ago
2010
Springer
Service-level agreements (SLA) definition and monitoring are open issues within the IT Service Management (ITSM) domain. Our main goals are to propose a model-based approach to IT ...
MOBIHOC
2002
ACM
14 years 8 months ago
2002
ACM
This paper presents a new carrier sensing mechanism called DVCS (Directional Virtual Carrier Sensing) for wireless communication using directional antennas. DVCS does not require ...