Search Sciweavers | Sciweavers

3983 search results - page 44 / 797

» Conceptual logic programs

205

Voted

DEXA
1997
Springer

179views Database» more DEXA 1997»

Linking Object-Oriented Conceptual Modeling with Object-Oriented Implementation in Java

15 years 10 months ago

Download users.dsic.upv.es

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 ...

Oscar Pastor, Emilio Insfrán, Vicente Pelec...

claim paper

Read More »

162

click to vote

ER
2009
Springer

166views Database» more ER 2009»

A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations

16 years 1 months ago

Download www.cs.utoronto.ca

Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...

Golnaz Elahi, Eric S. K. Yu, Nicola Zannone

claim paper

Read More »

254

Voted

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

16 years 6 months ago