Sciweavers

4356 search results - page 365 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 1 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...
INTETAIN
2009
Springer
16 years 1 months ago
Experiences with Interactive Multi-touch Tables
Abstract. Interactive multi-touch tables can be a powerful means of communication for collaborative work as well as an engaging environment for competition. Through enticing gamepl...
Wim Fikkert, Michiel Hakvoort, Paul E. van der Vet...
GLOBECOM
2006
IEEE
16 years 27 days ago
MIMO-OFDM Beamforming for Improved Channel Estimation
tic PHY Abstraction Technique for Link Adaptation and MIMO Switching . . . .Y.-S. Choi and S. M. Alamouti 960 A Novel Approach to MIMO Transmission Using a Single RF Front End . .A...
Cong Shen, Michael P. Fitz
ICRA
2006
IEEE
77views Robotics» more  ICRA 2006»
16 years 26 days ago
Opening the Dialog: Robotics and the Internet
Abstract— Inter-component communication has received considerable attention by robotic software architects as various frameworks and toolkits have matured. While the resulting pl...
Anthony Cowley, Hwa-Chow Oliver Hsu, Camillo J. Ta...
ICMCS
2005
IEEE
119views Multimedia» more  ICMCS 2005»
16 years 13 days ago
An Experimental Study on Energy Consumption of Video Encryption for Mobile Handheld Devices
Abstract Secure video communication on mobile handheld devices is challenging mainly due to (a) the significant computational needs of both video coding and encryption algorithms ...
Kyoungwoo Lee, Nikil Dutt, Nalini Venkatasubramani...