4434 search results - page 82 / 887 » On the Composition of Hybrid Systems |
180
click to vote
RTSS
2008
IEEE
16 years 20 days ago
2008
IEEE
This paper presents the design of user-level scheduling hierarchies in the Composite component-based system. The motivation for this is centered around the design of a system that...
150
click to vote
DATE
2008
IEEE
16 years 22 days ago
2008
IEEE
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
151
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
—Ubiquitous service composition provides new services and applications seamlessly by establishing cooperation among any devices in home networks and any services in service provi...
160
click to vote
VOSS
2004
Springer
15 years 11 months ago
2004
Springer
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
143
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...