1199 search results - page 102 / 240 » Software Verification and Software Engineering a Practitione... |
147
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
131
Voted
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
134
click to vote
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
Interoperability is the challenge involved in getting software components to work together. This working session discusses in depth the state of the art in reengineering tool inte...
135
click to vote
AC
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. This paper examines proposals for three cryptographic primitives: block ciphers, stream ciphers, and hash functions. It provides an overview of the design principles of a...
149
click to vote
WORM
2003
15 years 5 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...