5433 search results - page 609 / 1087 » Tool Support for Traceability-Adaptation |
133
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Event-based programming has been studied little, yet recent work suggests that language paradigm can predict programming strategies and performance. A contextual inquiry of four e...
188
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This study used eye-tracking technology to assess where helpers look as they are providing assistance to a worker during collaborative physical tasks. Gaze direction was coded int...
176
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We report on a diary study of how and why knowledge workers use the World Wide Web. By examining in detail a complete two-day set of Web activities from each of 24 people, we cons...
199
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
230
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
Ontology languages to represent ontologies exist in large numbers, and users who want to access or reuse ontologies can often be confronted with a language they do not know. Theref...