5235 search results - page 911 / 1047 » Analysis of Multithreaded Programs |
161
click to vote
DOCENG
2003
ACM
15 years 10 months ago
2003
ACM
XPath [3, 5] is a powerful and quite successful language able to perform complex node selection in trees through compact specifications. As such, it plays a growing role in many ...
127
click to vote
MM
2003
ACM
15 years 10 months ago
2003
ACM
To exploit rich content embedded in a single photograph, a system named Photo2Video was developed to automatically convert a photographic series into a video by simulating camera ...
149
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
120
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
Web-based vulnerabilities represent a substantial portion of the security exposures of computer networks. In order to detect known web-based attacks, misuse detection systems are ...
157
Voted
CP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Local search algorithms have been very successful for solving constraint satisfaction problems (CSP). However, a major weakness has been that local search is unable to de...