4454 search results - page 85 / 891 » Designing components for e-services |
141
click to vote
COMPSAC
1997
IEEE
15 years 9 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
138
click to vote
SOQUA
2004
15 years 6 months ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
126
click to vote
CVPR
1997
IEEE
16 years 7 months ago
1997
IEEE
We present a method for computing dense visual correspondence based on general assumptions about scene geometry. Our algorithm does not rely on correlation, and uses a variable re...
143
click to vote
EUROMICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
140
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Two or more components (e.g., objects, modules, or programs) interoperate when they exchange data, such as XML data. Using Application Programming Interface (API) calls exported b...