6291 search results - page 55 / 1259 » Components Are from Mars |
ENTCS
2002
14 years 11 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...
ICSE
2003
IEEE-ACM
15 years 12 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...
MVA
2010
14 years 6 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...
DBPL
1999
Springer
15 years 4 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...
110
click to vote
PARA
2004
Springer
15 years 5 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 ...