Sciweavers

1831 search results - page 24 / 367
» Time Constraints in Workflow Systems
Sort
View
128
Voted
FTCS
1998
114views more  FTCS 1998»
15 years 4 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...
111
Voted
VLDB
1987
ACM
72views Database» more  VLDB 1987»
15 years 7 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
93
Voted
SOSP
1997
ACM
15 years 4 months ago
CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities
Michael B. Jones, Daniela Rosu, Marcel-Catalin Ros...
ISQED
2007
IEEE
166views Hardware» more  ISQED 2007»
15 years 9 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
129
Voted
DAC
1998
ACM
16 years 4 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