102 search results - page 8 / 21 » Informatics: a focus on computer science in context |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...
SIGCSE
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, we report on our experience in designing and delivering two new software design courses in the Informatics major at UC Irvine. When the major was created in 2004, i...
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
TLCA
2007
Springer
14 years 1 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
CONCURRENCY
2006
13 years 7 months ago
2006
Significant progress has been made in the design and development of Grid middleware which, in its present form, is founded on service-oriented architecture and web services techno...