1398 search results - page 30 / 280 » Ensuring Properties of Interaction Systems |
101
click to vote
CCS
2003
ACM
15 years 3 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
EICS
2009
ACM
15 years 4 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
UAIS
2002
14 years 9 months ago
2002
Integrating computer-based information into the real world of the user, is becoming a crucial challenge for the designers of interactive systems. The Augmented Reality (AR) paradig...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
ACMACE
2007
ACM
15 years 1 months ago
2007
ACM
WeproposeanonconventionalVJperformancesystemrhythmismwhichusesan original maraca based device that has 2 different functions, material maraca and effect maraca. Rhythmism uses the...