Sciweavers

1346 search results - page 170 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
MOBISYS
2005
ACM
16 years 6 months ago
Deploying and evaluating a location-aware system
Location-aware systems are typically deployed on a small scale and evaluated technically, in terms of absolute errors. In this paper, the authors present their experience of deplo...
Robert K. Harle, Andy Hopper
DIGRA
2005
Springer
15 years 12 months ago
A Realistic Reaction System for Modern Video Games
The substantial growth of the video game industry has fueled a search for new technologies and methodologies for providing rich and rewarding experiences for players of modern vid...
Michael Katchabaw, Stephen Danton, Leif Gruenwoldt
MEMOCODE
2006
IEEE
16 years 13 days ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
VRML
2004
ACM
15 years 12 months ago
Interactive Web-based visualisation of block model data
Mining operations have traditionally used specialised software packages to process and visualise valuable mining data. The downside to this approach is that the information can on...
Tony Gill, Con Caris, Guy LeBlanc Smith
COSIT
2001
Springer
122views GIS» more  COSIT 2001»
15 years 11 months ago
Spatial and Cognitive Simulation with Multi-agent Systems
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
Andrew U. Frank, Steffen Bittner, Martin Raubal