5639 search results - page 64 / 1128 » Timed Abstract Non-interference |
114
click to vote
VTC
2007
IEEE
16 years 13 days 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...
151
click to vote
ADAEUROPE
2007
Springer
16 years 11 days 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...
139
click to vote
ESA
2007
Springer
16 years 10 days 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...
146
click to vote
MOBILERESPONSE
2007
Springer
16 years 9 days 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...
148
click to vote
HYBRID
2005
Springer
15 years 11 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...