7103 search results - page 145 / 1421 » Components and Generative Programming |
ENTCS
2007
13 years 9 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper presents an Integer Linear Programming (ILP) approach to the instruction-set extension identification problem. An algorithm that iteratively generates and solves a set...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Data management lies at the core of most modern information technology deployments. Accordingly, the reliability of the database management system (DBMS) is critical to the reputa...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...