391 search results - page 14 / 79 » Automatic programming with semantic streams |
193
click to vote
ICDE
2007
IEEE
16 years 1 days ago
2007
IEEE
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
IEEEARES
2009
IEEE
14 years 8 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
DELOS
2004
15 years 2 days ago
2004
A distributed digital library has been designed and implemented for the support of community radios. This framework, developed by the StreamOnTheFly IST project of the EU, provides...
LISP
2008
14 years 10 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
148
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
It is becoming increasingly important for applications to protect sensitive data. With current techniques, the programmer bears the burden of ensuring that the application’s beh...