6978 search results - page 1030 / 1396 » On Proofs in System P |
219
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Embracing service-oriented architectures in the context of large systems, such as the Web, rises a set of new and challenging issues: increased size and load in terms of users and...
190
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
As storage-outsourcing services and resource-sharing networks have become popular, the problem of efficiently proving the integrity of data stored at untrusted servers has receiv...
172
click to vote
RTA
2007
Springer
16 years 1 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
168
click to vote
AE
2005
Springer
16 years 13 days ago
2005
Springer
Ligation is a form of chemical self-assembly that involves dynamic formation of strong covalent bonds in the presence of weak associative forces. We study an extremely simple form ...
200
click to vote
CP
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...