5843 search results - page 926 / 1169 » Software Security in Practice |
171
click to vote
ICECCS
2006
IEEE
16 years 20 days ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
149
Voted
INFOCOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— During recent years, Distributed Hash Tables (DHTs) have been extensively studied by the networking community through simulation and analysis, but until recently were not adopt...
195
click to vote
ISSRE
2006
IEEE
16 years 19 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
163
click to vote
SCAM
2006
IEEE
16 years 18 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...
171
click to vote
SEFM
2006
IEEE
16 years 18 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...