Sciweavers

4187 search results - page 498 / 838
» A Taxonomy of Model Transformation
Sort
View
RTCSA
1997
IEEE
15 years 11 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
CRYPTO
1993
Springer
131views Cryptology» more  CRYPTO 1993»
15 years 11 months ago
Hash Functions Based on Block Ciphers: A Synthetic Approach
Constructions for hash functions based on a block cipher are studied where the size of the hashcode is equal to the block length of the block cipher and where the key size is appro...
Bart Preneel, René Govaerts, Joos Vandewall...
CEC
2007
IEEE
15 years 11 months ago
Theoretical derivation, analysis and empirical evaluation of a simpler Particle Swarm Optimiser
In this paper we derive a simpler form of Particle Swarm Optimiser (PSO) which still retains the key properties of the original model. We do so by progressively altering the origin...
Riccardo Poli, Dan Brattonx, Tim Blackwell, James ...
DBPL
2007
Springer
101views Database» more  DBPL 2007»
15 years 10 months ago
Efficient Inclusion for a Class of XML Types with Interleaving and Counting
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...
Giorgio Ghelli, Dario Colazzo, Carlo Sartiani
171
Voted
ICMCS
2007
IEEE
203views Multimedia» more  ICMCS 2007»
15 years 10 months ago
Advanced Lagrange Multiplier Selection for Hybrid Video Coding
The Lagrangian multiplier based rate-distortion optimization has been proved to be an effective way in hybrid video coding. In this paper, an advanced Lagrange multiplier selectio...
Xiang Li, Norbert Oertel, Andreas Hutter, Andr&eac...