28962 search results - page 5520 / 5793 » Computational Mechanism Design |
169
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
217
click to vote
ACMACE
2004
ACM
16 years 3 days ago
2004
ACM
The game and entertainment industry plays an enormous role within the development and extensive usage of new technologies. They are one major technology driver concerning the deve...
174
click to vote
ACMDIS
2004
ACM
16 years 3 days ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
159
click to vote
ACMSE
2004
ACM
16 years 3 days ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
221
click to vote
AFRIGRAPH
2004
ACM
16 years 3 days ago
2004
ACM
We describe techniques for exploring 3D scenes by combining non-linear projections with the interactive data mining of camera navigations from previous explorations. Our approach ...