Computer and multimedia technology play an increasingly important role in education. However, current educational multimedia systems suffer from a major drawback that they don’t...
Busy and no time to digest the news archive .... ? Ever since the Web wide-spreading, the amount of electronically available information online, especially news archive proliferat...
Based on experience in orchestrating co llaborative learning scenarios with ubiquitous computing technology, two strategies for extending a co -constructive modeling environment w...
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
This paper describes an approach to adaptive hypermedia by incorporating linkbases into an agent-based system (PAADS). The agents are built on top of an agent framework developed a...