2364 search results - page 155 / 473 » On O-Minimal Hybrid Systems |
154
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
163
click to vote
HYBRID
1992
Springer
15 years 10 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
201
click to vote
AINA
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper presents HyMoNet, a peer-to-peer hybrid multicast overlay network for efficient live media streaming. The system comprises two parts: service infrastructure and user sp...
180
click to vote
ENDM
2000
15 years 6 months ago
2000
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
182
click to vote
WISE
2009
Springer
16 years 4 months ago
2009
Springer
In this paper, we present a Web recommender system for recommending, predicting and personalizing music playlists based on a user model. We have developed a hybrid similarity match...