Sciweavers

550 search results - page 68 / 110
» Adaptive Hypermedia System Design: A Method From Practice
Sort
View
ICWL
2010
Springer
14 years 12 months ago
An Open Model for Learning Path Construction
Learning path construction is a complex task. It involves formulating and organizing learning activities, defining ways to evaluate student learning progress and to match such prog...
Fan Yang, Frederick W. B. Li, Rynson W. H. Lau
LICS
1999
IEEE
15 years 6 months ago
Type Inference for Recursive Definitions
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
A. J. Kfoury, Santiago M. Pericás-Geertsen
HICSS
2005
IEEE
156views Biometrics» more  HICSS 2005»
15 years 7 months ago
Strategies Supporting Heterogeneous Data and Interdisciplinary Collaboration: Towards an Ocean Informatics Environment
This paper considers the elements and challenges of heterogeneous data management and interdisciplinary collaboration, drawing from the literatures on participatory design, comput...
Karen S. Baker, Steven J. Jackson, Jerome R. Wanet...
INFSOF
2006
66views more  INFSOF 2006»
15 years 1 months ago
Scenario-based multitasking for real-time object-oriented models
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
Saehwa Kim, Jiyong Park, Seongsoo Hong
SAFECOMP
2007
Springer
15 years 8 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...