1782 search results - page 247 / 357 » Tool Support for Proof Engineering |
142
click to vote
AVI
2010
15 years 4 months ago
2010
In this paper, we discuss a method and the associated tool support able to exploit Web services in model-based user interface development, starting with the results of a task anal...
154
Voted
Publication
Conversations between colleagues in collaborative
software engineering are important for coordinating work,
sharing knowledge and creating knowledge. Overhearing con-
versations...
130
Voted
ICIAP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
114
click to vote
UIST
2009
ACM
15 years 9 months ago
2009
ACM
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
126
click to vote
ISPASS
2006
IEEE
15 years 9 months ago
2006
IEEE
The present work presents a cycle-level execution-driven simulator for modern GPU architectures. We discuss the simulation model used for our GPU simulator, based in the concept o...