2687 search results - page 265 / 538 » Formal Analysis of PKCS |
227
click to vote
FASE
2005
Springer
16 years 24 days ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
168
click to vote
DIAGRAMS
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
237
click to vote
IFM
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
171
click to vote
ISCIS
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
219
click to vote
JELIA
2004
Springer
16 years 19 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...