550 search results - page 58 / 110 » Adaptive Hypermedia System Design: A Method From Practice |
105
click to vote
CHI
2009
ACM
14 years 11 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
113
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
108
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
- With increasing availability of predefined IP (Intellectual Properties) blocks and inexpensive microprocessors, embedded system designers are faced with more design choices than ...
138
click to vote
AH
2008
Springer
15 years 8 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...
107
click to vote
IJISEC
2007
15 years 1 months ago
2007
The paper extends the idea of negative representations of information for enhancing privacy. Simply put, a set DB of data elements can be represented in terms of its complement set...