6704 search results - page 105 / 1341 » Testing Scenario-Based Models |
120
Voted
UML
2001
Springer
15 years 6 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
133
click to vote
SAM
2000
15 years 3 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
114
click to vote
ACL
2006
15 years 3 months ago
2006
In this paper we investigate how to automatically determine if two document collections are written from different perspectives. By perspectives we mean a point of view, for examp...
132
click to vote
ECCC
2006
15 years 2 months ago
2006
We show that in the bounded degree model for graph property testing, adaptivity is essential. An algorithm is non-adaptive if it makes all queries to the input before receiving an...
89
Voted
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
Fully autonomous aerial robots are needed to accomplish near-Earth missions such as search and rescue, and bio-chemical sensing. Recent advances in sensor technologies ([6], [8], ...