Sciweavers

14720 search results - page 49 / 2944
» Interface
Sort
View
SEFM
2005
IEEE
15 years 5 months ago
Counting Interface Automata and their Application in Static Analysis of Actor Models
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
Ernesto Wandeler, Jörn W. Janneck, Edward A. ...
MUM
2005
ACM
92views Multimedia» more  MUM 2005»
15 years 5 months ago
User experiences with mobile phone camera game interfaces
This paper presents the findings of a comparative study investigating different input interfaces for a mobile phone games application. A standard mobile phone joystick interface i...
Sam Bucolo, Mark Billinghurst, David Sickinger
COMGEO
2010
ACM
15 years 4 months ago
Towards designing better map interfaces for the mobile: experiences from example
Creating user friendly map interfaces for the mobile platform presents several challenges that are uniquely different from those of their desktop counterparts. High resolution, p...
Vidya Setlur, Cynthia Kuo, Peter Mikelsons
CHI
2000
ACM
15 years 4 months ago
Providing integrated toolkit-level support for ambiguity in recognition-based interfaces
Interfaces based on recognition technologies are used extensively in both the commercial and research worlds. But recognizers are still error-prone, and this results in human perf...
Jennifer Mankoff, Scott E. Hudson, Gregory D. Abow...
FASE
2009
Springer
15 years 3 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu