834 search results - page 91 / 167 » A Model-Based Approach for Engineering Multimodal Interactiv... |
CBSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
VR
1999
IEEE
14 years 1 months ago
1999
IEEE
The ever-increasing power of computers and hardware rendering systems has, to date, primarily motivated the creation of visually rich and perceptually realistic virtual environmen...
IESA
2009
13 years 6 months ago
2009
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
We present a new approach for creating dynamic illustrations to assist in the understanding of concepts in physics and mathematics using pen-based interaction. Our approach builds...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...