1 - PDFSEARCH.IO - Document Search Engine

1
Results: 1637835

#	Item
41	R E P O RT R E P R I N T Datadog sniffs out opportunity in APM N A NCY GOHR ING 1 8 JA N Add to Reading List Source URL: www.datadoghq.com Language: English - Date: 2018-06-01 15:28:46 Information technology management Management Computing Performance management Datadog Systems management Cloud infrastructure Cloud computing Serverless computing AppDynamics Anomaly detection New Relic
42	Unsupervised Detection of APT C&C Channels using Web Request Graphs Pavlos Lamprakis1 , Ruggiero Dargenio1 , David Gugelmann1 , Vincent Lenders2 , Markus Happe1 , and Laurent Vanbever1 1 2 Add to Reading List Source URL: www.lenders.ch Language: English - Date: 2017-06-18 04:02:10 Computing Information and communications technology Internet Spamming Security breaches Botnet Command and control Computer network security Malware HTTP referer Blacklist Online Certificate Status Protocol
43	Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Computer programming C Data types Pointer Hooking Exec Nm Struct
44	Informatics 1 Functional Programming Lectures 1 and 2 Monday 24–Tuesday 25 September 2012 Introduction, Functions Don Sannella Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2012-09-24 08:45:19 Software engineering Computing Computer programming Tutorial Don Sannella Haskell D Informatics Functional programming
45	Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:50:10 Software engineering Computing Programming language theory Procedural programming languages Programming languages Logic in computer science Runtime verification Cross-platform software Program slicing Model checking L-system Trace
46	Design of Knowledge Analytics Tools for Workplace Learning? Maria A Schett1 , Stefan Thalmann2 , and Ronald K Maier2 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-08-29 07:14:47 Economy Business intelligence Finance Money Learning analytics Predictive analytics Analytics in higher education Analytics Usability Business analytics Architectural pattern Educational technology
47	Cubicle: A Parallel SMT-based Model Checker for Parameterized Systems Tool Paper Sylvain Conchon1 , Amit Goel2 , Sava Krsti´c2 Alain Mebsout1 , and Fatiha Za¨ıdi1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Theoretical computer science Logic in computer science Temporal logic Constraint programming Electronic design automation Satisfiability modulo theories Alt-Ergo Computation tree logic Model theory
48	PRISM-games: A Model Checker for Stochastic Multi-Player Games Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , David Parker2 , and Aistis Simaitis1 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-01-13 05:57:32 Theoretical computer science Mathematics Model checkers Temporal logic PRISM model checker Computation tree logic Model checking Application software Stochastic game Strategy Stochastic process Game theory