Sciweavers

2570 search results - page 244 / 514
» Reliability Modeling Using UML
Sort
View
150
Voted
AAAI
1996
15 years 5 months ago
Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids
In order to re-use existing models of the environment mobile robots must be able to estimate their position and orientation in such models. Most of the existing methods for positi...
Wolfram Burgard, Dieter Fox, Daniel Hennig, Timo S...
139
Voted
ER
2003
Springer
150views Database» more  ER 2003»
15 years 9 months ago
EITH - A Unifying Representation for Database Schema and Application Code in Enterprise Knowledge Extraction
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
Mark S. Schmalz, Joachim Hammer, Mingxi Wu, Oguzha...
FASE
2009
Springer
15 years 7 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
GI
2009
Springer
15 years 7 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
RE
2008
Springer
15 years 3 months ago
Rule-Based Maintenance of Post-Requirements Traceability Relations
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
Patrick Mäder, Orlena Gotel, Ilka Philippow