Ease of use is definitively one of the key aspects characterizing the quality of web applications and includes accessibility and usability. In this paper we describe how these fact...
Abstract. This paper presents a framework for corpus based multimodal research. Part of this framework is applied in the context of meeting modelling. A generic model for differen...
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...
This paper looks into the legal and administrative frameworks governing the different aspects of using IT as a medium and a tool in production of health care services. The adminis...