Sciweavers

1075 search results - page 122 / 215
» User's issues in crossmedia applications
Sort
View
SERP
2007
13 years 10 months ago
Using Constraints with Action Language for Model Evolution
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
Shahid Alam, Samuel A. Ajila
ICAD
2004
13 years 10 months ago
Mobile Spatial Audio Communication System
As a first step in studying the application of the global positioning system (GPS) in a spatial audio communication system, an experimental platform was developed using commercial...
Alan Kan, Graeme Pope, André van Schaik, Cr...
MCI
2001
13 years 10 months ago
In a Strange Land: modelling and understanding cyberspace
: This paper begins with a long-term view of the development of cyberspace. This includes a brief examination of the worldview of a 16th-century mapmaker and over 4000 years of dev...
Alan J. Dix
SDL
2001
125views Hardware» more  SDL 2001»
13 years 10 months ago
Verification of Quantitative Temporal Properties of SDL Specifications
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
Iulian Ober, Alain Kerbrat
INTERACT
2003
13 years 10 months ago
Visually-tracked Flashlights as Interaction Devices
: We describe a technique for visually tracking flashlights so that they can be used as fun, cheap, intuitive and safe interaction devices with a wide range of surfaces. Our implem...
Ahmed Ghali, Steve Benford, Sahar Bayoumi, Jonatha...