3311 search results - page 186 / 663 » Deductive Object Programming |
111
click to vote
ECOOP
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We have developed language support for the expression of multiobject coordination. In our language, coordination patterns can be speci ed abstractly, independent of the p...
104
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
113
click to vote
JGAA
2007
15 years 1 months ago
2007
Image segmentation with specific constraints has found applications in several areas such as biomedical image analysis and data mining. In this paper, we study the problem of sim...
100
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
124
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...