Sciweavers

2027 search results - page 287 / 406
» Process Support for Tools Interoperability
Sort
View
105
Voted
CORR
2010
Springer
160views Education» more  CORR 2010»
15 years 2 months ago
Developing courses with HoloRena, a framework for scenario- and game based e-learning environments
However utilizing rich, interactive solutions can make learning more effective and attractive, scenarioand game-based educational resources on the web are not widely used. Creatin...
Laszlo Juracz
138
Voted
ENTCS
2008
135views more  ENTCS 2008»
15 years 2 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
SIGCSE
2008
ACM
162views Education» more  SIGCSE 2008»
15 years 2 months ago
Automatic extraction of notions from course material
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
Michela Pedroni, Manuel Oriol, Bertrand Meyer, Luk...
IFIP
2010
Springer
15 years 1 months ago
ePAL Vision 2020 for Active Ageing of Senior Professionals
In order to enhance the active life of senior professionals, one fundamental challenge is to identify ways to assist promoting the role of elder people within the continuously agei...
Hamideh Afsarmanesh, Simon Samwel Msanjila
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 12 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur