2687 search results - page 80 / 538 » Formal Analysis of PKCS |
89
Voted
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper unifies two independently developed formalisms for path-vector routing protocols such as the Border Gateway Protocol (BGP), the standard inter-domain routing protoc...
121
click to vote
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Although similarity measures play a crucial role in CBR applications, clear methodologies for defining them have not been developed yet. One approach to simplify the de...
ESWS
2004
Springer
15 years 6 months ago
2004
Springer
Semantic interoperability has become a key issue for realizing the Semantic Web in its full potential. However, there is a lot of controversy regarding the meaning and scope of the...
105
click to vote
EKAW
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
100
click to vote
ICSE
1993
IEEE-ACM
15 years 4 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...