1206 search results - page 166 / 242 » Concurrent Abstract Predicates |
120
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
132
Voted
DASFAA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML processing models, allow for highly concurrent transaction processing on XML tre...
122
click to vote
GLOBE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. As data volumes processed by large-scale distributed dataintensive applications grow at high-speed, an increasing I/O pressure is put on the underlying storage service, w...
110
click to vote
CONCURRENCY
2007
15 years 18 days ago
2007
: We present the initial architecture and implementation of VLab, a Grid and Web Service-based system for enabling distributed and collaborative computational chemistry and materia...
108
Voted
COMCOM
2002
15 years 13 days ago
2002
Abstract-We propose a new webserver architecture optimized for delivery of large, popular files. Delivery of such files currently pose a scalability problem for conventional conten...