Search Sciweavers | Sciweavers

21324 search results - page 37 / 4265

» Making the case for computing

click to vote

IFM
2004
Springer

125views Formal Methods» more IFM 2004»

Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors

14 years 1 months ago

Download eprints.ucl.ac.uk

Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...

Paul Curzon, Ann Blandford

claim paper

Read More »

click to vote

PDPTA
2010

164views Distributed And Parallel Com...» more PDPTA 2010»

A Case Study for SOA System Rejuvenation

13 years 5 months ago

Download sourcedb.ict.cas.cn

- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...

Guanhua Tian, Jianfeng Zhan, Chao Ren, Dan Meng

claim paper

Read More »

click to vote

CLOUD
2010
ACM

160views Distributed And Parallel Com...» more CLOUD 2010»

RACS: a case for cloud storage diversity

14 years 23 days ago

Download www.cs.cornell.edu

The increasing popularity of cloud storage is leading organizations to consider moving data out of their own data centers and into the cloud. However, success for cloud storage pr...

Hussam Abu-Libdeh, Lonnie Princehouse, Hakim Weath...

claim paper

Read More »

click to vote

COMPUTER
2006

57views more COMPUTER 2006»

Making Sense of Requirements, Sooner

13 years 7 months ago