Sciweavers

3130 search results - page 362 / 626
» Design Correctness of Digital Systems
Sort
View
ICWL
2007
Springer
16 years 25 days ago
The ELEKTRA Ontology Model: A Learner-Centered Approach to Resource Description
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
Michael D. Kickmeier-Rust, Dietrich Albert
202
Voted
HASE
1997
IEEE
15 years 11 months ago
Automated Computation of Decomposable Synchronization Conditions
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
Gilberto Matos, James M. Purtilo, Elizabeth L. Whi...
167
Voted
DATE
2003
IEEE
135views Hardware» more  DATE 2003»
15 years 12 months ago
Creating Value Through Test
Test is often seen as a necessary evil; it is a fact of life that ICs have manufacturing defects and those need to be filtered out by testing before the ICs are shipped to the cu...
Erik Jan Marinissen, Bart Vermeulen, Robert Madge,...
WWW
2001
ACM
16 years 7 months ago
Document Visualization on Small Displays
Limitation in display size and resolution on mobile devices is one of the main obstacles for wide-spread use of web applications in a wireless environment. Web pages are often too ...
Ka Kit Hoi, Dik Lun Lee, Jianliang Xu
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
16 years 26 days ago
Information Security Economics - and Beyond
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
Ross Anderson, Tyler Moore