We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
This paper explores the opportunities and challenges for Conceptual Modeling in the domain of Virtual Reality (VR). VR applications are becoming more feasible due to better and fa...
Olga De Troyer, Frederic Kleinermann, Bram Pellens...
Tourism has been a key driver for mobile applications. This short paper presents the design and initial evaluation of a mobile phone based visualisation to support skiers. Paper p...
Mark D. Dunlop, Brian Elsey, Michelle Montgomery M...
This paper is motivated by the problem of how to provide better access to ever enlarging collections of digital images. The paper opens by examining the concept of place in geograp...
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...