Sciweavers

1133 search results - page 138 / 227
» Best Practices in e-Assessment
Sort
View
DFG
2004
Springer
15 years 12 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
ERCIMDL
2004
Springer
194views Education» more  ERCIMDL 2004»
15 years 12 months ago
Fiction Electronic Books: A Usability Study
This paper focuses on fiction electronic books and their usability. Two complementary studies were drawn together in order to investigate whether fiction e-books can successfully b...
Chrysanthi Malama, Monica Landoni, Ruth Wilson
GECCO
2004
Springer
129views Optimization» more  GECCO 2004»
15 years 12 months ago
Memetic Optimization of Video Chain Designs
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
Walid Ali, Alexander P. Topchy
ICWL
2004
Springer
15 years 11 months ago
The Agile Teaching/Learning Methodology and Its e-Learning Platform
Abstract. The Agile Teaching/Learning Methodology (ATLM) is a teaching/learning methodology designed for higher-education based on the best practices and ideas from the field of so...
Andy Hon Wai Chun
CISIS
2010
IEEE
15 years 11 months ago
Study of Variations of Native Program Execution Times on Multi-Core Architectures
Abstract—Program performance optimisations, feedbackdirected iterative compilation and auto-tuning systems [1] all assume a fixed estimation of execution time given a fixed inp...
Abdelhafid Mazouz, Sid Ahmed Ali Touati, Denis Bar...