Sciweavers

1292 search results - page 71 / 259
» A Designer's Guide to KEMs
Sort
View
CHI
2006
ACM
14 years 8 months ago
Tensions in designing capture technologies for an evidence-based care community
Evidence-based care is an increasingly popular process for long term diagnosis and monitoring of education and healthcare disabilities. Because this evidence must also be collecte...
Gillian R. Hayes, Gregory D. Abowd
ICSE
2004
IEEE-ACM
14 years 8 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
ICALT
2008
IEEE
14 years 2 months ago
The Role of Emotions in the Design of Personalized Educational Systems
Research on modelling affect and on interfaces adaptation based on affective factors has matured considerably over the past several years, so that designers of educational product...
Zacharias Lekkas, Nikos Tsianos, Panagiotis German...
PROFES
2005
Springer
14 years 1 months ago
Investigating the Impact of Active Guidance on Design Inspection
Software inspection helps to improve the quality of software products early in the development process. For design inspection recent research showed that usage-based reading of doc...
Dietmar Winkler, Stefan Biffl, Bettina Thurnher
SIGUCCS
2000
ACM
14 years 9 days ago
Designing the "IT Degree" for Student Employees
Academic Technology Services at the University of Rochester is in the process of revamping its student staff training program. This is in an effort to provide top-notch customer s...
Lisa Tanger-Brown, Janak Gada