In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Homeless women need special care and attention especially during pregnancy or while trying to overcome substance abuse. We present a solution to help counselors working with these...
Investigations of Short Messaging System (SMS) or texting have been directed at private use and mostly the adolescent population. The present paper investigates SMS in a represent...
Gunnvald B. Svendsen, Bente Evjemo, Jan-Are K. Joh...