Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
Atomicity is a desirable property for business processes to conduct transactions in Business-to-Business (B2B) collaboration. Although it is possible to reason about atomicity of ...
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
Although a software application always executes within a particular environment, current testing methods have largely ignored these environmental factors. Many applications execut...
We present a novel histogram method for statistically characterizing the appearance of deformable models. In deformable model segmentation, appearance models measure the likelihoo...
Robert E. Broadhurst, Joshua Stough, Stephen M. Pi...