3713 search results - page 298 / 743 » Constructing a Calculus of Programs |
164
click to vote
CD
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
185
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
We present an efficient protocol for privacy-preserving evaluation of diagnostic programs, represented as binary decision trees or branching programs. The protocol applies a bran...
163
click to vote
RAID
2005
Springer
16 years 4 days ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
156
click to vote
APLAS
2004
ACM
16 years 2 days ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
180
click to vote
PODS
1997
ACM
15 years 11 months ago
1997
ACM
We consider the problem of answering datalog queries using materialized views. The ability to answer queries using views is crucial in the context of information integration. Prev...