Sciweavers

2562 search results - page 209 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
POPL
2001
ACM
16 years 7 months ago
Mobile values, new names, and secure communication
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
Cédric Fournet, Martín Abadi
ISCAS
2011
IEEE
288views Hardware» more  ISCAS 2011»
14 years 10 months ago
Multi-layer parallel decoding algorithm and vlsi architecture for quasi-cyclic LDPC codes
—We propose a multi-layer parallel decoding algorithm and VLSI architecture for decoding of structured quasi-cyclic low-density parity-check codes. In the conventional layered de...
Yang Sun, Guohui Wang, Joseph R. Cavallaro
ICASSP
2011
IEEE
14 years 10 months ago
Further analysis of latent affective mapping for naturally expressive speech synthesis
An essential step in the generation of expressive speech synthesis is the automatic detection and classification of emotions most likely to be present in textual input. At last I...
Jerome R. Bellegarda
ICIP
2008
IEEE
16 years 8 months ago
A near optimal coder for image geometry with adaptive partitioning
In this paper, we present a new framework to compress the geometry of images. This framework generalizes the standard quad partitioning approaches in compression of image geometry ...
Arian Maleki, Morteza Shahram, Gunnar Carlsson
EUROMICRO
2007
IEEE
15 years 8 months ago
Analysis of BPEL Data Dependencies
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
Yongyan Zheng, Jiong Zhou, Paul Krause