Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
Sayantan Das, Prasenjit Basu, Pallab Dasgupta, P. ...
While current eye-based interfaces offer enormous potential for efficient human-computer interaction, they also manifest the difficulty of inferring intent from user eye movements...
It is becoming more important to design systems capable of performing high-level management and control tasks in interactive dynamic environments. At the same time, it is difficul...
Result of my literature review shows the important characteristics of three distinct modalities and the factors influencing interaction in a ubiquitous computing context. Research ...
Effective communication is critical to the success of a software development project. It factors into the productivity of individuals and organizations, and has particular impact ...
Michael E. Atwood, Bart Burns, Dieter Gairing, And...