3082 search results - page 478 / 617 » Deviation Analysis: A New Use of Model Checking |
160
click to vote
ER
1998
Springer
15 years 10 months ago
1998
Springer
This paper proposes a new type of database for collaborative work. Known types of databases for collaborative work are databases of shared data and those of process data. A new typ...
170
click to vote
HICSS
1994
IEEE
15 years 10 months ago
1994
IEEE
The development of accurate trace-driven simulation models has become a key activity in the design of new high-performance computer systems. Tracedriven simulation is fast) enabli...
163
click to vote
ISER
1995
Springer
15 years 9 months ago
1995
Springer
We review the current state of research in autonomous mobile robots and conclude that there is an inadequate basis for predicting the reliability and behavior of robots operating ...
195
click to vote
VC
2008
15 years 6 months ago
2008
We synthesize new human body motions from existing motion data. We divide the body of an animated character into several parts, such as to upper and lower body, and partition the m...
153
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Cell phone interfaces are now ubiquitous. In this paper, we describe concepts to support the analysis of cell phone menu hierarchies. We present an empirical study of user perform...