3713 search results - page 298 / 743 » Constructing a Calculus of Programs |
122
click to vote
CD
2004
Springer
15 years 9 months 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...
145
click to vote
CCS
2007
ACM
15 years 10 months 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...
117
click to vote
RAID
2005
Springer
15 years 9 months 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...
117
click to vote
APLAS
2004
ACM
15 years 9 months 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 ...
148
click to vote
PODS
1997
ACM
15 years 8 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...