1156 search results - page 58 / 232 » Compositional Methods for Information-Hiding |
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
CDC
2009
IEEE
14 years 11 days ago
2009
IEEE
— We propose a compositional stability analysis methodology for verifying properties of systems that are interconnections of multiple subsystems. The proposed method assembles st...
MVA
1996
13 years 9 months ago
1996
The issue of graph recognition has been not always investigated until today though the subjects on the document image understanding are very interest and have proposed many method...
APIN
2006
13 years 7 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
TPDS
2002
13 years 7 months ago
2002
This paper considers a technique for composing global (barrier-style) and local (channel scanning) synchronization protocols within a single parallel discrete-event simulation. Com...