86 search results - page 17 / 18 » On the Syntax and Semantics of Effect Axioms |
SIGMOD
2007
ACM
14 years 5 months ago
2007
ACM
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...
ERCIMDL
1998
Springer
13 years 9 months ago
1998
Springer
Multimedia communication is a part of everyday life and its appearance in computer applications is increasing in frequency and diversity. Intelligent or knowledge based computer su...
ICCD
2000
IEEE
13 years 9 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
TSE
1998
13 years 5 months ago
1998
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
ECIR
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. The structural heterogeneity and complexity of XML repositories makes query formulation challenging for users who have little knowledge of XML. To assist its users, an XM...