2027 search results - page 287 / 406 » Process Support for Tools Interoperability |
105
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
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...
138
Voted
ENTCS
2008
15 years 2 months ago
2008
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...
123
click to vote
SIGCSE
2008
ACM
15 years 2 months ago
2008
ACM
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...
126
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
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...
125
click to vote
IJAOSE
2010
14 years 12 months ago
2010
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...