Sciweavers

376 search results - page 28 / 76
» Virtual Execution Environments: Support and Tools
Sort
View
IJEB
2007
127views more  IJEB 2007»
14 years 11 months ago
Factors mediating the routinisation of e-learning within a traditional university education environment
Technology-enhanced or Computer Aided Learning (e-learning) can be institutionally integrated and supported by learning management systems or Virtual Learning Environments (VLEs) ...
Shafqat Hameed, John Mellor, Atta Badii, Niyati Pa...
IADIS
2004
15 years 1 months ago
Pedagogical Support at the E-Learning Courseware: An Intelligent Software Agent
The management of the relationship between student and learning environment during an e-learning process is a fundamental item both from the pedagogical and technical point of vie...
Anna Angelini, Enrica Gentile, Umberto Ostello, Pa...
COLCOM
2009
IEEE
15 years 4 months ago
Learning communities supported by autonomic recommendation mechanism
- Peer-to-peer (P2P) offers good solutions for many applications such as large data sharing and collaboration. Thus, it appears as a powerful paradigm to develop scalable distribut...
Stainam N. Brandao, Ricardo T. Silva, Jano M. Souz...
SPIN
2009
Springer
15 years 6 months ago
Tool Presentation: Teaching Concurrency and Model Checking
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
Mordechai Ben-Ari
CORR
2010
Springer
88views Education» more  CORR 2010»
14 years 12 months ago
Dynamic and Transparent Analysis of Commodity Production Systems
We propose a framework that provides a programming interface to perform complex dynamic system-level analyses of deployed production systems. By leveraging hardware support for vi...
Aristide Fattori, Roberto Paleari, Lorenzo Martign...