1891 search results - page 270 / 379 » Constrained Subspace Modelling |
ISORC
2009
IEEE
14 years 4 months ago
2009
IEEE
The UML goal of being a general-purpose modeling language discards the possibility to adopt too precise and strict a semantics. Users are to refine or define the semantics in th...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Passive dynamics plays an important role in legged locomotion of the biological systems. The use of passive dynamics is expected for energy efficiency, self-stabilization agai...
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
SIGMETRICS
2003
ACM
14 years 3 months ago
2003
ACM
Since web workloads are known to vary dynamically with time, in this paper, we argue that dynamic resource allocation techniques are necessary to provide guarantees to web applicat...