Sciweavers

5409 search results - page 668 / 1082
» A performance study of client-broker-server systems
Sort
View
SP
2008
IEEE
195views Security Privacy» more  SP 2008»
16 years 2 months ago
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
Bruno Blanchet, Avik Chaudhuri
180
Voted
FCCM
2007
IEEE
169views VLSI» more  FCCM 2007»
16 years 2 months ago
FPGA-Based Multigrid Computation for Molecular Dynamics Simulations
Abstract: FPGA-based acceleration of molecular dynamics (MD) has been the subject of several recent studies. Implementing long-range forces, however, has only recently been address...
Yongfeng Gu, Martin C. Herbordt
GLOBECOM
2007
IEEE
16 years 2 months ago
Multiple Antenna Time Reversal Transmission in Ultra-Wideband Communications
— In this paper we study the multiple antenna time reversal downlink transmission in an ultra-wideband (UWB) communication system which consists of access points and users. The a...
Yuanwei Jin, Yi Jiang, José M. F. Moura
GLOBECOM
2007
IEEE
16 years 2 months ago
Optimal Sink Deployment for Distributed Sensing of Spatially Nonstationary Phenomena
— The optimal deployment of sinks in a sensor region for power efficient data gathering of a physical phenomenon is investigated in this work. In the system of consideration, no...
Lorenzo A. Rossi, Bhaskar Krishnamachari, C. C. Ja...
197
Voted
ICMCS
2007
IEEE
132views Multimedia» more  ICMCS 2007»
16 years 2 months ago
A New Multimedia Message Customizing Framework for mobile Devices
In this paper, we present a novel framework to customize multimedia messages for mobile users. The goal is to generate a video message from a series of pictures. The framework inc...
Cunxun Zang, Qingshan Liu, Hanqing Lu, Kongqiao Wa...