Sciweavers

17789 search results - page 242 / 3558
» Exceptional Use Cases
Sort
View
193
Voted
HOTOS
1999
IEEE
15 years 11 months ago
The Case for Better Throughput Estimation
A Web proxy must accurately predict network performance between itself and its servers and clients in order to make good distillation decisions. In this paper, we show that the cu...
Brian Noble, Li Li, Atul Prakash
IWANN
1999
Springer
15 years 11 months ago
Applying Ontology to the Web: A Case Study
This paper describes the use of Simple HTML Ontology Extensions (SHOE) in a real world internet application. SHOE allows authors to add semantic content to web pages and to relate...
Jeff Heflin, James A. Hendler, Sean Luke
SPIN
1999
Springer
15 years 11 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
VLDB
1998
ACM
115views Database» more  VLDB 1998»
15 years 10 months ago
Bank of America Case Study: The Information Currency Advantage
This paper describes the external forces that motivate financial institutions to collect, aggregate, analyze, and mine data so that it can be transformed into information, one of ...
Felipe Cariño, Mark Jahnke
CONPAR
1992
15 years 10 months ago
Analysis of an Efficient Distributed Algorithm for Mutual Exclusion (Average-Case Analysis of Path Reversal)
The algorithm designed in [12, 15] was the very first distributed algorithm to solve the mutual exclusion problem in complete networks by using a dynamic logical tree structure as...
Christian Lavault