Sciweavers

1831 search results - page 24 / 367
» Time Constraints in Workflow Systems
Sort
View
FTCS
1998
114views more  FTCS 1998»
13 years 11 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
VLDB
1987
ACM
72views Database» more  VLDB 1987»
14 years 1 months ago
Providing Time-Related Constraints for Conventional Database Systems
A model for a historical database is described which is based upon time-stamped tuples as the unit of storage. The model includes both physical and logical time-stamps. The techni...
T. Abbod, K. Brown, H. Noble
ISQED
2007
IEEE
166views Hardware» more  ISQED 2007»
14 years 4 months ago
Reducing the Energy Consumption in Fault-Tolerant Distributed Embedded Systems with Time-Constraint
In this paper we address the problem of reducing the energy consumption in distributed embedded systems associated with time-constraints and equipped with fault-tolerant technique...
Yuan Cai, Sudhakar M. Reddy, Bashir M. Al-Hashimi
DAC
1998
ACM
14 years 10 months ago
Rate Derivation and Its Applications to Reactive, Real-Time Embedded Systems
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
Ali Dasdan, Dinesh Ramanathan, Rajesh K. Gupta