4281 search results - page 133 / 857 » How to Disembed a Program |
117
click to vote
VLDB
1987
ACM
15 years 6 months ago
1987
ACM
A Datalog program can be translated into a system of fixpoint equations of relational algebra; this paper studies how such a system can be solved and optimized for a particular qu...
103
click to vote
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Noetherian spaces are a topological concept that generalizes well quasiorderings. We explore applications to infinite-state verification problems, and show how this stimu...
Publication
This is a very nice article that explains the Documentum Foundation Class and how it relates to .NET programming. I developed a lot of applications using .NET that work with Docume...
102
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...
JOT
2008
15 years 2 months ago
2008
This paper describes how to use web-based data mining to populate a flat-file database called the JAddressBook. The JAddressBook represents a nextgeneration address book program t...