855 search results - page 33 / 171 » Integration Testing of Composite Applications |
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Web service composition enables seamless and dynamic integration of business applications on the web. The performance of the composed application is determined by the performance ...
HYBRID
2010
Springer
14 years 22 days ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
JAR
2006
13 years 7 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
SIAMSC
2011
13 years 2 months ago
2011
A scheme is presented for the numerical solution of singular integral equations on piecewise smooth curves. It relies on several techniques: reduction, Nystr¨om discretization, co...
SIGGRAPH
1998
ACM
13 years 12 months ago
1998
ACM
We present an efficient algorithm for visibility sorting a set of moving geometric objects into a sequence of image layers which are composited to produce the final image. Inste...