661 search results - page 17 / 133 » What Can We Expect from Program Verification |
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
UM
2009
Springer
14 years 3 months ago
2009
Springer
Collaborative filtering (CF) techniques have proved to be a powerful and popular component of modern recommender systems. Common approaches such as user-based and item-based metho...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
PSSE
2004
Springer
14 years 1 months ago
2004
Springer
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
CGI
2000
IEEE
14 years 1 months ago
2000
IEEE
Computer synthesized characters are expected to make appropriate face, limb, and body gestures during communicative acts. We focus on non-facial movements and try to elucidate wha...