9227 search results - page 387 / 1846 » Developing Use Cases from Organizational Modeling |
176
click to vote
WADT
1998
Springer
15 years 10 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
172
click to vote
TMI
2011
15 years 1 months ago
2011
—The 4D extended Cardiac-Torso (XCAT) phantom was developed to provide a realistic and flexible model of the human anatomy and cardiac and respiratory motions for use in medical ...
307
click to vote
FM
1997
Springer
15 years 11 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
179
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
175
click to vote
CGF
1998
15 years 6 months ago
1998
This paper presents a voxel-based biomechanical model for muscle deformation using nite element method FEM and volume graphics. Hierarchical voxel meshes are reconstructed from ...