5525 search results - page 809 / 1105 » Verification of Model Transformations |
162
click to vote
WADS
2007
Springer
16 years 25 days ago
2007
Springer
The dynamic TCP acknowledgement problem formulated by Dooly et al. has been intensively studied in the area of competitive analysis. However, their framework does not consider the ...
174
click to vote
ICDE
2006
IEEE
16 years 23 days ago
2006
IEEE
A key aspect of any data integration endeavor is establishing a transformation that translates instances of one or more source schemata into instances of a target schema. This sch...
184
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...
167
click to vote
SCAM
2006
IEEE
16 years 22 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
178
Voted
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
Multi-stream hidden Markov models (HMMs) have recently been very successful in audio-visual speech recognition, where the audio and visual streams are fused at the final decision...