The context of this work is usability engineering for multimodal interaction. In contrast to other work centrates on prototyping toolkits or abstract guidelines, this research foc...
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
Telemaco Melia, Amardeo Sarma, Rui L. Aguiar, Diet...
In this paper we present a new methodology for the Domain modeling based on Engineering Standards. We discuss some benefits of standards as guidelines for a Knowledge Based Domain ...
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...