3828 search results - page 57 / 766 » Proof-Based System Engineering Using a Virtual System Model |
109
Voted
WSC
2007
15 years 4 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
134
click to vote
VRST
2004
ACM
15 years 7 months ago
2004
ACM
Global illumination dramatically improves realistic appearance of rendered scenes, but usually it is neglected in VR systems due to its high costs. In this work we present an effi...
150
click to vote
CW
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
119
click to vote
ISW
2007
Springer
15 years 8 months ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
112
click to vote
RE
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...