On the Design and Verification Methodology of the Look-Aside Interface.

Ali Habibi Asif Iqbal Ahmed Otmane Aït Mohamed Sofiène Tahar

Published in: DATE (2004)

Keyphrases

design methodology
data sets
user interface
design process
functional verification
database
direct manipulation
user interface design
conceptual model
high speed
multiscale
conceptual framework
web services
formal methods
human computer interface
multimedia
knowledge base
real time