145 search results - page 1 / 29 » A Practical Temporal Constraint Management System for Real-T... |
174
Voted
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...
168
click to vote
ECBS
2002
IEEE
15 years 12 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
195
Voted
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
212
click to vote
TPDS
2008
15 years 6 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...
210
click to vote
RTCSA
2003
IEEE
16 years 5 days ago
2003
IEEE
Increasing complexity of real-time systems, and demands for enabling their configurability and tailorability are strong motivations for applying new software engineering principle...