Sciweavers

12373 search results - page 222 / 2475
» Semi-Logarithmic Number Systems
Sort
View
99
Voted
ADL
1999
Springer
107views Digital Library» more  ADL 1999»
15 years 5 months ago
Extending the Role of Metadata in a Digital Library System
We describe an approach to the development of a digital library system that is founded on a number of basic principles. In particular, we discuss the critical role of metadata in ...
Alexa T. McCray, Marie E. Gallagher, Michael A. Fl...
TMC
2008
219views more  TMC 2008»
15 years 8 days ago
COACS: A Cooperative and Adaptive Caching System for MANETs
This paper introduces a cooperation-based database caching system for Mobile Ad Hoc Networks (MANETs). The heart of the system is the nodes that cache submitted queries. The querie...
Hassan Artail, Haïdar Safa, Khaleel W. Mersha...
112
Voted
TPDS
2008
98views more  TPDS 2008»
15 years 8 days ago
Free-Riding on BitTorrent-Like Peer-to-Peer File Sharing Systems: Modeling Analysis and Improvement
BitTorrent has emerged as a very popular peer-to-peer file sharing system, which uses an embedded set of incentive mechanisms to encourage contribution and prevent free-riding. How...
Minglu Li, Jiadi Yu, Jie Wu
108
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
14 years 11 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
99
Voted
TPDS
2010
135views more  TPDS 2010»
14 years 11 months ago
Maximizing Service Reliability in Distributed Computing Systems with Random Node Failures: Theory and Implementation
—In distributed computing systems (DCSs) where server nodes can fail permanently with nonzero probability, the system performance can be assessed by means of the service reliabil...
Jorge E. Pezoa, Sagar Dhakal, Majeed M. Hayat