AMW
2011
13 years 3 months ago
2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
AMW
2011
13 years 3 months ago
2011
Abstract. We consider the problem of checking equivalence of conjunctive queries with inequalities under bag (multiset) semantics. The problem is known to be decidable in pspace an...
APAL
2010
13 years 6 months ago
2010
ANOR
2010
13 years 6 months ago
2010
TLSDKCS
2010
13 years 6 months ago
2010
Abstract. With increasing volumes of data, much effort has been devoted to finding the most suitable answer to an information need. However, in many domains, the question whether a...
JKM
2010
13 years 6 months ago
2010
Purpose
EL
2010
13 years 6 months ago
2010
EKNOW
2010
13 years 6 months ago
2010
Nowadays, industry and governments are faced with an increasing number of varying threats concerning the security of their valuable business processes. Due to the vast damage pote...
INFSOF
2010
13 years 8 months ago
2010
Context. Strategic release planning (sometimes referred to as road-mapping) is an important phase of the requirements engineering process performed at product level. It is concern...
INFSOF
2010
13 years 8 months ago
2010
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....