This paper presents insights about design practices that can lead to effective and fun games for learning, gleaned from interviews with experienced game developers. We based our a...
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
Effective information retrieval is important not only for its own sake but also for improving our understanding and allowing us to evolve our information into knowledge and wisdom...
Software adaptation aims at generating software pieces called adaptors to compensate interface and behavioural mismatch between components or services. This is crucial to foster re...
: The possibility of a direct link between business workflows and the supporting application system is often seen as the critical strength of the SOA paradigm. Though in practice, ...