The mapping problem has been defined as the way to map models involved throughout the development life cycle of user interfaces. Model-based design of user interfaces has followed ...
Adapting graphical user interface (GUI) to meet higher level of usability for users is one of the most interesting questions of today’s mobile computation. Users should have GUI ...
This paper describes the teaching of OpenGL shaders with hands-on a program called glman. Hands-on education is at its best when the students’ experimental feedback loop is very...
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...