Sciweavers

1234 search results - page 215 / 247
» Organizational Abstractions for Adaptive Systems
Sort
View
VTC
2007
IEEE
104views Communications» more  VTC 2007»
14 years 3 months ago
Soft-Bit Assisted Iterative AMR-WB Source-Decoding and Turbo-Detection of Channel-Coded Differential Space-Time Spreading Using
Abstract – Jointly optimised iterative source- and channel-decoding is used for enhancing the error resilience of the Adaptive Multi Rate WideBand (AMR-WB) speech codec. The resu...
Noor S. Othman, Mohammed El-Hajjar, Osamah Alamri,...
ASIACRYPT
2007
Springer
14 years 3 months ago
Miniature CCA2 PK Encryption: Tight Security Without Redundancy
ersion of an extended abstract to be published in Advances in Cryptology—ASIACRYPT 2007, Springer-Verlag, 2007. Available online from: http://www.cs.stanford.edu/∼xb/asiacrypt0...
Xavier Boyen
CONCUR
2007
Springer
14 years 3 months ago
Fair Cooperative Multithreading
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
Gérard Boudol
ECSQARU
2007
Springer
14 years 3 months ago
Syntactic Propositional Belief Bases Fusion with Removed Sets
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
Julien Hué, Odile Papini, Eric Würbel
FROCOS
2007
Springer
14 years 3 months ago
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
Abstract. Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost ter...
Beatriz Alarcón, Salvador Lucas