2060 search results - page 172 / 412 » The Composition of Event-B Models |
123
click to vote
SYNASC
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...
128
click to vote
CSFW
1999
IEEE
15 years 9 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...
116
click to vote
ICASSP
2011
IEEE
14 years 8 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...
103
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
139
click to vote
UML
1998
Springer
15 years 9 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 ...