3828 search results - page 51 / 766 » Proof-Based System Engineering Using a Virtual System Model |
104
Voted
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
134
click to vote
TSE
2008
15 years 2 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
129
click to vote
CHI
2000
ACM
15 years 6 months ago
2000
ACM
We have developed a new input device that allows users to intuitively specify three-dimensional coordinates in graphics applications. The device consists of a cubeshaped box with ...
125
Voted
ACMACE
2007
ACM
15 years 6 months ago
2007
ACM
This paper presents an interactive bowling system using vison-based tracking for AR. With the bowling system, a user can enjoy the bowling game by rolling a real ball down a bowli...
105
Voted
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...