1105 search results - page 34 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
ICEIS
2008
IEEE
14 years 3 months ago
2008
IEEE
VLDB
1990
ACM
14 years 22 days ago
1990
ACM
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
ECRTS
2008
IEEE
14 years 3 months ago
2008
IEEE
Existing off-line schedulability analysis for real-time systems can only handle periodic or sporadic tasks with known minimum inter-arrival times. Modeling sporadic tasks with fi...
PRDC
2007
IEEE
14 years 3 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...