2687 search results - page 135 / 538 » Formal Analysis of PKCS |
161
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
111
click to vote
NGC
2002
Springer
15 years 3 months ago
2002
Springer
Scenario analysis is often used to identify possible chance events. However, no formal, computational theory yet exists for scenario analysis. In this paper, we commence developme...
132
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
We formalize the problem of analog data compression and analyze the existence of a polynomial data compression function. Under relaxed conditions we explore the existence of a sol...
123
click to vote
COLING
1990
15 years 5 months ago
1990
This paper proposes that sentence analysis should be treated as defeasible reasoning, and presents such a treatment lbr Japanese sentence analyses using an argumentation system by...
135
click to vote
ICECCS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we introduce the model REMES for formal modeling and analysis of embedded resources such as storage, energy, communication, and computation. The model is a state-ma...