663 search results - page 118 / 133 » Interactive Realizers and Monads |
CCS
2009
ACM
14 years 5 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
EDBT
2009
ACM
14 years 5 months ago
2009
ACM
Annotations play a key role in understanding and curating databases. Annotations may represent comments, descriptions, lineage information, among several others. Annotation manage...
CISS
2008
IEEE
14 years 5 months ago
2008
IEEE
Abstract—We develop neurally plausible local competitive algorithms (LCAs) for reconstructing compressively sensed images. Reconstruction requires solving a sparse approximation ...
RTAS
2008
IEEE
14 years 5 months ago
2008
IEEE
Dynamic Power Management (DPM) techniques are crucial in minimizing the overall energy consumption in real-time embedded systems. The timing constraints of real-time applications ...
AH
2008
Springer
14 years 5 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...