14190 search results - page 93 / 2838 » Abstractions for hybrid systems |
161
click to vote
ICSEA
2006
IEEE
16 years 12 days ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
186
click to vote
RTAS
2008
IEEE
16 years 23 days ago
2008
IEEE
A hybrid scheduling algorithm is proposed, which integrates features of the Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling policies. It is shown that this hybrid...
141
click to vote
ICDCS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper studies the problem of updates in decentralised and self-organising P2P systems in which peers have low online probabilities and only local knowledge. The update strate...
264
click to vote
ISICA
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. Intrusion detection has been extensively studied in the last two decades. However, most existing intrusion detection techniques detect limited number of attack types and ...
153
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. In this article we investigate how to generate flight trajectories for an autonomous helicopter. The planning strategy that we propose reflects the controller architect...