Sciweavers

15635 search results - page 361 / 3127
» A Designing Model of XML-Dataweb
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
210
Voted
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
CBSE
2008
Springer
15 years 8 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...