A Formal Model for CARE Usability Properties Verification in Multimodal HCI.
Nadjet KamelYamine Aït AmeurPublished in: ICPS (2007)
Keyphrases
- formal model
- security properties
- human computer interaction
- predicate calculus
- long term
- formal models
- interface design
- website
- probabilistic knowledge
- multimodal interaction
- user experience
- multi modal
- early stage
- formal verification
- health care
- user interface design
- interaction design
- medical images
- face recognition
- information systems
- human computer interactions