Sciweavers

1757 search results - page 261 / 352
» Alternating Refinement Relations
Sort
View
117
Voted
DOCENG
2008
ACM
15 years 5 months ago
Satisficing scrolls: a shortcut to satisfactory layout
We present at a new approach to finding aesthetically pleasing page layouts. We do not aim to find an optimal layout, rather the aim is to find a layout which is not obviously wro...
Nathan Hurst, Kim Marriott
143
Voted
DSN
2008
IEEE
15 years 5 months ago
Enhanced server fault-tolerance for improved user experience
Interactive applications such as email, calendar, and maps are migrating from local desktop machines to data centers due to the many advantages offered by such a computing environ...
Manish Marwah, Shivakant Mishra, Christof Fetzer
FM
2008
Springer
77views Formal Methods» more  FM 2008»
15 years 4 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
BCSHCI
2007
15 years 4 months ago
A card-sorting probe of e-banking trust perceptions
This paper investigates the issue of trust mediation in eBanking. The card sorting technique was used to probe factors influencing subjects’ attitudes to alternative e-banking h...
Tim French, Kecheng Liu, Mark Springett
119
Voted
BCSHCI
2008
15 years 4 months ago
Enabling storytelling by Aphasics in an augmented home environment
We present the design of a system for Aphasics that assist them in storytelling. Storytelling, in the sense of being able to relate recent and past experiences to relevant others,...
Abdullah Al Mahmud, Dzmitry Aliakseyeu, Jean-Berna...