270 search results - page 6 / 54 » Architecture Normalization for Component-based Systems |
ICWE
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. In recent years, more and more publications and material for studying and teaching, e. g. for Web-based teaching (WBT), appear "online" and digital libraries ar...
CBSE
2006
Springer
13 years 9 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...
MOBILWARE
2009
ACM
14 years 1 months ago
2009
ACM
We discuss a generic architecture for building user-centric systems. The characteristic feature of such systems is a control loop that monitors the user’s state, and produces a h...
CBSE
2006
Springer
13 years 11 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...