Sciweavers

5128 search results - page 847 / 1026
» When Abstraction Fails
Sort
View
WAIFI
2010
Springer
158views Mathematics» more  WAIFI 2010»
15 years 4 months ago
On the Efficiency and Security of Pairing-Based Protocols in the Type 1 and Type 4 Settings
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
Sanjit Chatterjee, Darrel Hankerson, Alfred Meneze...
WIOPT
2010
IEEE
15 years 4 months ago
Delay efficient scheduling via redundant constraints in multihop networks
Abstract--We consider the problem of delay-efficient scheduling in general multihop networks. While the class of max-weight type algorithms are known to be throughput optimal for t...
Longbo Huang, Michael J. Neely
WISE
2010
Springer
15 years 4 months ago
From Keywords to Queries: Discovering the User's Intended Meaning
Abstract. Regarding web searches, users have become used to keywordbased search interfaces due to their ease of use. However, this implies a semantic gap between the user's in...
Carlos Bobed, Raquel Trillo, Eduardo Mena, Sergio ...
ACCV
2009
Springer
15 years 4 months ago
Color Correction and Compression for Multi-view Video Using H.264 Features
Abstract. Multi-view video is a new video application requiring efficient coding algorithm to compress the huge data, while the color variations among different viewpoints deterior...
Boxin Shi, Yangxi Li, Lin Liu, Chao Xu
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
15 years 4 months ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer