Sciweavers

3130 search results - page 212 / 626
» Design Correctness of Digital Systems
Sort
View
JDIM
2010
156views more  JDIM 2010»
14 years 11 months ago
Rule based Autonomous Citation Mining with TIERL
: Citations management is an important task in managing digital libraries. Citations provide valuable information e.g., used in evaluating an author's influences or scholarly ...
Muhammad Tanvir Afzal, Hermann A. Maurer, Wolf-Til...
ASPLOS
2006
ACM
15 years 10 months ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
BILDMED
2008
15 years 5 months ago
A Knowledge-Based System for the Computer Assisted Diagnosis of Endoscopic Images
Abstract. Due to the actual demographic development the use of Computer-Assisted Diagnosis (CAD) systems becomes a more important part of clinical workflows and clinical decision m...
Andreas Kage, Christian Münzenmayer, Thomas W...
PDPTA
2003
15 years 5 months ago
Data Integrity in a Distributed Storage System
Distributed storage systems must provide highly available access to data while maintaining high performance and maximum scalability. In addition, reliability in a storage system is...
Jonathan D. Bright, John A. Chandy
SIGMETRICS
2008
ACM
128views Hardware» more  SIGMETRICS 2008»
15 years 4 months ago
Loss-aware network coding for unicast wireless sessions: design, implementation, and performance evaluation
Local network coding is growing in prominence as a technique to facilitate greater capacity utilization in multi-hop wireless networks. A specific objective of such local network ...
Shravan K. Rayanchu, Sayandeep Sen, Jianming Wu, S...