First Page | Document Content | |
---|---|---|
![]() Date: 2014-09-10 08:46:02Computer network security Multi-agent systems Spamming Botnet Domain name Cluster analysis DBSCAN Protein domain .uk Statistics Internet Domain name system | Add to Reading List |
![]() | A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017DocID: 1xW3e - View Document |
![]() | LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via GamesDocID: 1xW2u - View Document |
![]() | Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın KuˇceraDocID: 1xW2m - View Document |
![]() | GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. EdinburghDocID: 1xW1G - View Document |
![]() | British long distance swimmer David Davies uses visualisation techniques to motivate himself to train every morning. PSYCHOLOGYDocID: 1xW1B - View Document |