2838 search results - page 235 / 568 » Verifying Controlled Components |
121
click to vote
ISOLA
2010
Springer
15 years 27 days 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...
158
click to vote
ICDAR
2009
IEEE
15 years 6 days 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 ...
134
click to vote
TPDS
2010
14 years 9 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...
102
click to vote
CDC
2008
IEEE
15 years 9 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...
CDC
2008
IEEE
15 years 9 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...