4099 search results - page 728 / 820 » A Framework for Interactive Proof |
114
click to vote
CSCW
2008
ACM
15 years 5 months ago
2008
ACM
This paper describes an ethnographic study conducted to explore the possibilities for future design and development of technological support for trauma teams. We videotaped 10 tra...
219
click to vote
DCAI
2008
15 years 5 months ago
2008
Abstract. Social assistance constitutes an increasing problem in developed countries, which can be considered from two dimensions: the home and the hospital frameworks. Anyway, mos...
123
click to vote
HT
2007
ACM
15 years 5 months ago
2007
ACM
In this paper, we analyse web log data from user trials of the WHURLE-LS adaptive educational hypermedia (AEH) system from a behavioural perspective. This system allows users to s...
114
click to vote
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
The goal of breast cancer screening programs is to detect cancers at an early (preclinical) stage, by using periodic mammographic examinations in asymptomatic women. In evaluating ...
134
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
This paper demonstrates the impact of integrating session types and object-oriented programming, through their implementation in Java. Seses provide high-level abstraction for stru...