— For stable gait generation on the level floor, restoring mechanical energy lost by heel-strike collision at the ground is necessary. Parametric excitation principle is one of ...
Semantic Web Fred, SWF for short, is a contextindependent, goal-driven system for automated execution of tasks that are delegated to electronic representatives along with dynamic ...
Michael Stollberg, Dumitru Roman, Ioan Toma, Uwe K...
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...