1524 search results - page 37 / 305 » Operational Semantics of Hybrid Systems |
141
Voted
FORTE
2007
15 years 6 months ago
2007
Bisimulation semantics are a very pleasant way to define the semantics of systems, mainly because the simplicity of their definitions and their nice coalgebraic properties. Howev...
147
Voted
RTSS
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper we present an approach for QoS management that can be applied to a general class of real-time distributed computation systems. In the proposed approach a switching h...
138
Voted
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
142
Voted
JCP
2008
15 years 5 months ago
2008
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...
130
Voted
ITS
2010
Springer
15 years 9 months ago
2010
Springer
Classical approaches for supporting tutoring services face several limitations for ill-defined domains. To overcome these limitations, we argue for the utilization of hybrid approa...