Abstract. Version control systems allow a group of people to work together on a set of documents over a network by merging their changes into the same source repository. The existi...
It is well known that errors introduced early in the development process are commonly the most expensive to correct. The increasingly popular model-driven architecture (MDA) exace...
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...
This paper presents market-based macroprogramming (MBM), a new paradigm for achieving globally efficient behavior in sensor networks. Rather than programming the individual, low-...
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...