Sciweavers

5433 search results - page 824 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
JCDL
2006
ACM
104views Education» more  JCDL 2006»
16 years 21 days ago
Template-based authoring of educational artifacts
The Walden’s Paths project is developing tools for leveraging student learning with the incredible amount of educational material on the Web. Specialized templates based on esta...
Sarah Davis, Paul Logasa Bogen II, Lauren Cifuente...
JCDL
2006
ACM
133views Education» more  JCDL 2006»
16 years 21 days ago
Repository software evaluation using the audit checklist for certification of trusted digital repositories
The NDIIPP ECHO DEPository project [1] digital repository evaluation will use an augmented version of the draft Audit Checklist for Certification of Trusted Digital Repositories (...
Joanne Kaczmarek, Thomas G. Habing, Janet Eke
JCDL
2006
ACM
99views Education» more  JCDL 2006»
16 years 21 days ago
Using resources across educational digital libraries
This article reports on analyses of usage and design activities by users of the Instructional Architect (IA), an end-user authoring tool designed to support easy access to and use...
Mimi Recker, Bart Palmer
OZCHI
2006
ACM
16 years 20 days ago
Tangible tiles: design and evaluation of a tangible user interface in a collaborative tabletop setup
In this paper we describe a tangible user interface “Tangible Tiles”, which utilizes optically tracked transparent Plexiglass tiles for interaction and display of projected im...
Manuela Waldner, Jörg Hauber, Jürgen Zau...
PLDI
2006
ACM
16 years 20 days ago
Termination proofs for systems code
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...
Byron Cook, Andreas Podelski, Andrey Rybalchenko