Sciweavers

235 search results - page 21 / 47
» A Comprehensive Interface Definition Framework for Software ...
Sort
View
ICCHP
2010
Springer
15 years 4 months ago
HAIL: Hierarchical Adaptive Interface Layout
We present a framework to adapt software to the needs of individuals with severe motion disabilities who use mouse substitution interfaces. Typically, users are required to adapt t...
John J. Magee, Margrit Betke
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 2 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
99
Voted
ISSTA
1989
ACM
15 years 4 months ago
The Logic of Propagation in the Inscape Environment
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...
D. Perry
120
Voted
CISSE
2008
Springer
15 years 2 months ago
IraqComm and FlexTrans: A Speech Translation System and Flexible Framework
SRI International's IraqComm system performs bidirectional speech-to-speech machine translation between English and Iraqi Arabic in the domains of force protection, municipal ...
Michael W. Frandsen, Susanne Riehemann, Kristin Pr...
CAD
2010
Springer
15 years 16 days ago
AR interfacing with prototype 3D applications based on user-centered interactivity
Augmented Reality (AR) has been acclaimed as one of the promising technologies for advancing future UbiComp (Ubiquitous Computing) environments. Despite a myriad of AR application...
Seungjun Kim, Anind K. Dey