988 search results - page 80 / 198 » The Frontiers of Data Programmability |
PERVASIVE
2007
Springer
15 years 6 months ago
2007
Springer
Although the privacy threats and countermeasures associated with location data are well known, there has not been a thorough experiment to assess the effectiveness of either. We ex...
92
Voted
IPSN
2003
Springer
15 years 5 months ago
2003
Springer
High-level query languages are an attractive interface for sensor networks, potentially relieving application programmers from the burdens of distributed, embedded programming. In ...
110
click to vote
DFT
1999
IEEE
15 years 5 months ago
1999
IEEE
The paper describes a systematic approach for automatically introducing data and code redundancy into an existing program written using a high-level language. The transformations ...
110
Voted
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
USENIX
1994
15 years 1 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...