Sciweavers

5964 search results - page 933 / 1193
» A theory of speculative computation
Sort
View
IWCMC
2006
ACM
16 years 21 days ago
VANETCODE: network coding to enhance cooperative downloading in vehicular ad-hoc networks
Inter-vehicular communication is fast emerging as a popular application for mobile ad-hoc networks. Content distribution in Vehicular Ad-Hoc Networks (VANET) is particularly chall...
Shabbir Ahmed, Salil S. Kanhere
MM
2006
ACM
96views Multimedia» more  MM 2006»
16 years 21 days ago
Takashi's seasons
Takashi’s Seasons is a sequential live shadow puppet/video performance in which a number of interpretations of the four seasons are performed by an artist. Controlled with fishi...
Takashi Kawashima, Togo Kida, Yoshimasa Niwa
MMSEC
2006
ACM
132views Multimedia» more  MMSEC 2006»
16 years 21 days ago
On achievable security levels for lattice data hiding in the known message attack scenario
This paper presents a theoretical security analysis of lattice data hiding. The security depends on the secrecy of a dither signal that randomizes the codebook. If the same secret...
Luis Pérez-Freire, Fernando Pérez-Go...
MOBICOM
2006
ACM
16 years 21 days ago
Fast and reliable estimation schemes in RFID systems
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
Murali S. Kodialam, Thyaga Nandagopal
PLDI
2006
ACM
16 years 21 days ago
Specifying distributed trust management in LolliMon
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
Jeff Polakow, Christian Skalka