Sciweavers

24421 search results - page 349 / 4885
» Communicating Complex Systems
Sort
View
VTC
2007
IEEE
130views Communications» more  VTC 2007»
15 years 10 months ago
Data Stream Processing Infrastructure for Intelligent Transport Systems
— Intelligence Transportation Systems are critical to improve the efficiency of modern transportation by reducing congestions, providing real time road conditions. A system that...
Eric Bouillet, Mark Feblowitz, Zhen Liu, Anand Ran...
141
Voted
ASE
2006
106views more  ASE 2006»
15 years 3 months ago
Integrating COTS Software into Systems through Instrumentation and Reasoning
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 ...
Alexander Egyed, Robert Balzer
116
Voted
SSS
2009
Springer
128views Control Systems» more  SSS 2009»
15 years 10 months ago
Brief Announcement: On the Time Complexity of Distributed Topological Self-stabilization
Dominik Gall, Riko Jacob, Andréa W. Richa, ...
106
Voted
CDC
2009
IEEE
136views Control Systems» more  CDC 2009»
15 years 7 months ago
Verification of K-step opacity and analysis of its complexity
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 ...
Anooshiravan Saboori, Christoforos N. Hadjicostis
128
Voted
CC
2008
Springer
118views System Software» more  CC 2008»
15 years 3 months ago
Dimension Characterizations of Complexity Classes
We use derandomization to show that sequences of positive pspace-dimension
Xiaoyang Gu, Jack H. Lutz