8109 search results - page 30 / 1622 » A Model of Component-Based Programming |
ICWE
2004
Springer
14 years 4 months 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...
IRI
2003
IEEE
14 years 4 months ago
2003
IEEE
Abstract – In order to fulfill the functional requirements of multimedia management systems while achieving the efficiency and reliability at the same time, we adopt the compone...
ASWEC
2009
IEEE
14 years 3 months ago
2009
IEEE
Large, complex and long-lived software need to be upgraded at runtime. Addition, removal and replacement of a software component are the elementary evolution operations that have ...
SAC
2000
ACM
14 years 3 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
CBSE
2006
Springer
14 years 2 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...