1105 search results - page 34 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
87
Voted
ICEIS
2008
IEEE
15 years 9 months ago
2008
IEEE
128
click to vote
VLDB
1990
ACM
15 years 6 months 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...
118
Voted
HICSS
2002
IEEE
15 years 7 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...
137
Voted
ECRTS
2008
IEEE
15 years 9 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...
135
Voted
PRDC
2007
IEEE
15 years 9 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...