695 search results - page 101 / 139 » Symbolic Simulation of Hybrid Systems |
HICSS
2009
IEEE
14 years 3 months ago
2009
IEEE
— The energy use of a ground-source heat pump (GSP) for heating, cooling and hot water in a Central Pennsylvania residence (namely, the author’s house) is analyzed, compared to...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In layered P2P streaming system, how to allocate number of the copies for each layer is a challenging problem. In this paper, we present a substream allocation scheme in layered P...
DALT
2009
Springer
13 years 11 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
HAPTICS
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract. Physically dissipative damping can increase the range of passive stiffness that can be rendered by a haptic device. Unlike simulated damping it does not introduce noise i...
DFG
2004
Springer
13 years 12 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...