76 search results - page 2 / 16 » Specification of real-time and hybrid systems in rewriting l... |
IJCAI
1993
14 years 10 months ago
1993
FBT
1998
14 years 10 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...
107
click to vote
RTAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
91
Voted
ENTCS
2007
14 years 9 months ago
2007
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...