Sciweavers

3693 search results - page 386 / 739
» User experience over time
Sort
View
DEXAW
1999
IEEE
124views Database» more  DEXAW 1999»
15 years 10 months ago
A Web-Based Evolutionary Model for Internet Data Caching
Caching is a standard solution to the problem of insufcient bandwidth caused by the rapid increase of information circulation across the Internet. Cache consistency mechanisms are...
Athena Vakali
ECOOPW
1998
Springer
15 years 10 months ago
Exploiting Architecture in Experimental System Development
This position paper takes as outset experience obtained during development of an object-oriented prototype for a global customer service system. The project involved a large shipp...
Klaus Marius Hansen
EWCBR
1998
Springer
15 years 10 months ago
Case-Based Reasoning in CARE-PARTNER: Gathering Evidence for Evidence-Based Medical Practice
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
Isabelle Bichindaritz, Emin Kansu, Keith M. Sulliv...
DATE
2006
IEEE
97views Hardware» more  DATE 2006»
15 years 9 months ago
Monolithic verification of deep pipelines with collapsed flushing
We introduce collapsed flushing, a new flushing-based refinement map for automatically verifying safety and liveness properties of term-level pipelined machine models. We also pre...
Roma Kane, Panagiotis Manolios, Sudarshan K. Srini...
ECOOPWEXCEPTION
2006
Springer
15 years 9 months ago
Failure Handling in a Network-Transparent Distributed Programming Language
Abstract. This paper shows that asynchronous fault detection is a practical way to reflect partial failure in a network-transparent distributed programming language. In the network...
Raphaël Collet, Peter Van Roy