2687 search results - page 296 / 538 » Formal Analysis of PKCS |
165
click to vote
AIME
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
171
click to vote
ICCS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Minimal generators (mingens) of concept intents are valuable elements of the Formal Concept Analysis (FCA) landscape, which are widely used in the database field, for da...
179
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
141
Voted
ISOLA
2004
Springer
16 years 6 hour ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
195
click to vote
CSFW
2003
IEEE
15 years 12 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...