Sciweavers

15635 search results - page 214 / 3127
» Modelling and Design of VAML
Sort
View
DAC
2003
ACM
16 years 7 months ago
SAT-based unbounded symbolic model checking
Hyeong-Ju Kang, In-Cheol Park
PERCOM
2005
ACM
16 years 6 months ago
Modeling Context-Aware e-Learning Scenarios
In the last decade, e-learning has been introduced to a variety of blended learning scenarios, such as life-long learning, University lectures, and game-based learning. In all the...
Michael Derntl, Karin Anna Hummel
OZCHI
2009
ACM
15 years 11 months ago
When three worlds collide: a model of the tangible interaction process
The design of Tangible Interfaces has already evolved since the first projects were developed. Frameworks and taxonomies have helped to understand the field of Tangible Interactio...
Marc Hermann, Michael Weber
ISCAS
2005
IEEE
191views Hardware» more  ISCAS 2005»
16 years 8 hour ago
Behavioural modeling and simulation of a switched-current phase locked loop
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
Peter R. Wilson, Reuben Wilcock