Sciweavers

2904 search results - page 301 / 581
» Valuing Design Repair
Sort
View
WMTE
2006
IEEE
16 years 17 days ago
A Framework for Interoperability with VLEs for Large Scale Deployment of Mobile Learning
The diversity of mobile devices and their limitations have raised many challenges for the actual deployment of mobile learning across institutions. The main objective of this work...
Fatma Elsayed Meawad, Geneen Stubbs
ASPDAC
2006
ACM
130views Hardware» more  ASPDAC 2006»
16 years 17 days ago
Convergence-provable statistical timing analysis with level-sensitive latches and feedback loops
Statistical timing analysis has been widely applied to predict the timing yield of VLSI circuits when process variations become significant. Existing statistical latch timing met...
Lizheng Zhang, Jeng-Liang Tsai, Weijen Chen, Yuhen...
HT
2006
ACM
16 years 16 days ago
The evolution of metadata from standards to semantics in E-learning applications
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
Hend S. Al-Khalifa, Hugh C. Davis
ML
2006
ACM
122views Machine Learning» more  ML 2006»
16 years 16 days ago
Type-safe modular hash-consing
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
Jean-Christophe Filliâtre, Sylvain Conchon
SACMAT
2006
ACM
16 years 16 days ago
Information flow property preserving transformation of UML interaction diagrams
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
Fredrik Seehusen, Ketil Stølen