5278 search results - page 942 / 1056 » An Approach and Framework for Extensible Process Support Sys... |
ESE
2006
13 years 9 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
— Security breaches and attacks are critical problems in today’s networking. A key-point is that the security of each host depends not only on the protection strategies it choo...
ACCV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
AUSAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...