Sciweavers

Share
147 search results - page 1 / 30
» A Practical Temporal Constraint Management System for Real-T...
Sort
View
ECAI
2008
Springer
9 years 4 months ago
A Practical Temporal Constraint Management System for Real-Time Applications
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...
Luke Hunsberger
ECBS
2002
IEEE
119views Hardware» more  ECBS 2002»
9 years 7 months ago
Managing Complex Temporal Requirements in Real-Time Control Systems
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...
Kristian Sandström, Christer Norström
CAV
2003
Springer
155views Hardware» more  CAV 2003»
9 years 6 months ago
An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic
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...
Marc Geilen
TPDS
2008
196views more  TPDS 2008»
9 years 2 months ago
End-to-End Energy Management in Networked Real-Time Embedded Systems
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...
G. Sudha Anil Kumar, Govindarasu Manimaran, Zhengd...
RTCSA
2003
IEEE
9 years 7 months ago
Towards Aspectual Component-Based Development of Real-Time Systems
Increasing complexity of real-time systems, and demands for enabling their con´Čügurability and tailorability are strong motivations for applying new software engineering principle...
Aleksandra Tesanovic, Dag Nyström, Jörge...
books