77 search results - page 7 / 16 » Model-Based Requirements Engineering with AutoRAID |
PRDC
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists...
KR
2004
Springer
14 years 25 days ago
2004
Springer
We describe a technique for speeding up inference for model-based abduction tasks that trades off inference time and/or space for the fraction of queries correctly answered. We co...
ECCV
2002
Springer
14 years 9 months ago
2002
Springer
Abstract. In this work, we introduce a model-based approach to extracting the silhouette of people in motion from stereo video sequences. To this end, we extend a purely stereo-bas...
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
Web search engines consistently collect information about users interaction with the system: they record the query they issued, the URL of presented and selected documents along w...
EMSOFT
2004
Springer
14 years 26 days ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...