2673 search results - page 301 / 535 » Guided Static Analysis |
151
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
Belief revision theory aims to describe how one should change one's beliefs when they are contradicted by newly input information. The guiding principle of belief revision th...
155
click to vote
VLDB
1998
ACM
15 years 10 months ago
1998
ACM
Currently the key problems of query optimization are extensibility imposed by object-relational technology, as well as query complexity caused by forthcoming applications, such as...
163
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
169
click to vote
AMTA
1998
Springer
15 years 10 months ago
1998
Springer
The objective of the emis project is the conception and realization of a multilingualinformation system on European media law with the following functionalities: search by words, ...
172
click to vote
EUROPAR
1998
Springer
15 years 10 months ago
1998
Springer
This paper illustrates the use of a post-mortem call-graph profiling tool in the analysis of an SQL query processing application written using BSPIib [4]. Unlike other parallel pro...