3828 search results - page 4 / 766 » Proof-Based System Engineering Using a Virtual System Model |
ATAL
2009
Springer
13 years 8 months ago
2009
Springer
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence networks...
AUIC
2002
IEEE
14 years 19 days ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
ACMACE
2005
ACM
14 years 1 months ago
2005
ACM
We describe the development of the CaveUT system, which is a software supporting immersive virtual reality installations based on the Unreal Tournament game engine. CaveUT impleme...
MOBICOM
2005
ACM
14 years 1 months ago
2005
ACM
People often seek information by asking other people even when they have access to vast reservoirs of information such as the Internet and libraries. This is because people are gr...
IGPL
2010
13 years 6 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...