Sciweavers

4983 search results - page 799 / 997
» order 2008
Sort
View
ERLANG
2008
ACM
15 years 5 months ago
Early fault detection with model-based testing
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
Jonas Boberg
ESA
2008
Springer
115views Algorithms» more  ESA 2008»
15 years 5 months ago
A New Approach to Exact Crossing Minimization
The crossing number problem is to find the smallest number of edge crossings necessary when drawing a graph into the plane. Eventhough the problem is NP-hard, we are interested in ...
Markus Chimani, Petra Mutzel, Immanuel M. Bomze
ESEM
2008
ACM
15 years 5 months ago
On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques
Benchmarks provide an experimental basis for evaluating software engineering processes or techniques in an objective and repeatable manner. We present the FAULTBENCH v0.1 benchmar...
Sarah Smith Heckman, Laurie Williams
ESOP
2008
Springer
15 years 5 months ago
Regular Expression Subtyping for XML Query and Update Languages
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
James Cheney
ESWS
2008
Springer
15 years 5 months ago
On Storage Policies for Semantic Web Repositories That Support Versioning
This paper concerns versioning services over Semantic Web (SW) repositories. We propose a novel storage index (based on partial orders), called POI, that exploits the fact that RDF...
Yannis Tzitzikas, Yannis Theoharis, Dimitris Andre...