2748 search results - page 339 / 550 » Generating Object-Z Specifications from Use Cases |
126
click to vote
FSE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Biham and Kocher demonstrated that the PKZIP stream cipher was weak and presented an attack requiring thirteen bytes of plaintext. The deflate algorithm “zippers” no...
149
click to vote
ASAP
2008
IEEE
15 years 6 months ago
2008
IEEE
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...
153
click to vote
IASSE
2004
15 years 5 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
124
click to vote
FORTE
1989
15 years 5 months ago
1989
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
124
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...