327 search results - page 13 / 66 » A Static Analysis Framework for Database Applications |
LREC
2010
13 years 9 months ago
2010
In the present paper we report on a recent effort that resulted in the establishment of a unique multimodal database, referred to as the PROMETHEUS database. This database was cre...
ACSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
SIGMOD
1993
ACM
14 years 3 days ago
1993
ACM
We describe the design and implementation of the Glue-Nail database system. The Nail language is a purely declarative query language; Glue is a procedural language used for nonque...
ER
2004
Springer
14 years 1 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
AGENTS
2000
Springer
14 years 12 days ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...