Sciweavers

2838 search results - page 62 / 568
» Verifying Controlled Components
Sort
View
VL
2007
IEEE
117views Visual Languages» more  VL 2007»
14 years 3 months ago
EulerView: a non-hierarchical visualization component
The Treeview control is the traditional way of visualizing hierarchical information in user interfaces, but in situations such as managing bookmarks in browsers, more general clas...
Rosario De Chiara, Andrew Fish
COMPSAC
2002
IEEE
14 years 1 months ago
Optimal Resource Allocation and Reliability Analysis for Component-Based Software Applications
In this paper we propose an analytical approach for estimating the reliability of a component-based software. This methodology assumes that the software components are heterogeneo...
Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu, Chin-Yu H...
EMSOFT
2007
Springer
14 years 3 months ago
A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation
In networked control systems the controller of a physicallydistributed plant is implemented as a collection of tightlyinteracting, concurrent processes running on a distributed ex...
Alessandro Pinto, Luca P. Carloni, Alberto L. Sang...
SOCO
2005
Springer
14 years 2 months ago
Improving Composition Support with Lightweight Metadata-Based Extensions of Component Models
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...
Johann Oberleitner, Michael Fischer
RSP
2009
IEEE
149views Control Systems» more  RSP 2009»
14 years 3 months ago
Rapid-Prototyping of Adaptive Component-Based Systems Using Runtime Aspectual Interactions
Aspect-oriented mechanisms have been widely exploited at the programming-level. Nevertheless, little has been achieved at the architectural level, and this despite the potential b...
Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake