3885 search results - page 405 / 777 » Transformations for Write-All-with-Collision Model |
189
click to vote
ACNS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In the paper “Stronger Security of Authenticated Key Exchange” [1,2], a new security model for authenticated key exchange protocols (eCK) is proposed. The new model i...
195
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
187
click to vote
DOLAP
2009
ACM
15 years 10 months ago
2009
ACM
Decisional systems are crucial for enterprise improvement. They allow the consolidation of heterogeneous data from distributed enterprise data stores into strategic indicators. An...
204
click to vote
TOOLS
1998
IEEE
15 years 10 months ago
1998
IEEE
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...
247
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which ...