5434 search results - page 361 / 1087 » Tool support for MOLA |
210
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
Mobile learning (m-learning) integrates the current mobile computing technology with educational aspects to enhance the effectiveness of the traditional learning process. This pape...
158
click to vote
ICALT
2007
IEEE
15 years 10 months ago
2007
IEEE
Technology Supported Learning Systems have proved to be useful in many learning situations. However, the development of such systems is still a hard task. Ontologies and Learning ...
169
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
166
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...
163
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
Pre-designed IP cores for FPGAs represent a huge intellectual and financial wealth that must be leveraged by any high-level tool targeting reconfigurable platforms. In this paper ...