24421 search results - page 349 / 4885 » Communicating Complex Systems |
118
click to vote
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
141
Voted
ASE
2006
15 years 3 months ago
2006
Commercial-off-the-shelf (COTS) software tends to be cheap, reliable, and functionally powerful due to its large user base. It has thus become highly desirable to incorporate COTS ...
116
Voted
SSS
2009
Springer
15 years 10 months ago
2009
Springer
106
Voted
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
128
Voted
CC
2008
Springer
15 years 3 months ago
2008
Springer
We use derandomization to show that sequences of positive pspace-dimension