4273 search results - page 616 / 855 » User studies and the design of Natural Language Systems |
176
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
182
click to vote
CHI
2009
ACM
2009
ACM
Social immersive media: pursuing best practices for multi-user interactive camera/projector exhibits
16 years 7 months ago
Based on ten years' experience developing interactive camera/projector systems for public science and culture exhibits, we define a distinct form of augmented reality focused...
208
click to vote
CCS
2005
ACM
16 years 5 days ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
199
click to vote
ICFCA
2005
Springer
16 years 4 days ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
194
Voted
JSA
2008
15 years 6 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...