Sciweavers

4255 search results - page 195 / 851
» Database: Models, Languages, Design
Sort
View
198
Voted
ICALT
2009
IEEE
16 years 1 months ago
Adaptation Languages for Learning: The CAM Meta-model
Adaptive Hypermedia (AH) can offer a richer learning experience, tailored to students’ needs. However, authoring of AH is complex. Several models and systems have been developed...
Maurice Hendrix, Alexandra I. Cristea, Craig Stewa...
ICSE
2001
IEEE-ACM
15 years 11 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
WCRE
2008
IEEE
16 years 1 months ago
Navigating Through the Design of Object-Oriented Programs
Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract buildin...
Epameinondas Gasparis, Jonathan Nicholson, Amnon H...
177
Voted
ICDE
2008
IEEE
168views Database» more  ICDE 2008»
16 years 1 months ago
Index Design for Dynamic Personalized PageRank
Personalized PageRank, related to random walks with restarts and conductance in resistive networks, is a frequent search paradigm for graph-structured databases. While efficient ba...
Amit Pathak, Soumen Chakrabarti, Manish S. Gupta
175
Voted
ICALT
2006
IEEE
16 years 1 months ago
CPM: A UML Profile to Design Cooperative PBL Situations at Didactical Level
In this paper, we present our research results about a UML-based modeling language dedicated to Problem-Based Learning design. The CPM (Cooperative Problem-Based learning Metamode...
Thierry Nodenot, Pierre Laforcade