771 search results - page 47 / 155 » Modelling and Analysing Socio-Technical Systems |
104
Voted
USS
2008
15 years 2 months ago
2008
The State of Ohio commissioned the EVEREST study in late summer of 2007. The study participants were charged with an analysis of the usability, stability, and security of all voti...
94
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
95
Voted
UM
2001
Springer
15 years 5 months ago
2001
Springer
This paper explores how user modelling can work as an aid for human assistants in a user support system for web sites. Information about the user can facilitate for the assistant t...
100
Voted
AAAI
2004
15 years 2 months ago
2004
Learning how to create, test, and revise models is a central skill in scientific reasoning. We argue that qualitative modeling provides an appropriate level of representation for ...
96
Voted
FPCA
1995
15 years 4 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...