Sciweavers

3341 search results - page 340 / 669
» Managing a Large
Sort
View
CIT
2007
Springer
15 years 10 months ago
An Approach for Assessment of Reliability of the System Using Use Case Model
Existing approaches on reliability assessment of the system have limitations such as performance entirely depends on expertise, knowledge of system analysts and computation of usa...
Debasish Kundu, Debasis Samanta
SAT
2010
Springer
125views Hardware» more  SAT 2010»
15 years 10 months ago
Two Techniques for Minimizing Resolution Proofs
Some SAT-solvers are equipped with the ability to produce resolution proofs for problems which are unsatisfiable. Such proofs are used in a variety of contexts, including finding...
Scott Cotton
SIGIR
2010
ACM
15 years 10 months ago
Supervised query modeling using wikipedia
We use Wikipedia articles to semantically inform the generation of query models. To this end, we apply supervised machine learning to automatically link queries to Wikipedia artic...
Edgar Meij, Maarten de Rijke
GLOBECOM
2007
IEEE
15 years 10 months ago
Mean-Field Analysis of Buffer Sizing
Two schools of thoughts have emerged over the recent debate on internet router buffer sizing. One school argues that the presence of a large number of flows leads to traffic desync...
Mei Wang
ICDE
2007
IEEE
128views Database» more  ICDE 2007»
15 years 10 months ago
Realizing Privacy-Preserving Features in Hippocratic Databases
Preserving privacy has become a crucial requirement for operating a business that manages personal data. Hippocratic databases have been proposed to answer this requirement throug...
Yasin Laura-Silva, Walid G. Aref