5639 search results - page 64 / 1128 » Timed Abstract Non-interference |
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— A practical demonstration of IEEE 802.11g transmissions using time-reversal antenna arrays in MISO and MIMO configurations is presented in this work. Throughput measur...
ADAEUROPE
2007
Springer
15 years 6 months ago
2007
Springer
Modernlarge real-time systems are becoming more complex. Whilst Ada 2005 provides a comprehensive set of programming mechanisms that allow these systems to be implethe abstraction...
ESA
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. A lexicographic ranking function for the set of all permutations of n ordered symbols translates permutations to their ranks in the lexicographic order of all permutation...
MOBILERESPONSE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The coordinated reaction to a large-scale disaster is a challenging research problem. The Robocup rescue simulation league addresses this research problem but is currentl...
HYBRID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study continuous-time switched linear systems with unobserved and exogenous mode signals. We analyze the observability of the initial state and initial mode under arbi...