7580 search results - page 374 / 1516 » Prometheus design tool |
167
Voted
DSVIS
2005
Springer
16 years 8 days ago
2005
Springer
Goal-oriented methodologies have demonstrated some adequacy for modelling composite systems, from high level desired properties to operational requirements on responsible agents. T...
140
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
This paper presents FIT, a Flexible open-source binary code Instrumentation Toolkit. Unlike existing tools, FIT is truly portable, with existing backends for the Alpha, x86 and AR...
141
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
A new haptic feedback mechanism with five active degrees of freedom (dof), part of a training simulator for urological operations, is presented. The mechanism consists of a 2-dof 5...
169
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
A geometric approach to the computation of precise or well approximated tolerance zones for CAD constructions is given. We continue a previous study of linear constructions and fr...
143
click to vote
RSP
1999
IEEE
15 years 11 months ago
1999
IEEE
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...