1284 search results - page 77 / 257 » On Helping and Interactive Proof Systems |
ICSE
2009
IEEE-ACM
14 years 6 months ago
2009
IEEE-ACM
It is important that information provided in bug reports is relevant and complete in order to help resolve bugs quickly. However, often such information trickles to developers aft...
HUC
2007
Springer
14 years 5 months ago
2007
Springer
In this paper we present a new approach for cooperation between mobile smart objects and projector-camera systems to enable augmentation of the surface of objects with interactive ...
MHCI
2009
Springer
14 years 5 months ago
2009
Springer
We present a context-aware pictographic display system that facilitates the search for communication cards that bear some relation to the location and goal of the user. The system...
CBSE
2009
Springer
14 years 5 months ago
2009
Springer
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....