1351 search results - page 200 / 271 » A Possible Approach to the Development of Robotic Multi-Agen... |
162
click to vote
WSC
1997
15 years 7 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
159
click to vote
ENTCS
2007
15 years 5 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
166
click to vote
ICDE
2010
IEEE
15 years 8 months ago
2010
IEEE
HECATAEUS is an open-source software tool for enabling impact prediction, what-if analysis, and regulation of relational database schema evolution. We follow a graph theoretic appr...
144
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Tracking is frequently considered a frame-to-frame operation. As such, object recognition techniques are generally too slow to be used for tracking. There are domains, however, wh...
153
click to vote
SAS
2009
Springer
16 years 6 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...