623 search results - page 49 / 125 » Declarative Network Verification |
DEBS
2008
ACM
13 years 10 months ago
2008
ACM
We propose a sensornet programming model based on declarative spatio-temporal constraints on events only, not sensors. Where previous approaches conflate events and sensors becaus...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We consider the minimum equivalent digraph (directed network) problem (also known as the strong transitive reduction) and its maximum objective function variant, with two types of...
DEBU
2007
13 years 8 months ago
2007
Work on early tiny database systems, like TinyDB [17] and Cougar [23] has shown that a declarative approach can provide a powerful and easy to use interface for collecting data fr...
WSC
2008
13 years 11 months ago
2008
CT This paper presents a dependency injection based, unit testing methodology for unit testing components, or actors, involved in discrete event based computer network simulation v...
PERCOM
2007
ACM
14 years 8 months ago
2007
ACM
Context-awareness (CA) enables the development of personalized pervasive services. Current context-aware infrastructures focus on middleware solutions to support acquisition, usag...