Sciweavers

1677 search results - page 238 / 336
» An Interactive Fur Modeling Technique
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 5 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
IPPS
2008
IEEE
14 years 5 months ago
Immersive real-time large-scale network simulation: A research summary
Immersive real-time large-scale network simulation is a technique that supports simulation of large-scale networks to interact with real implementations of network protocols, netw...
Jason Liu
SEAA
2008
IEEE
14 years 5 months ago
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
There is a growing interest for techniques and tools facilitating the testing of mobile systems. The movement of nodes is one of the relevant factors of context change in ubiquito...
Antonia Bertolino, Guglielmo De Angelis, Francesca...
VR
2008
IEEE
103views Virtual Reality» more  VR 2008»
14 years 5 months ago
VFire: Virtual Fire in Realistic Environments
The destructive capacity of wildfires and the dangers and limitations associated with observing actual wildfires has led researchers to develop mathematical models in order to b...
Roger V. Hoang, Joseph D. Mahsman, David T. Brown,...
ISMAR
2007
IEEE
14 years 5 months ago
Semi-automatic Annotations in Unknown Environments
Unknown environments pose a particular challenge for augmented reality applications because the 3D models required for tracking, rendering and interaction are not available ahead ...
Gerhard Reitmayr, Ethan Eade, Tom Drummond