Sciweavers

Share
AMW
2011
8 years 10 months ago
A Direct Translation from XPath to Nondeterministic Automata
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...
Nadime Francis, Claire David, Leonid Libkin
AMW
2011
8 years 10 months ago
Bag Equivalence of Bounded Symmetry-Degree Conjunctive Queries with Inequalities
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...
Mingmin Chen, Todd J. Green
APAL
2010
130views more  APAL 2010»
9 years 1 months ago
Fundamental results for pointfree convex geometry
Yoshihiro Maruyama
TLSDKCS
2010
9 years 1 months ago
Improving Retrievability and Recall by Automatic Corpus Partitioning
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...
Shariq Bashir, Andreas Rauber
JKM
2010
94views more  JKM 2010»
9 years 1 months ago
Knowledge-based integrated production management model
Purpose
Jorge Muniz, Edgard Dias Batista Jr., Geilson Lour...
EL
2010
115views more  EL 2010»
9 years 1 months ago
Interoperability models in digital libraries: an overview
Mehdi Alipour Hafezi, Abbas Horri, Ali Shiri, Amir...
EKNOW
2010
9 years 1 months ago
Workshop-Based Risk Assessment for the Definition of Secure Business Processes
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...
Thomas Neubauer, Markus Pehn
INFSOF
2010
107views more  INFSOF 2010»
9 years 4 months ago
A systematic review on strategic release planning models
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...
Mikael Svahnberg, Tony Gorschek, Robert Feldt, Ric...
INFSOF
2010
146views more  INFSOF 2010»
9 years 4 months ago
Links between the personalities, views and attitudes of software engineers
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....
Robert Feldt, Lefteris Angelis, Richard Torkar, Ma...
books