Sciweavers

714 search results - page 32 / 143
» Models and Tools for Collaborative Annotation
Sort
View
73
Voted
ICSE
2001
IEEE-ACM
15 years 1 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....
CSCW
2010
ACM
15 years 6 months ago
Pictionaire: supporting collaborative design work by integrating physical and digital artifacts
This paper introduces an interactive tabletop system that enhances creative collaboration across physical and digital artifacts. Pictionaire offers capture, retrieval, annotation,...
Björn Hartmann, Meredith Ringel Morris, Hrvoj...
IMCSIT
2010
14 years 4 months ago
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
Matthias Hagner, Ursula Goltz
77
Voted
LAWEB
2003
IEEE
15 years 2 months ago
Collaborative Learning and Creative Writing
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
Luis A. Guerrero, Boris Mejías, Césa...
IADIS
2004
14 years 11 months ago
Structuration and metadata for electronic library
The complexity of preserving the web is becoming one of the most important information and communication media. While the quantity of digital resources available through the web i...
Omar Larouk, Salah Dalhoumi