Sciweavers

2337 search results - page 43 / 468
» Is the Open Way a Better Way
Sort
View
TPHOL
2007
IEEE
14 years 1 months ago
Formalising Java's Data Race Free Guarantee
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]. ...
David Aspinall, Jaroslav Sevcík
ER
2007
Springer
117views Database» more  ER 2007»
14 years 1 months ago
Conceptual Modeling for Virtual Reality
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...
MHCI
2007
Springer
14 years 1 months ago
Dynamic visualisation of ski data: a context aware mobile piste map
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...
W2GIS
2007
Springer
14 years 1 months ago
A Theoretical Grounding for Semantic Descriptions of Place
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...
Alistair J. Edwardes, Ross S. Purves
HICSS
2005
IEEE
151views Biometrics» more  HICSS 2005»
14 years 1 months ago
Inheritance in the Presence of Asynchronous Method Calls
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
Einar Broch Johnsen, Olaf Owe