2748 search results - page 249 / 550 » Generating Object-Z Specifications from Use Cases |
113
click to vote
ASIACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we revisit a known but ignored weakness of the RC4 keystream generator, where secret state info leaks to the generated keystream, and show that this leakage, also kno...
159
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
138
Voted
PADS
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
126
Voted
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
We approach the problem of 2-D and 3-D puzzle solving by matching the geometric features of puzzle pieces three at a time. First, we define an affinity measure for a pair of piece...
183
Voted
TFM
2009
Springer
15 years 10 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...