Sciweavers

161 search results - page 4 / 33
» Towards a Quantitative, Platform-Independent Analysis of Kno...
Sort
View
SP
2008
IEEE
127views Security Privacy» more  SP 2008»
15 years 3 months ago
Civitas: Toward a Secure Voting System
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
Michael R. Clarkson, Stephen Chong, Andrew C. Myer...
ECTEL
2010
Springer
14 years 9 months ago
Towards an Ergonomics of Knowledge Systems: Improving the Design of Technology Enhanced Learning
As Technology Enhanced Learning (TEL) systems become more essential to education there is an increasing need for their creators to reduce risk and to design for success. We argue t...
David E. Millard, Yvonne Margaret Howard
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
14 years 7 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
HICSS
2003
IEEE
175views Biometrics» more  HICSS 2003»
15 years 2 months ago
Towards a Strategy for Sense-Making of Empirical Knowledge Management Perceptions - The TFL Methodology
There exists a very diverse range of views and perceptions about KM and a need to appreciate these issues and concerns among different communities of knowledge workers. Our resear...
David Yuh Foong Law, Joo Eng Lee-Partridge
77
Voted
UM
2007
Springer
15 years 3 months ago
Eliciting Motivation Knowledge from Log Files Towards Motivation Diagnosis for Adaptive Systems
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
Mihaela Cocea, Stephan Weibelzahl