Sciweavers

4255 search results - page 195 / 851
» Database: Models, Languages, Design
Sort
View
ICALT
2009
IEEE
16 years 2 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...
191
Voted
ICSE
2001
IEEE-ACM
15 years 12 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...
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
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