2687 search results - page 365 / 538 » Formal Analysis of PKCS |
139
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
Scale is of great importance to the analysis of real world phenomena, be they enduring objects or perduring processes. This paper presents a new perspective on the concept of scale...
173
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
This essay adopts a formal model of play as semiosis [18] to explore the often dysfunctional role of backstories within computer game design and play. Within this model, backstori...
175
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
173
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Numerous clustering algorithms have been proposed that can support routing in mobile ad hoc networks (MANETs). However, there is very little formal analysis that considers the comm...
183
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes a simulation-based methodology for validation of a system under design in an early phase of development. The key element of this approach is the visual speciï¬...