155 search results - page 15 / 31 » Vicinity Respecting Homomorphisms for Abstracting System Req... |
AUTOMATICA
2007
13 years 8 months ago
2007
Abstract— We consider dynamic output feedback practical stabilization of uniformly observable nonlinear systems, based on high-gain observers with saturation. We assume that unce...
JOT
2008
13 years 8 months ago
2008
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
EDUTAINMENT
2007
Springer
14 years 2 months ago
2007
Springer
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
MFCS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
Wireless Sensor Networks (WSNs) are distributed systems whose main goal is to collect and deliver data to applications. This paper proposes a reflective, service-oriented middlewa...