9110 search results - page 164 / 1822 » Formally-Based Design Evaluation |
123
Voted
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
The APART working group is developing the APART Test Suite (ATS) for evaluating (automatic) performance analysis tools with respect to their correctness – that is, their ability...
130
Voted
KES
2004
Springer
15 years 10 months ago
2004
Springer
The importance of face-to-face informal communication is well recognized. The ‘irori’ is a Japanese-traditional little sitting space or room with a fire burning which affords r...
124
Voted
WETICE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presented an approach for the evaluation of a collaborative system, after the completion of system development and software testing but before its deployment. Scenario ...
139
Voted
DSVIS
2000
Springer
15 years 9 months ago
2000
Springer
Developers of interactive software are confronted by a variety of software tools to help them design and implement user interfaces. They often resort to ad hoc means of tool select...
134
Voted
ICRA
1998
IEEE
15 years 9 months ago
1998
IEEE
In order to facilitate the testing and evaluation of control strategies and operator environments designed for heavy duty hydraulic machines, an excavator simulator has been devel...