2838 search results - page 235 / 568 » Verifying Controlled Components |
112
click to vote
ISOLA
2010
Springer
14 years 11 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
143
Voted
ICDAR
2009
IEEE
14 years 10 months ago
2009
IEEE
Text line segmentation in unconstrained handwritten documents remains a challenge because handwritten text lines are multi-skewed and not obviously separated. This paper presents ...
119
click to vote
TPDS
2010
14 years 7 months ago
2010
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
87
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— We propose a distributed algorithm to detect “cuts” in sensor networks, i.e., the failure of a set of nodes that separates the networks into two or more components. The alg...
81
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This paper studies consensus seeking over noisy networks with time-varying noise statistics. Stochastic approximation type algorithms can ensure consensus in mean square and wi...