Sciweavers

8413 search results - page 1030 / 1683
» Ordering Problem Subgoals
Sort
View
DEXA
2004
Springer
87views Database» more  DEXA 2004»
15 years 11 months ago
Ensuring Task Dependencies During Workflow Recovery
Abstract. Workflow management systems (WFMS) coordinate execution of multiple tasks performed by different entities within an organization. In order to coordinate the execution of ...
Indrakshi Ray, Tai Xin, Yajie Zhu
CG
2006
Springer
15 years 11 months ago
Monte-Carlo Proof-Number Search for Computer Go
In the last decade, proof-number search and Monte-Carlo methods have successfully been applied to the combinatorial-games domain. Proof-number search is a reliable algorithm. It re...
Jahn-Takeshi Saito, Guillaume Chaslot, Jos W. H. M...
ECAI
2004
Springer
15 years 11 months ago
Encoding Quantified CSPs as Quantified Boolean Formulae
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
Ian P. Gent, Peter Nightingale, Andrew G. D. Rowle...
ENC
2004
IEEE
15 years 11 months ago
A New Cache Approach Based on Graph for Web Servers
This article deals with the problem of data cache for dynamic web servers. A set of requests (which number could be large) is submitted to a server for computing. Every request is...
Euloge Edi, Denis Trystram, Jean-Marc Vincent
CRYPTO
2006
Springer
159views Cryptology» more  CRYPTO 2006»
15 years 11 months ago
Asymptotically Optimal Two-Round Perfectly Secure Message Transmission
Abstract. The problem of perfectly secure message transmission concerns two synchronized non-faulty processors sender (S) and receiver (R) that are connected by a synchronous netwo...
Saurabh Agarwal, Ronald Cramer, Robbert de Haan
« Prev « First page 1030 / 1683 Last » Next »