10072 search results - page 290 / 2015 » Composition of Model Programs |
159
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
156
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
A conditional model is introduced for triggering understanding actions that correct errors of frame hypothesization and composition. Experimental evidence is provided using the Fr...
174
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
186
click to vote
AUSAI
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
179
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...