Sciweavers

8766 search results - page 1287 / 1754
» Functional logic programming
Sort
View
IEEEARES
2009
IEEE
15 years 2 months 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
TE
2010
68views more  TE 2010»
14 years 11 months ago
Remote Spectroscopy in the Visible Using Fibers on the Optical Internet Network
The work presented here demonstrates the feasibility of using the single-mode fibers of an optical Internet network to deliver visible light between separate laboratories as a way ...
Rafael A. S. Ribeiro, Anderson R. de Oliveira, S&e...
FROCOS
2011
Springer
14 years 4 months ago
Harnessing First Order Termination Provers Using Higher Order Dependency Pairs
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
Carsten Fuhs, Cynthia Kop
ICIP
1999
IEEE
16 years 6 months ago
Programmable Hardware Implementation for the Median-Rational Hybrid Filters
The Median-Rational Hybrid Filter (MRHF) has been recently introduced [1][2] as a new class of nonlinear filters and successfully applied to image filtering problems. The main cha...
Lazhar Khriji, Giuseppe Bernacchia, Moncef Gabbouj...
INDIASE
2009
ACM
15 years 11 months ago
Instant multi-tier web applications without tears
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
Gautam Shroff, Puneet Agarwal, Premkumar T. Devanb...
« Prev « First page 1287 / 1754 Last » Next »