25111 search results - page 4887 / 5023 » Information Systems |
105
click to vote
CHI
2005
ACM
16 years 8 days ago
2005
ACM
Are the object manipulation techniques traditionally used in head?mounted displays (HMDs) applicable to augmented reality based projection systems? This paper examines the differe...
110
click to vote
CHI
2005
ACM
16 years 8 days ago
2005
ACM
In this paper we report an ethnographic study of workarounds--informal temporary practices for handling exceptions to normal workflow--in a hospital environment. Workarounds are a...
100
click to vote
VLSID
2007
IEEE
16 years 7 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
178
click to vote
POPL
2008
ACM
16 years 5 days ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
186
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...