Sciweavers

12115 search results - page 278 / 2423
» Bisimulation of Dynamical Systems
Sort
View
SSS
2009
Springer
138views Control Systems» more  SSS 2009»
16 years 1 months ago
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios
We describe an approach to the analysis of protocols for wireless sensor networks in scenarios with mobile nodes and dynamic link quality. The approach is based on the theorem prov...
Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer
SG
2007
Springer
16 years 22 days ago
Multi-modal Interface for Fluid Dynamics Simulations Using 3-D Localized Sound
Abstract. Multi-modal capabilities can be added to a simulation system in order to enhance data comprehension. We describe a system for adding sonification capabilities to a real-...
Robyn Taylor, Maryia Kazakevich, Pierre Boulanger,...
AUSAI
2004
Springer
16 years 1 days ago
A Logic Based Approach for Dynamic Access Control
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
Vino Fernando Crescini, Yan Zhang
FPL
2004
Springer
147views Hardware» more  FPL 2004»
16 years 18 hour ago
Partial and Dynamically Reconfiguration of Xilinx Virtex-II FPGAs
Current trends show that partial and dynamic reconfiguration can be used in adaptive systems. These systems are able to adapt themselves to the demand of their environment during r...
Brandon Blodget, Christophe Bobda, Michael Hü...
VISUALIZATION
1998
IEEE
15 years 11 months ago
Data level comparison of wind tunnel and computational fluid dynamics data
This paper describes the architecture of a data level comparative visualization system and experiences using it to study computational fluid dynamics data and experimental wind tu...
Qin Shen, Alex Pang, Samuel P. Uselton