2357 search results - page 161 / 472 » Computing Refactorings of Behavior Models |
154
click to vote
MICCAI
2004
Springer
16 years 5 months ago
2004
Springer
Mass-spring systems are of special interest for soft tissue modeling in surgical simulation due to their ease of implementation and real-time behavior. However, the parameter ident...
134
click to vote
WIOPT
2005
IEEE
15 years 10 months ago
2005
IEEE
Wireless ad hoc networks raised a series of challenging research tracks. In order to analyze and validate research results achieved, thorough performance evaluation efforts are ne...
131
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
144
Voted
GCC
2003
Springer
15 years 9 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
174
click to vote
CAV
1997
Springer
15 years 8 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...