Sciweavers

1274 search results - page 128 / 255
» Educating reflective systems developers
Sort
View
CORR
2000
Springer
112views Education» more  CORR 2000»
15 years 3 months ago
Evolution of differentiated expression patterns in digital organisms
Abstract. We investigate the evolutionary processes behind the development and optimization of multiple threads of execution in digital organisms using the avida platform, a softwa...
Charles Ofria, Christoph Adami, Travis C. Collier,...
CORR
2002
Springer
93views Education» more  CORR 2002»
15 years 3 months ago
Logic program specialisation through partial deduction: Control issues
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
Michael Leuschel, Maurice Bruynooghe
CORR
2010
Springer
191views Education» more  CORR 2010»
15 years 3 months ago
Dual Watermarking Scheme with Encryption
-- Digital Watermarking is used for copyright protection and authentication. In the proposed system, a Dual Watermarking Scheme based on DWT-SVD with chaos encryption algorithm, wi...
R. Dhanalakshmi, K. Thaiyalnayaki
CE
2008
86views more  CE 2008»
15 years 2 months ago
Free/libre open source software implementation in schools: Evidence from the field and implications for the future
This empirical paper shows how free/libre open source software (FLOSS) contributes to mutual and collaborative learning in an educational environment. Unlike proprietary software,...
Yu-Wei Lin, Enrico Zini
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 2 months ago
Semi-continuous Sized Types and Termination
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
Andreas Abel