3983 search results - page 44 / 797 » Conceptual logic programs |
DEXA
1997
Springer
14 years 8 days ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
ER
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
POPL
2002
ACM
14 years 9 months ago
2002
ACM
PADL
2007
Springer
14 years 2 months ago
2007
Springer
PPDP
2001
Springer
14 years 1 months ago
2001
Springer
