286 search results - page 19 / 58 » Crypto Engineering: Some History and Some Case Studies |
RE
1997
Springer
13 years 11 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
DSML
2008
13 years 9 months ago
2008
: Today's online model repositories offer to download and view the textual specifications of e.g. metamodels and models in the browser. For users, in order to efficiently sear...
INFSOF
2006
13 years 7 months ago
2006
Much research on open source software development concentrates on developer lists and other software repositories to investigate what motivates professional software developers to...
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
FTIR
2006
13 years 7 months ago
2006
Authorship attribution, the science of inferring characteristics of the author from the characteristics of documents written by that author, is a problem with a long history and a...