4258 search results - page 250 / 852 » Languages and Interactive Software Development |
256
click to vote
TSI
2010
15 years 1 months ago
2010
In this paper, we present a Web-based framework for interactive deictic and sign language virtual agents. Our framework is a DOM-Integrated Virtual Agents architecture, which has b...
167
click to vote
ASSETS
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we compare alternative techniques for evaluating a software system for simplifying the readability of texts for adults with mild intellectual disabilities (ID). We ...
179
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
191
click to vote
ICSE
1999
IEEE-ACM
15 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
166
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
We present a case-study of using OCaml within a large product development project, focussing on both the technical and nontechnical issues that arose as a result. We draw comparis...