3765 search results - page 558 / 753 » Formal Methods for Systems Engineering Behavior Models |
175
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
Accelerating the learning curve of software maintainers working on systems with which they have little familiarity motivated this study. A working hypothesis was that automated me...
186
click to vote
CCECE
2006
IEEE
16 years 19 days ago
2006
IEEE
— Human arm dynamics can be used for control of human-machine interfaces in haptic applications. In this paper, a novel method for online estimation of human operator elbow imped...
170
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
An operational profile is a quantification of the expected use of a system. Determining an operational profile for software is a crucial and difficult part of software reliability...
190
click to vote
SIGGRAPH
1990
ACM
15 years 10 months ago
1990
ACM
We describe a fast method for creating physically based animation of non-rigid objects. Rapid simulation of nonrigid behavior is based on global deformations. Constraints are used...
152
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...