899 search results - page 11 / 180 » Implementing declarative overlays |
81
Voted
APSEC
2002
IEEE
15 years 6 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...
253
click to vote
PADL
2009
Springer
16 years 2 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...
221
Voted
PADL
2009
Springer
16 years 2 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...
134
click to vote
PADL
2012
Springer
13 years 9 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...
156
click to vote
AOSD
2007
ACM
15 years 5 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...