6197 search results - page 958 / 1240 » Sandbridge Software Tools |
161
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
We present the participatory design and evaluation of an orientation aid for individuals who have anterograde amnesia. Our design team included six amnesics who have extreme diffi...
272
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Nearly all components that comprise modern information technology, such as Computer Aided Software Engineering (CASE) tools, Enterprise Application Integration (EAI) environments,...
145
Voted
MICCAI
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Regional assessment of lung disease (such as chronic obstructive pulmonary disease) is a critical component to accurate patient diagnosis. Software tools than enable such...
225
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
191
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Due to their characteristics and claimed advantages, several researchers have been investigating free and open-source projects. Different aspects are being studied: for instance, ...