1137 search results - page 228 / 228 » Disciplined Methods of Software Specification: A Case Study |
KDD
2010
ACM
13 years 4 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ā...
IFM
2007
Springer
13 years 12 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...