CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
381	An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Education Educational psychology Human behavior Educational assessment Flag Capture the flag Exercise CTFS VM Formative assessment Educational technology Test
382	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-24 20:19:39 Formal methods Verification Technology Refinement Specification File system Evaluation Business
383	PDF Document Add to Reading List Source URL: web.cs.ucla.edu - Date: 2002-08-02 16:49:30
384	PDF Document Add to Reading List Source URL: cs.brynmawr.edu - Date: 2017-08-12 14:25:27
385	DOC Document Add to Reading List Source URL: www.cs.utsa.edu - Date: 2018-06-05 16:57:37
386	PDF Document Add to Reading List Source URL: www.cs.utsa.edu - Date: 2012-11-01 13:15:46
387	PDF Document Add to Reading List Source URL: fileadmin.cs.lth.se - Date: 1997-01-18 11:45:34
388	PDF Document Add to Reading List Source URL: www.cs.bu.edu - Date: 2006-03-18 19:28:12
389	PDF Document Add to Reading List Source URL: www.cs.jhu.edu - Date: 2011-07-24 18:57:09
390	PDF Document Add to Reading List Source URL: www.cs.huji.ac.il - Date: 2016-05-31 03:26:33

UPDATE