Sciweavers

1646 search results - page 28 / 330
» Inlining of Virtual Methods
Sort
View
CJ
2002
70views more  CJ 2002»
13 years 8 months ago
Formal Methods for Assuring Security of Protocols
l examination of the underlying assumptions, abstractions, and possible actions. Consequently, assuring that a system behaves securely is virtually impossible without the use of ri...
Susan Older, Shiu-Kai Chin
IPPS
2006
IEEE
14 years 2 months ago
On the probability distribution of busy virtual channels
A major issue in modelling the performance merits of interconnection network is dealing with virtual channels. Some analytical models chose not to deal with this issue at all i.e....
Nasser Alzeidi, Ahmad Khonsari, Mohamed Ould-Khaou...
MSE
2002
IEEE
90views Hardware» more  MSE 2002»
14 years 1 months ago
Toward a Model-Based Approach to the Specification of Virtual Reality Environments
An approach to the specification of a Virtual Reality (VR) interactive environment is presented, which merges and generalizes two methods recently proposed in the literature: the ...
Daniela Fogli, Piero Mussio, Augusto Celentano, Fa...
IJVR
2008
158views more  IJVR 2008»
13 years 8 months ago
How and Why Affordable Virtual Reality Shapes the Future of Education
This paper presents an analysis of how and why a new generation of virtual reality peripherals affect virtual reality in general, and its uses for education in particular. We descr...
Barnabas Takacs
VLC
2002
118views more  VLC 2002»
13 years 8 months ago
Modeling Behaviors of Interactive Objects for Real-Time Virtual Environments
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
Marcelo Kallmann, Daniel Thalmann