2631 search results - page 421 / 527 » Software Development with Code Maps |
117
Voted
TACAS
2010
Springer
15 years 4 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
110
click to vote
ASPLOS
2011
ACM
14 years 5 months ago
2011
ACM
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
111
click to vote
MMSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We propose a model-based spatial layer bit allocation algorithm for H.264/SVC in this work. The spatial scalability of H.264/SVC is achieved by a multi-layer approach, w...
102
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
107
click to vote
CODES
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...