9210 search results - page 1423 / 1842 » Analyzing Real-Time Systems |
171
click to vote
TWC
2008
15 years 6 months ago
2008
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
174
click to vote
BC
2004
15 years 6 months ago
2004
The mammalian visual system is one of the most intensively investigated sensory systems. However, our knowledge of the typical input it is operating on is surprisingly limited. To ...
163
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
171
click to vote
COMCOM
2004
15 years 6 months ago
2004
Providing seamless mobility support is one of the most challenging problems towards the system integration of fourth generation (4G) wireless networks. Because of the transparency...
170
click to vote
CONCURRENCY
2004
15 years 6 months ago
2004
The centralized system approach for computer and telecommunication network management has been presenting scalability problems along with the growth in the number and diversity of...