Sciweavers

21 search results - page 4 / 5
» A constructivist learning environment implemented in Java
Sort
View
ICALT
2006
IEEE
14 years 19 days ago
Agency Architecture for Teacher Intervention in Robotics Classes
Teachers working in robotics classes face a major problem: how to keep track on individual students’ or even small groups’ progress in a class of 30-40 students. An agency app...
Ilkka Jormanainen, Yuejun Zhang, Erkki Sutinen, Ki...
ML
2008
ACM
109views Machine Learning» more  ML 2008»
13 years 6 months ago
O'browser: objective caml on browsers
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...
Benjamin Canou, Vincent Balat, Emmanuel Chailloux
ICWL
2005
Springer
14 years 2 days ago
Building Learning Management Systems Using IMS Standards: Architecture of a Manifest Driven Approach
Among the existing web-based Learning Management Systems (LMSs), there is an exponentially increasing need of content interoperability. This has caused the apparition of different ...
José Luis Sierra, Pablo Moreno-Ger, Iv&aacu...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 23 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
ECMDAFA
2007
Springer
122views Hardware» more  ECMDAFA 2007»
14 years 23 days ago
Model Transformation from OWL-S to BPEL Via SiTra
Although there are a large number of academic and industrial model transformation frameworks available, allowing specification, implementation, maintenance and documentation of mod...
Behzad Bordbar, Gareth Howells, Michael Evans, Ath...