1092 search results - page 43 / 219 » Automated Evaluation of Coordination Approaches |
WEBI
2005
Springer
15 years 5 months ago
2005
Springer
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
BIOCOMP
2006
15 years 1 months ago
2006
Previous studies have shown that the quantification of volumetric blood flow from a color Doppler image (CDI) is a feasible approach to eliminate technical obstacles in the tradit...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, where...
CAV
2009
Springer
16 years 11 days ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
GECCO
2009
Springer
15 years 6 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...