Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
—This paper proposes a set of conceptual metaphors for the design of multi-cultural systems. The work is part of a long-term study to adapt the International Children's Digi...
Luciana Cardoso de Castro Salgado, Clarisse Siecke...
: This paper explores the design, implementation and evaluation of context-aware mobile multimedia services by presenting six case studies on different application domains. The cas...
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...