Sciweavers

630 search results - page 90 / 126
» Usability of E-learning tools
Sort
View
WWW
2007
ACM
14 years 9 months ago
Integrating value-based requirement engineering models to webml using vip business modeling framework
Requirement engineering (RE) is emerging as an increasingly important discipline for supporting Web application development, as these are designed to satisfy diverse stakeholder n...
Farooque Azam, Zhang Li, Rashid Ahmad
WWW
2004
ACM
14 years 9 months ago
E-learning personalization based on itineraries and long-term navigational behavior
In this paper we describe a practical framework for studying the navigational behavior of the users of an e-learning environment integrated in a virtual campus. The students navig...
Enric Mor, Julià Minguillón
CAV
2009
Springer
212views Hardware» more  CAV 2009»
14 years 9 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
CHI
2008
ACM
14 years 9 months ago
A co-located interface for narration to support reconciliation in a conflict: initial results from Jewish and Palestinian youth
So called intractable conflicts may benefit from more modest and socially oriented approaches than those based on classical conflict resolution techniques. This paper is inspired ...
Oliviero Stock, Massimo Zancanaro, Chaya Koren, Ce...
CHI
2008
ACM
14 years 9 months ago
Acceptance of augmented reality instructions in a real work setting
The differences between Augmented Reality (AR) systems and computer display based systems create a need for a different approach to the design and development of AR systems. To un...
Björn J. E. Johansson, Susanna Nilsson