4520 search results - page 124 / 904 » Algebraic Techniques for Timed Systems |
193
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The correctness of a system according to a given specification is essential, especially for safety-critical applications. One such typical application domain is the autom...
167
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Power-aware systems are those that must make the best use of available power. They subsume traditional low-power systems in that they must not only minimize power when the budget ...
225
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Cyber Physical Systems (CPSs) have grand visions with great socio-economic impacts such as blackout-free electricity supply and real-time disaster recovery. A key challenge is pro...
185
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper proposes an algorithm for joint data detection and tracking of the dominant singular mode of a time varying channel at the transmitter and receiver of a time division d...
329
click to vote
ATMOS
2011
14 years 6 months ago
2011
The primary objective of this paper is to introduce Fuzzy Rule-Based Systems (FRBSs) as a relatively new technology into airport transportation research, with a special emphasis o...