292 search results - page 23 / 59 » On the Expression of Interaction Properties within an Intera... |
CHI
1993
ACM
14 years 17 days ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
CIE
2004
Springer
13 years 8 months ago
2004
Springer
Recent advances in computer graphics, particularly in real-time rendering, have caused major improvements in 3D graphics and rendering techniques used in interactive entertainment...
JCS
2008
13 years 8 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
APN
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...