4890 search results - page 428 / 978 » From system specifications to component behavioral models |
199
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
149
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
- In this paper, we seek to understand how leg muscles and tendons work mechanically during walking in order to motivate the design of efficient robotic legs. We hypothesize that a...
195
click to vote
CCGRID
2005
IEEE
16 years 21 days ago
2005
IEEE
Knowledge about the workload is an important aspect for scheduling of resources as parallel computers or Grid components. As the scheduling quality highly depends on the character...
147
click to vote
CGF
2006
15 years 7 months ago
2006
We present an interactive modeling system for flower composition that supports seamless transformation from an initial sketch to a detailed three-dimensional (3D) model. To begin,...
171
click to vote
SARA
2007
Springer
16 years 1 months ago
2007
Springer
Most algorithms for computing diagnoses within a modelbased diagnosis framework are deterministic. Such algorithms guarantee soundness and completeness, but are NPhard. To overcom...