4460 search results - page 81 / 892 » Formal methods for interactive systems |
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
In this extended abstract we summarize our consulting work, scientiļ¬c research, and activism in the topic of electronic (computer-based) voting. The Dutch and Irish governmentā...
UAIS
2002
14 years 9 months ago
2002
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
ESAW
2004
Springer
15 years 3 months ago
2004
Springer
Overhearing is an indirect interaction type that enacts agents to listen to direct interactions among other agents without taking explicit part in the exchanges. In this paper, we ...
IFIPTCS
2000
15 years 1 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
WORDS
2002
IEEE
15 years 2 months ago
2002
IEEE
Feature interactions (FIs, in short) occur when features of different communication services interfere with each other. The FI ļ¬ltering is a pre-processing before the FI detecti...