2687 search results - page 341 / 538 » Formal Analysis of PKCS |
167
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...
160
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Behrmann et al. posed the question whether "To Store or Not To Store" [1] states during reachability analysis, in order to counter the effects of the well-known state spa...
171
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
188
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
157
click to vote
WSC
2008
15 years 9 months ago
2008
This paper presents a new extension of the DEVS formalism that allows multiple occurrences of a given instance of a DEVS component. This paper is a follow-up to a previous short p...