245 search results - page 30 / 49 » diagrams 2010 |
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
VAMOS
2010
Springer
13 years 9 months ago
2010
Springer
This tool demo paper describes a tool called XToF which is being developed through a collaboration between the University of Victoria, the University of Namur and the University of...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
This paper considers the diagnosis of large discrete-event systems consisting of many components. The problem is to determine, online, all failures and states that explain a given...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This article is about a measurement analysis based approach to help software practitioners in managing the additional level complexities and variabilities in software product line...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
— We present a new retraction algorithm for high DOF articulated models and use our algorithm to improve the performance of RRT planners in narrow passages. The retraction step i...