4520 search results - page 64 / 904 » Algebraic Techniques for Timed Systems |
115
click to vote
APSEC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
127
Voted
PRDC
2005
IEEE
15 years 7 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
112
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
In a real-time system, tasks are constrained by global endto-end (E-T-E) deadlines. In order to cater for high task schedulability, these deadlines must be distributed over compon...
100
click to vote
ISCAS
2007
IEEE
15 years 8 months ago
2007
IEEE
—A parallel, multi-resolution spectrum sensing technique that is amenable to multiple-antenna cognitive radios is introduced. We show that for energy-detector-type spectrum senso...
151
click to vote
ATC
2008
Springer
15 years 3 months ago
2008
Springer
To overcome the rising complexity of computing systems, the paradigms of Autonomic Computing and Organic Computing have been introduced. By using an observer/controller architectur...