368 search results - page 14 / 74 » The Role of Verification in Interactive Systems Design |
ITCC
2003
IEEE
14 years 23 days ago
2003
IEEE
Computer and multimedia technology play an increasingly important role in education. However, current educational multimedia systems suffer from a major drawback that they don’t...
HAPTICS
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract. In this paper, a study on the role of force feedback for teleoperation of industrial overhead crane is presented. Teleoperation of industrial crane was described and anal...
JUCS
2006
13 years 7 months ago
2006
: Emerging interaction paradigms, such as service-oriented computing, and new technological challenges, such as exogenous component coordination, suggest new roles and application ...
IUI
1997
ACM
13 years 11 months ago
1997
ACM
Exploratory data analysis (EDA) plays an increasingly important role in statistical analysis. EDA is di cult, however, even with the help of modern statistical software. We have d...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...