899 search results - page 11 / 180 » Implementing declarative overlays |
APSEC
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper, we propose a virtual file system, “SPDFS,” which provides global declarations in source programs as virtual files to programmers. Global declarations means ob...
191
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
178
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present our initial design and implementation of a declarative network verifier (DNV). DNV utilizes theorem proving, a well established verification tec...
103
Voted
PADL
2012
Springer
13 years 5 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
112
click to vote
AOSD
2007
ACM
15 years 1 months ago
2007
ACM
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...