2687 search results - page 224 / 538 » Formal Analysis of PKCS |
177
click to vote
COMCOM
2008
15 years 6 months ago
2008
Due to the prevalence of peer dynamics (i.e., churn), object maintenance becomes a fundamental issue in peer-to-peer storage systems. Although quite a few prototypes have been des...
178
click to vote
ECEASST
2008
15 years 6 months ago
2008
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
139
click to vote
IEE
2008
15 years 6 months ago
2008
: Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite lar...
135
click to vote
EWC
2006
15 years 6 months ago
2006
In engineering analysis, geometric symmetry, when exploited, has two potential benefits: (1) it can significantly reduce the computational time, and (2) it can simultaneously impr...
208
click to vote
JALC
2006
15 years 6 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...