146 search results - page 23 / 30 » Automated Abstractions for Contract Validation |
FC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Ciphire Mail is cryptographic software that provides email encryption and digital signatures. The Ciphire Mail client resides on the user's computer between the emai...
ICCBR
1999
Springer
13 years 11 months ago
1999
Springer
As part of our investigation of how abstract principles are operationalized to facilitate their application to specific fact situations, we have begun to develop and experiment wit...
ICCBR
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. For the improvement of software quality and productivity, organizations need to systematically build up and reuse software engineering know-how, promoting organizational ...
ICLP
1999
Springer
13 years 11 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
DEON
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...