Sciweavers

1002 search results - page 24 / 201
» Implementing Standard Reference Models for e-learning System...
Sort
View
FM
2001
Springer
99views Formal Methods» more  FM 2001»
14 years 1 months ago
Transacted Memory for Smart Cards
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
Pieter H. Hartel, Michael J. Butler, Eduard de Jon...
SEMCO
2007
IEEE
14 years 3 months ago
Eventory -- An Event Based Media Repository
This paper focuses on the development of an event driven media sharing repository to facilitate community awareness. In this paper, an event refers to a real-world occurrence that...
Xiang-jun Wang, Swathi Mamadgi, Atit Thekdi, Aisli...
RTAS
2008
IEEE
14 years 3 months ago
Optimizing the Implementation of Communication in Synchronous Reactive Models
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiov...
ICADL
2004
Springer
161views Education» more  ICADL 2004»
14 years 2 months ago
An Implementation of Web Image Search Engines
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
Zhiguo Gong, Leong Hou U, Chan Wa Cheang
PCI
2001
Springer
14 years 1 months ago
A Knowledge Based Approach on Educational Metadata Use
One of the most rapidly evolving e-services is e-Learning, that is, the creation of advanced educational resources that are accessible on-line and, potentially, offer numerous adva...
Fotis Kokkoras, Demetrios G. Sampson, Ioannis P. V...