Search Sciweavers | Sciweavers

4424 search results - page 8 / 885

» Semantic virtual environments

click to vote

VEE
2006
ACM

102views Virtualization» more VEE 2006»

A stackless runtime environment for a Pi-calculus

14 years 3 months ago

Download www.usenix.org

The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...

Frédéric Peschanski, Samuel Hym

claim paper

Read More »

click to vote

IJVR
2006

178views more IJVR 2006»

Scene Synchronization in Close Coupled World Representations Using SCIVE

13 years 9 months ago

Download trinity.inf.uni-bayreuth.de

This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...

Marc Erich Latoschik, Christian Fröhlich, Ale...

claim paper

Read More »

click to vote

ISSTA
2010
ACM

262views Software Engineering» more ISSTA 2010»

Testing system virtual machines

14 years 1 months ago

Download security.dico.unimi.it

Virtual machines oﬀer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...

Lorenzo Martignoni, Roberto Paleari, Giampaolo Fre...

claim paper

Read More »

click to vote

VRCAI
2006
ACM

340views Virtual Reality» more VRCAI 2006»

A parametric model for oriented, navigable surfaces in virtual environments

14 years 3 months ago

Download www.cs.uiowa.edu

Hongling Wang, Joseph K. Kearney

claim paper

Read More »