805 search results - page 84 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
148
click to vote
CHI
2010
ACM
14 years 12 months ago
2010
ACM
Strong representative democracies rely on educated, informed, and active citizenry to provide oversight of the government. We present Connect 2 Congress (C2C), a novel, high tempo...
122
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
134
click to vote
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
107
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
We illustrate with two simple examples how Interactive Evolutionary Computation (IEC) can be applied to Exploratory Data Analysis (EDA). IEC is particularly valuable in an EDA cont...
148
click to vote
CHI
1997
ACM
15 years 7 months ago
1997
ACM
the changing roles of participants in a musical improvisation and synchronously generate appropriate contributions of its own. Musical improvisation is a collaborative activity ana...