623 search results - page 65 / 125 » Declarative Network Verification |
CHI
2002
ACM
16 years 2 months ago
2002
ACM
Despite many sensor, hardware, networking, and software advances, it is still quite difficult to build effective and reliable context-aware applications. We propose to build a con...
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
We present an update on the status of the Cougar Sensor Database Project, in which we are investigating a database approach to sensor networks: Clients "program" the sen...
114
click to vote
PADL
2007
Springer
15 years 8 months ago
2007
Springer
Writing code that manipulates bit streams is a painful and error-prone programming task, often performed via bit twiddling techniques such as explicit bit shifts and bit masks in p...
115
click to vote
EDOC
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper introduces the Ponder language for specifying distributed object enterprise concepts. Ponder, is a declarative language, which permits the specification of policies in ...
150
click to vote
COMPASS
1994
15 years 6 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...