7167 search results - page 819 / 1434 » Answer Set Programming |
172
Voted
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
135
click to vote
ACSAC
2005
IEEE
16 years 2 days ago
2005
IEEE
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
124
click to vote
DSN
2005
IEEE
16 years 1 days ago
2005
IEEE
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stea...
185
click to vote
ICSM
2005
IEEE
16 years 22 hour ago
2005
IEEE
Adding distributed capabilities to existing programs has come to the forefront of software evolution. As a standard Java distributed technology, applets offer the advantages of be...
164
click to vote
TPHOL
2005
IEEE
16 years 7 hour ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...