Sciweavers

1163 search results - page 204 / 233
» Concurrent Subspaces Analysis
Sort
View
132
Voted
ICMCS
2005
IEEE
75views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Optimizing Prefetch in a Residential Gateway with Networked Storage Systems
VOD services require the storage system support with multiple disks. SCSI-based systems are usual choices. However, disks can be attached directly to networks these days. Fiber Ch...
Eunsam Kim, Jonathan C. L. Liu
121
Voted
DSVIS
2005
Springer
15 years 9 months ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
130
Voted
IEAAIE
2005
Springer
15 years 9 months ago
AI/NLP Technologies Applied to Spacecraft Mission Design
In this paper we propose the model of a prototypical NLP architecture of an information access system to support a team of experts in a scientific design task, in a shared and hete...
Maria Teresa Pazienza, Marco Pennacchiotti, Michel...
154
Voted
CHI
2004
ACM
15 years 9 months ago
Trust and mistrust of online health sites
Do different design and information content factors influence trust and mistrust of online health sites? Fifteen women faced with a risky health decision were observed while searc...
Elizabeth Sillence, Pamela Briggs, Lesley Fishwick...
175
Voted
BIRTHDAY
2004
Springer
15 years 9 months ago
Retracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
Stephen D. Brookes