3828 search results - page 22 / 766 » Proof-Based System Engineering Using a Virtual System Model |
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
VR
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper presents a first prototype of an interactive 3D reconstruction system for modeling urban scenes. An Augmented Reality scout is a person who is equipped with an ultra-m...
EUROSYS
2008
ACM
14 years 4 months ago
2008
ACM
Parallax is a distributed storage system that uses virtualization to provide storage facilities specifically for virtual environments. The system employs a novel architecture in ...
SIGGRAPH
1996
ACM
13 years 12 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...
CG
2005
Springer
13 years 7 months ago
2005
Springer
The development of virtual reality (VR) art installations is faced with considerable difficulties, especially when one wishes to explore complex notions related to user interactio...