15779 search results - page 2324 / 3156 » Change-oriented software engineering |
309
Voted
ISSTA
2004
ACM
16 years 27 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
217
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...
188
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
194
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
Today the availability of large digital content archives (video, ebook, audio) creates many problems in terms of user interaction and data manipulation (browsing, searching). Many...
211
click to vote
IUI
2004
ACM
16 years 27 days ago
2004
ACM
This paper describes an attempt to reveal the user’s intention from dialogue acts, thereby improving the effectiveness of natural interfaces to pedagogical agents. It focuses o...