2687 search results - page 265 / 538 » Formal Analysis of PKCS |
203
Voted
FASE
2005
Springer
16 years 6 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...
150
click to vote
DIAGRAMS
2004
Springer
16 years 2 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...
213
click to vote
IFM
2004
Springer
16 years 1 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...
164
click to vote
ISCIS
2004
Springer
16 years 1 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...
194
click to vote
JELIA
2004
Springer
16 years 1 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...