5482 search results - page 355 / 1097 » Logic Programming and Databases |
179
click to vote
ENTCS
2007
15 years 6 months ago
2007
Debugging by observing the evaluation of expressions and functions is a useful approach for finding bugs in lazy functional and functional logic programs. However, adding and rem...
173
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
realm of User Interface Management Systems (UIMS) with a built-in knowledgeabout the specifickinds of techniques used by object-oriented databases, we have designeda systemthat al...
185
click to vote
IIWAS
2007
15 years 8 months ago
2007
By using database security metrics to evaluate how risky the current database environment is and visually displaying the metric results on graphs, database security visualization ...
287
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
One very important application in the data mining domain is frequent pattern mining. Various authors have worked on improving the efficiency of this computation, mostly focusing o...
154
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. Hoare logic is widely used for software specification and verification. Frequently we need to prove the total correctness of a program: to prove that the program not only...