Sciweavers

1933 search results - page 311 / 387
» A Dynamic Theory of Ontology
Sort
View
CDC
2008
IEEE
103views Control Systems» more  CDC 2008»
14 years 3 months ago
Symbolic models for nonlinear control systems affected by disturbances
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
Giordano Pola, Paulo Tabuada
COMPSAC
2008
IEEE
14 years 3 months ago
Service-Oriented Modelling of Automotive Systems
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
Laura Bocchi, José Luiz Fiadeiro, Ant&oacut...
ICAC
2008
IEEE
14 years 3 months ago
Generating Adaptation Policies for Multi-tier Applications in Consolidated Server Environments
Creating good adaptation policies is critical to building complex autonomic systems since it is such policies that define the system configuration used in any given situation. W...
Gueyoung Jung, Kaustubh R. Joshi, Matti A. Hiltune...
ICC
2008
IEEE
143views Communications» more  ICC 2008»
14 years 3 months ago
A Closed-Form Expression for Static Worm-Scanning Strategies
—This work presents a closed-form expression for characterizing the spread of static worm-scanning strategies through a mean-field approximation. Our model can both accurately c...
Zesheng Chen, Chao Chen
ICRA
2008
IEEE
143views Robotics» more  ICRA 2008»
14 years 3 months ago
Pattern generators with sensory feedback for the control of quadruped locomotion
— Central Pattern Generators (CPGs) are becoming a popular model for the control of locomotion of legged robots. Biological CPGs are neural networks responsible for the generatio...
Ludovic Righetti, Auke Jan Ijspeert