4434 search results - page 74 / 887 » On the Composition of Hybrid Systems |
156
click to vote
FBT
1998
15 years 7 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
158
click to vote
ICSEA
2006
IEEE
16 years 7 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...
167
click to vote
AIPS
2006
15 years 7 months ago
2006
Recently the problem of automatic composition of workflows has been receiving increasing interest. Initial investigation has shown that designing a practical and scalable composit...
181
click to vote
RTAS
2008
IEEE
16 years 17 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...
136
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...