Sciweavers

3644 search results - page 609 / 729
» Multi-torrent: a performance study and applications
Sort
View
SRDS
1998
IEEE
14 years 1 months ago
View Consistency for Optimistic Replication
Optimistically replicated systems provide highly available data even when communication between data replicas is unreliable or unavailable. The high availability comes at the cost...
Ashvin Goel, Calton Pu, Gerald J. Popek
HICSS
1997
IEEE
97views Biometrics» more  HICSS 1997»
14 years 1 months ago
Object Databases for SGML Document Management
We have investigated the use of an object database as a platform for storing and retrieving Standard Generalized Markup Language (SGML) documents. Qualitative studies convinced us...
Michael R. Olson, Byung Suk Lee
IRREGULAR
1997
Springer
14 years 1 months ago
Programming with Shared Data Abstractions
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
Simon A. Dobson, Don Goodeve
CAV
2010
Springer
172views Hardware» more  CAV 2010»
14 years 1 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
SIGIR
2010
ACM
14 years 1 months ago
Ready to buy or just browsing?: detecting web searcher goals from interaction data
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
Qi Guo, Eugene Agichtein