Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
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...
Deborah Hix, J. Edward Swan II, Joseph L. Gabbard,...
This paper presents an approach for comparing two architectures for ontology-based semantic annotation for service interoperability, the EMPOWER architecture using platform specif...
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...
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 ...