2060 search results - page 338 / 412 » The Composition of Event-B Models |
127
click to vote
WECWIS
2003
IEEE
15 years 9 months ago
2003
IEEE
With the growing number of marketplaces and trading partners in the e–commerce environment, software tools designed to act on behalf of human traders are increasingly used to au...
112
click to vote
ECOOP
2003
Springer
15 years 9 months ago
2003
Springer
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
135
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
145
click to vote
FSTTCS
2003
Springer
15 years 9 months ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
131
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
— This paper deals with the performance modeling of the various MAC states as defined by the cdma2000 protocol. Our method uses a composite performance metric which has the capa...