253 search results - page 16 / 51 » Session Types at the Mirror |
CHI
2005
ACM
14 years 8 months ago
2005
ACM
We present a longitudinal study of mini-QWERTY keyboard use, examining the learning rates of novice miniQWERTY users. The study consists of 20 twenty-minute typing sessions using ...
CN
2006
13 years 7 months ago
2006
Performance critical services over Internet often rely on geographically distributed architectures of replicated servers. Content Delivery Networks (CDN) are a typical example whe...
TSE
2008
13 years 7 months ago
2008
Web applications are widely adopted and their correct functioning is mission critical for many businesses. At the same time, Web applications tend to be error prone and implementat...
BIRTHDAY
2008
Springer
13 years 9 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
MSS
2003
IEEE
14 years 27 days ago
2003
IEEE
Reliability and availability are increasingly important in large-scale storage systems built from thousands of individual storage devices. Large systems must survive the failure o...