2562 search results - page 213 / 513 » The Use of B2B Process Standards: A Case Study |
162
click to vote
ICEIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
146
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
182
click to vote
SIGARCH
2008
15 years 6 months ago
2008
This paper presents the OpenDF framework and recalls that dataflow programming was once invented to address the problem of parallel computing. We discuss the problems with an impe...
163
click to vote
INFSOF
1998
15 years 6 months ago
1998
We show how to combine program slicing and constraint solving in order to obtain better slice accuracy. The method is used in the VALSOFT slicing system. One particular applicatio...
227
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...