1137 search results - page 228 / 228 » Disciplined Methods of Software Specification: A Case Study |
KDD
2010
ACM
14 years 10 months ago
2010
ACM
Malware categorization is an important problem in malware analysis and has attracted a lot of attention of computer security researchers and anti-malware industry recently. Todayā...
100
click to vote
IFM
2007
Springer
15 years 5 months ago
2007
Springer
Material Flow Abstraction of Manufacturing Systems. ā£Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Speciļ¬cation and Veriļ¬cation of a MPI Implementation for a MP-SoC...