.properties - PDFSEARCH.IO - Document Search Engine

.properties
Results: 16788

#	Item
21	A Type System for Privacy Properties Add to Reading List Source URL: acmccs.github.io Language: English - Date: 2017-12-30 21:51:59
22	The K IND 2 Model Checker ? Adrien Champion, Alain Mebsout, Christoph Sticksel, and Cesare Tinelli The University of Iowa Abstract. K IND 2 is an open-source, multi-engine, SMT-based model checker for safety properties o Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Formal methods Theoretical computer science Computing Software engineering Satisfiability modulo theories Model checking Invariant Lustre
23	Grivaux, Julien Topological properties of Hilbert schemes of almost-complex four-manifolds. II. (English) Zbl Geom. Topol. 15, No. 1, In the paper under review, the author studies the ratio Add to Reading List Source URL: jgrivaux.perso.math.cnrs.fr Language: English - Date: 2018-03-18 08:56:10 Geometry Abstract algebra Algebra Algebraic geometry Differential topology Algebraic topology Complex manifolds Moduli theory Cobordism Hilbert scheme Projective variety Chern class
24	Structural Properties in δ-Hyperbolic Networks: Algorithmic Analysis and Implications Hend Alrasheed Kent State University, Department of Computer Science Kent Ohio, USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:34:48 Graph theory Network theory Bipartite graphs Graph operations Centrality Network analysis Distance Graph Connectivity Tree Shortest path problem Degeneracy
25	The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia Add to Reading List Source URL: prosecco.gforge.inria.fr Language: English - Date: 2018-10-11 10:56:59 Software engineering Computer programming Computing Functional programming Logic in computer science Functional languages Formal methods Type theory Monad F* Predicate transformer semantics Haskell
26	Reward yourself with unique memories! Unique Retreats is more than a collection of fine properties. Add to Reading List Source URL: www.uniqueretreats.com Language: English - Date: 2018-02-20 08:45:39 Employee benefits Frequent flyer programs
27	Decision Procedures for Flat Array Properties F. Alberti1,3 , S. Ghilardi2 , N. Sharygina1 1 University 2 3 Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-17 11:28:50 Array programming Array data type Array Computing Computer programming Software engineering
28	PDF Document Add to Reading List Source URL: properties.curtin.edu.au - Date: 2018-04-22 22:28:44
29	PDF Document Add to Reading List Source URL: www.cypress-properties.com - Date: 2017-12-20 17:35:10
30	PDF Document Add to Reading List Source URL: www.cypress-properties.com - Date: 2016-10-25 18:34:45