5255 search results - page 757 / 1051 » Formal Methods for Privacy |
164
click to vote
SCAM
2006
IEEE
16 years 20 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...
176
click to vote
WACV
2005
IEEE
16 years 7 days ago
2005
IEEE
— In this work, we present a formalization of the video synchronization problem that exposes new variants of the problem that have been left unexplored to date. We also present a...
138
click to vote
AIME
2005
Springer
16 years 6 days ago
2005
Springer
This paper aims at formalizing the concept of learning rules from multisource data in a cardiac monitoring context. Our method has been implemented and evaluated on learning from d...
180
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
140
click to vote
IEAAIE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...