76 search results - page 2 / 16 » Specification of real-time and hybrid systems in rewriting l... |
IJCAI
1993
14 years 5 days ago
1993
FBT
1998
14 years 6 days 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...
RTAS
2005
IEEE
14 years 4 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
14 years 5 months ago
2007
Springer
ENTCS
2007
13 years 10 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...