2523 search results - page 444 / 505 » Correct Development of Embedded Systems |
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper, we propose a Boosted Interactively Distributed Particle Filter (BIDPF) to address the problem of automatic multi-object tracking in the application of player tracki...
NDSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Installing various hooks into the victim system is an important attacking strategy employed by malware, including spyware, rootkits, stealth backdoors, and others. In order to def...
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
TASE
2007
IEEE
14 years 3 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...