Sciweavers

391 search results - page 14 / 79
» Automatic programming with semantic streams
Sort
View
244
Voted
ICDE
2007
IEEE
187views Database» more  ICDE 2007»
16 years 3 months ago
RFID Data Processing with a Data Stream Query Language
RFID technology provides significant advantages over traditional object-tracking technology and is increasingly adopted and deployed in real applications. RFID applications genera...
Yijian Bai, Fusheng Wang, Peiya Liu, Carlo Zaniolo...
134
Voted
IEEEARES
2009
IEEE
15 years 8 days ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
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...
Chunyan Mu, David Clark
108
Voted
DELOS
2004
15 years 4 months ago
StreamOnTheFly: A Network for Radio Content Dissemination
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...
László Kovács, András ...
LISP
2008
104views more  LISP 2008»
15 years 2 months ago
On the implementation of automatic differentiation tools
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...
Christian H. Bischof, Paul D. Hovland, Boyana Norr...
195
Voted
POPL
2012
ACM
13 years 10 months ago
A language for automatically enforcing privacy policies
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...
Jean Yang, Kuat Yessenov, Armando Solar-Lezama