Sciweavers

3792 search results - page 464 / 759
» Techniques for Trusted Software Engineering
Sort
View
UIST
2009
ACM
16 years 1 months ago
ARC-Pad: absolute+relative cursor positioning for large displays with a mobile touchscreen
We introduce ARC-Pad (Absolute+Relative Cursor pad), a novel technique for interacting with large displays using a mobile phone’s touchscreen. In ARC-Pad we combine absolute and...
David C. McCallum, Pourang Irani
UIST
2009
ACM
16 years 1 months ago
Abracadabra: wireless, high-precision, and unpowered finger input for very small mobile devices
We present Abracadabra, a magnetically driven input technique that offers users wireless, unpowered, high fidelity finger input for mobile devices with very small screens. By exte...
Chris Harrison, Scott E. Hudson
UIST
2009
ACM
16 years 1 months ago
PhotoelasticTouch: transparent rubbery tangible interface using an LCD and photoelasticity
PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilize...
Toshiki Sato, Haruko Mamiya, Hideki Koike, Kentaro...
ICSEA
2007
IEEE
16 years 1 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
186
Voted
SCAM
2007
IEEE
16 years 1 months ago
Reengineering Standard Java Runtime Systems through Dynamic Bytecode Instrumentation
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...
Walter Binder, Jarle Hulaas, Philippe Moret