2687 search results - page 142 / 538 » Formal Analysis of PKCS |
109
click to vote
WWW
2001
ACM
16 years 4 months ago
2001
ACM
Recently, there have been a number of algorithms proposed for analyzing hypertext link structure so as to determine the best "authorities" for a given topic or query. Wh...
118
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
157
click to vote
ICFCA
2004
Springer
15 years 9 months ago
2004
Springer
Traditional logic can be understood as the investigation of the three main essential functions of thinking – concepts, judgements and conclusions. In the last years, in a new res...
114
click to vote
ENTCS
2007
15 years 4 months ago
2007
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
153
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...