Flow - PDFSEARCH.IO - Document Search Engine

Flow
Results: 47078

#	Item
11	CASE STUDY New lifecycle of HR department Simple electronic forms on the intranet have automated the flow of people Add to Reading List Source URL: www.soitron.com Language: English - Date: 2018-01-15 09:53:04 Human resource management Economy Business Information Intranet Human resources SharePoint Turnover E-HRM Human resource management system
12	Efficient RAM and control flow in verifiable outsourced computation Riad S. Wahby⋆ , Srinath Setty† , Zuocheng Ren† , Andrew J. Blumberg† , and Michael Walfish⋆ ⋆ † Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-12-14 14:47:16 Computational complexity theory Theory of computation IP Proof of knowledge NP Zero-knowledge proof Certificate Theoretical computer science Applied mathematics
13	An Extensible Framework for Variable-Precision Data-Flow Analyses in MPS Tamás Szabó Simon Alperovich Add to Reading List Source URL: mbeddr.com Language: English - Date: 2018-08-02 04:06:51 Program analysis Software engineering Computer programming Programming language implementation Static program analysis Compiler construction Data-flow analysis Syntax Definite assignment analysis Compiler DFG Pointer analysis
14	FLIP the (Flow) Table: Fast LIghtweight Policy-preserving SDN Updates Stefano Vissicchio∗ , Luca Cittadini† ∗ Universit´e catholique de Louvain † RomaTre University Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:12 Network flow problem Physics Internet architecture Flow network Routing Work
15	A Semantic Approach to Secure Information Flow K. Rustan M. Leino1 and Rajeev Joshi2 1 DEC SRC, Palo Alto, CA 94301, USA Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:26:03 Mathematical logic Logic Mathematics Predicate logic Formal methods Semantics Edsger W. Dijkstra Predicate transformer semantics First-order logic FO Quantifier Equality
16	Calculus, heat flow and curvature-dimension bounds in metric measure spaces Luigi Ambrosio (Scuola Normale Superiore, Pisa, Italy) March 3, Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:47 Mathematical analysis Mathematics Analysis Metric geometry Differential topology Measure theory Vector calculus Vector field Transportation theory Riemannian manifold Lipschitz continuity Metric space
17	arXiv:1608.01654v2 [cs.PL] 7 NovHypercollecting Semantics and its Application to Static Analysis of Information Flow Mounir Assaf Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-11-08 02:57:20
18	Rain: Refinable Attack Investigation with On-demand Inter-Process Information Flow Tracking Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59 Metaphysics Humanities Terminology Archaeological theory Data collection Evidence law Museology Provenance Seeds Causality Inode System call
19	Computing and Estimating Information Leakage with a Quantitative Point-to-Point Information Flow Model by Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Metaphysics Physics Information Information flow Entropy Leakage Mutual information
20	Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-14 15:46:40 System software Computing Utility software Computer network security Computer security Configuration management Network architecture Software-defined networking Intrusion detection system Snort OpenFlow Traffic flow