Sciweavers

4085 search results - page 738 / 817
» Data Services - From Data to Containers
Sort
View
CSFW
2009
IEEE
14 years 29 days ago
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
Karthikeyan Bhargavan, Ricardo Corin, Pierre-Malo ...
IEEESCC
2010
IEEE
14 years 28 days ago
Using Complex Event Processing for Dynamic Business Process Adaptation
—As the amount of data generated by today’s pervasive environments increases exponentially, there is a stronger need to decipher the important information that is hidden among ...
Gabriel Hermosillo, Lionel Seinturier, Laurence Du...
ICASSP
2009
IEEE
14 years 26 days ago
GTD-based transceivers for decision feedback and bit loading
We consider new optimization problems for transceivers with DFE receivers and linear precoders, which also use bit loading at the transmitter. First, we consider the MIMO QoS (qual...
Ching-Chih Weng, Chun-Yang Chen, P. P. Vaidyanatha...
AINA
2004
IEEE
14 years 23 days ago
Balancing Workload based on Content Types for Scalable Web Server Clusters
With the rapid growth of information stored in worldwide web servers, searching and capturing data on Internet become a common behavior for us. In order to increase the availabili...
Tzung-Shi Chen, Kuo-Lian Chen
BROADNETS
2004
IEEE
14 years 23 days ago
Determining Intra-Flow Contention along Multihop Paths in Wireless Networks
Admission control of flows is essential for providing quality of service in multihop wireless networks. In order to make an admission decision for a new flow, the expected bandwid...
Kimaya Sanzgiri, Ian D. Chakeres, Elizabeth M. Bel...