3706 search results - page 215 / 742 » The Transformational Approach to Program Development |
131
click to vote
PROVSEC
2007
Springer
15 years 9 months ago
2007
Springer
Game-playing is an approach to write security proofs that are easy to verify. In this approach, security definitions and intractable problems are written as programs called games ...
122
click to vote
ESAW
2009
Springer
15 years 9 months ago
2009
Springer
Organizational notions such as roles, norms (e.g., obligations and permissions), and services are increasingly viewed as natural concepts to manage the complexity of software devel...
122
click to vote
ILP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
126
click to vote
JSA
2000
15 years 2 months ago
2000
We propose an approach to determine the shortest path between the source and the destination nodes in a faulty or a nonfaulty hypercube. The number of faulty nodes and links may b...
137
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...