Sciweavers

1680 search results - page 177 / 336
» Visual Design of E-learning Systems
Sort
View
TACAS
1998
Springer
105views Algorithms» more  TACAS 1998»
14 years 2 months ago
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
Jørn Lind-Nielsen, Henrik Reif Andersen, Ge...
DBVIS
1995
162views Database» more  DBVIS 1995»
14 years 2 months ago
LadMan: A Large Data Management System
More and more of our customers have to deal with very large datasets like elevation data and digital roadmaps covering Europe or even the entire world, very large images e.g. from...
Walter Schmeing
VL
2007
IEEE
134views Visual Languages» more  VL 2007»
14 years 4 months ago
A Comprehensive Evaluation of Workspace Awareness in Software Configuration Management Systems
Workspace awareness has emerged as a new coordination paradigm in software configuration management systems, enabling the early detection of potential conflicts by providing devel...
Anita Sarma, André van der Hoek, David F. R...
HAPTICS
2005
IEEE
14 years 4 months ago
Haptic-Assisted Guidance System for Navigating Volumetric Data Sets
In this paper, a new approach for navigation assistance through sets of volumetric data is presented. This innovative method uses force feedback in two dimensions to guide the use...
Erick Méndez, Shunsuke Yoshida, Haruo Noma,...
OZCHI
2005
ACM
14 years 4 months ago
Dawn explorer: a framework for multimodal accessibility to computer systems
Technology is advancing at a rapid pace, automating many everyday chores in the process, changing the way we perform work and providing various forms of entertainment. Makers of t...
Frank Loewenich, Frédéric Maire