1098 search results - page 204 / 220 » Usage-Centered Engineering for Web Applications |
WEBNET
2001
13 years 8 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
SCM
2003
13 years 8 months ago
2003
Individual organisations as well as industry consortia are currently defining application and domain-specific languages using the eXtended Markup Language (XML) standard of the W...
JUCS
2006
13 years 6 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
JIB
2007
13 years 6 months ago
2007
Control of cell proliferation, differentiation, activation and cell removal is crucial for the development and existence of multi-cellular organisms. Apoptosis, or programmed cell...
JSS
1998
13 years 6 months ago
1998
Methodology, theory, and practice in the ®eld of Human±Computer Interaction (HCI) all share the goal of producing interactive software that can be used eciently, eectively, ...