6291 search results - page 55 / 1259 » Components Are from Mars |
120
Voted
ENTCS
2002
15 years 3 months ago
2002
An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...
106
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
128
Voted
MVA
2010
14 years 10 months ago
2010
Abstract In this paper, we present a framework for the classification of images in surface inspection tasks and address several key aspects of the processing chain from the origina...
130
click to vote
DBPL
1999
Springer
15 years 7 months ago
1999
Springer
Construction of complex software systems with largely off-the-shelf components has become a reality with the wide availability and acceptance of component frameworks and distribut...
149
Voted
PARA
2004
Springer
15 years 8 months ago
2004
Springer
This paper gives a numerical algorithm able to compute the number of path-connected components of a set S defined by nonlinear inequalities. This algorithm uses interval analysis ...