Search results for "cs-property"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
60	Mark Levene, George Loizou	Database Design for Incomplete Relations.	ACM Trans. Database Syst.	1999	DBLP DOI BibTeX RDF	additivity problem, dependency preserving decomposition, intersection property, lossless join decomposition, monodependence, null functional dependencies, optimum cover, prime attribute problem, split-freeness property, superkey of cardinality k problem, complexity, incomplete information, normal forms
50	Robert L. Sedlmeyer, Marc J. Lipman	Property computation in Grapple (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
43	Richard O. Mason	Intellectual Property and Open Systems.	HICSS	2002	DBLP DOI BibTeX RDF	Proprietary Property, Closed Source, Public Property, Open Source, Intellectual Property
42	Oded Goldreich 0001	On the Communication Complexity Methodology for Proving Lower Bounds on the Query Complexity of Property Testing.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
42	Oded Goldreich 0001	On the Effect of the Proximity Parameter on Property Testers.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
42	Oded Goldreich 0001, Michael Krivelevich, Ilan Newman, Eyal Rozenberg	Hierarchy Theorems for Property Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
42	Michael E. Saks, C. Seshadhri 0001	Local Property Reconstruction and Monotonicity.	Property Testing	2010	DBLP DOI BibTeX RDF
42	Madhu Sudan 0001	Invariance in Property Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
42	Ido Ben-Eliezer, Tali Kaufman, Michael Krivelevich, Dana Ron	Comparing the Strength of Query Types in Property Testing: The Case of Testing k-Colorability.	Property Testing	2010	DBLP DOI BibTeX RDF
42	Ilan Newman	Property Testing of Massively Parametrized Problems - A Survey.	Property Testing	2010	DBLP DOI BibTeX RDF
42	Oded Goldreich 0001, Dana Ron	Algorithmic Aspects of Property Testing in the Dense Graphs Model.	Property Testing	2010	DBLP DOI BibTeX RDF
42	Oded Goldreich 0001	A Brief Introduction to Property Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
42	Thomas A. Henzinger	From Boolean to quantitative notions of correctness.	POPL	2010	DBLP DOI BibTeX RDF	quantitative specification, quantitative synthesis, quantitative analysis
40	Oded Goldreich 0001, Shafi Goldwasser, Dana Ron	Property Testing and Its Connection to Learning and Approximation.	FOCS	1996	DBLP DOI BibTeX RDF	unknown function, property testing algorithm, graph property testing, k-colorable graph, /spl rho/-clique, input graph, testing, approximation, querying, assertions, probabilistic algorithm, learning theory, property testing
38	Patrick S. Chen, Cheng-Yu Hung, Chiao-Hsin Ko, Ying-Chieh Chen	Preservation of Evidence in Case of Online Gaming Crime.	ISI Workshops	2008	DBLP DOI BibTeX RDF	virtual property, Virtual Property Description Language, online gaming, digital evidence
38	Howard B. Rockman, Vladimir Khodosh	The software engineer and the development, management and use of intellectual property.	ICSE	2005	DBLP DOI BibTeX RDF	business use of intellectual property, employment agreement, infringement, innovation protection, non-compete, patentable subject matter, proprietary, ethics, intellectual property, copyright, patent, licensing, trade secret
35	Noga Alon, Asaf Shapira	Every monotone graph property is testable.	STOC	2005	DBLP DOI BibTeX RDF	monotone properties, property testing, regularity lemma
35	Ulrich Kühn 0001, Marcel Selhorst, Christian Stüble	Realizing property-based attestation and sealing with commonly available hard- and software.	STC	2007	DBLP DOI BibTeX RDF	property-based attestation, property-based sealing, trusted computing
34	Oded Goldreich 0001	Flexible Models for Testing Graph Properties.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	On (Valiant's) Polynomial-Size Monotone Formula for Majority.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	Deconstructing 1-Local Expanders.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Guy N. Rothblum	Constant-Round Interactive Proof Systems for AC0[2] and NC1.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Dana Ron	On the Relation Between the Relative Earth Mover Distance and the Variation Distance (an Exposition).	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Liav Teichner	Super-Perfect Zero-Knowledge Proofs.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Roei Tell	A Note on Tolerant Testing with One-Sided Error.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Maya Leshkowitz	On Emulating Interactive Proofs with Public Coins.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	On the Optimal Analysis of the Collision Probability Tester (an Exposition).	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Avi Wigderson	On the Size of Depth-Three Boolean Circuits for Computing Multilinear Functions.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	The Uniform Distribution Is Complete with Respect to Testing Identity to a Fixed Distribution.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Scott E. Decatur, Oded Goldreich 0001, Dana Ron	A Probabilistic Error-Correcting Scheme that Provides Partial Secrecy.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Guy N. Rothblum	Worst-Case to Average-Case Reductions for Subclasses of P.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Or Meir	Bridging a Small Gap in the Gap Amplification of Assignment Testers.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	On Constructing Expanders for Any Number of Vertices.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	Two Comments on Targeted Canonical Derandomizers.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	Reducing Testing Affine Spaces to Testing Linearity of Functions.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001, Avishay Tal	On Constant-Depth Canonical Boolean Circuits for Computing Multilinear Functions.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Itai Benjamini, Oded Goldreich 0001	Pseudo-mixing Time of Random Walks.	Computational Complexity and Property Testing	2020	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001 (eds.)	Property Testing - Current Research and Surveys	Property Testing	2010	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	Short Locally Testable Codes and Proofs: A Survey in Two Parts.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Krzysztof Onak, Ronitt Rubinfeld	Dynamic Approximate Vertex Cover and Maximum Matching.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Eric Blais	Testing Juntas: A Brief Survey.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Arnab Bhattacharyya 0001, Swastik Kopparty, Grant Schoenebeck, Madhu Sudan 0001, David Zuckerman	Optimal Testing of Reed-Muller Codes.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Alexandr Andoni, Piotr Indyk, Krzysztof Onak, Ronitt Rubinfeld	Sublinear Algorithms in the External Memory Model.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Noga Alon	On Constant Time Approximation of Parameters of Bounded Degree Graphs.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Tali Kaufman, Avi Wigderson	Symmetric LDPC Codes and Local Testing.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	Introduction to Testing Graph Properties.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Asaf Shapira	Green's Conjecture and Testing Linear Invariant Properties.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Swastik Kopparty, Shubhangi Saraf	Some Recent Results on Local Testing of Sparse Linear Codes.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Eli Ben-Sasson	Limitation on the Rate of Families of Locally Testable Codes.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Michal Adamaszek, Artur Czumaj, Christian Sohler	Testing Monotone Continuous Distributions on High-Dimensional Real Cubes.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Rocco A. Servedio	Testing by Implicit Learning: A Brief Survey.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Oded Goldreich 0001	The Program of the Mini-Workshop.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Kevin Matulef, Ryan O'Donnell, Ronitt Rubinfeld, Rocco A. Servedio	Testing (Subclasses of) Halfspaces.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Artur Czumaj, Christian Sohler	Sublinear-time Algorithms.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Alexandr Andoni, Robert Krauthgamer, Krzysztof Onak	Polylogarithmic Approximation for Edit Distance and the Asymmetric Query Complexity.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Sofya Raskhodnikova	Transitive-Closure Spanners: A Survey.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Frank Hellweg, Melanie Schmidt 0001, Christian Sohler	Testing Euclidean Spanners.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Arnab Bhattacharyya 0001, Victor Chen, Madhu Sudan 0001, Ning Xie 0002	Testing Linear-Invariant Non-linear Properties: A Short Report.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Victor Chen	Query-Efficient Dictatorship Testing with Perfect Completeness.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Irit Dinur, Prahladh Harsha	Composition of Low-Error 2-Query PCPs Using Decodable PCPs.	Property Testing	2010	DBLP DOI BibTeX RDF
34	Krzysztof Onak	Sublinear Graph Approximation Algorithms.	Property Testing	2010	DBLP DOI BibTeX RDF
33	Patrice Godefroid, Michael Y. Levin, David A. Molnar	Active property checking.	EMSOFT	2008	DBLP DOI BibTeX RDF	security, software testing, symbolic execution
33	Artur Czumaj, Christian Sohler	Abstract Combinatorial Programs and Efficient Property Testers.	FOCS	2002	DBLP DOI BibTeX RDF
33	James Cummings 0001	Itay Neeman. Aronszajn trees and failure of the Singular Cardinal Hypothesis. Journal of Mathematical Logic, vol. 9, no. 1 (2009), pp. 139-157. - Dima Sinapova. The tree property at אּω+1. Journal of Symbolic Logic, vol. 77, no. 1 (2012), pp. 279-290. - Dima Sinapova. The tree property and the failure of SCH at uncountable cofinality. Archive for Mathematical Logic, vol. 51, no. 5-6 (2012), pp. 553-562. - Dima Sinapova. The tree property and the failure of the Singular Cardinal Hypothesis at אּω2. Journal of Symbolic Logic, vol. 77, no. 3 (2012), pp. 934-946. - Spencer Unger. Aronszajn trees and the successors of a singular cardinal. Archive for Mathematical Logic, vol. 52, no. 5-6 (2013), pp. 483-496. - Itay Neeman. The tree property up to אּω+1. Journal of Symbolic Logic. vol. 79, no. 2 (2014), pp. 429-459.	Bull. Symb. Log.	2015	DBLP DOI BibTeX RDF
33	Holger M. Kienle, Daniel M. Germán, Scott R. Tilley, Hausi A. Müller	Intellectual property aspects of web publishing.	SIGDOC	2004	DBLP DOI BibTeX RDF	link law, world wide web, hypermedia, intellectual property, copyright, patents, trademarks, open content
32	Martin F. van Bommel, Grant E. Weddell	Reasoning About Equations and Functional Dependencies on Complex Objects.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language
30	Christian Glaßer, Christian Reitwießner, Victor L. Selivanov	The Shrinking Property for NP and coNP.	CiE	2008	DBLP DOI BibTeX RDF
30	Artur Czumaj, Christian Sohler	Property Testing with Geometric Queries.	ESA	2001	DBLP DOI BibTeX RDF
30	Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapira	A combinatorial characterization of the testable graph properties: it's all about regularity.	STOC	2006	DBLP DOI BibTeX RDF	characterization, property testing, regularity lemma
30	Eldar Fischer, Ilan Newman	Testing of matrix properties.	STOC	2001	DBLP DOI BibTeX RDF	matrix properties, property testing
30	Gordon Fraser 0001, Franz Wotawa	Using model-checkers to generate and analyze property relevant test-cases.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Property relevance, Test-suite analysis, Model-checker based testing, Software testing, Requirements traceability
30	Nitin Aggarwal, Eric A. Walden	The problem of distributed intellectual property bundles: a transaction cost perspective.	ICEC	2007	DBLP DOI BibTeX RDF	coordination, intellectual property rights, bundles, transaction cost economics
30	Gordon Fraser 0001, Franz Wotawa	Property relevant software testing with model-checkers.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	model-checker based testing, property relevance, test-suite analysis, software testing, requirements traceability
30	Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel	Fast falsification based on symbolic bounded property checking.	DAC	2006	DBLP DOI BibTeX RDF	fast falsification, guiding, property checking
30	Oded Goldreich 0001, Dana Ron	Property Testing in Bounded Degree Graphs.	Algorithmica	2002	DBLP DOI BibTeX RDF	Approximation algorithms, Randomized algorithms, Graph algorithms, Property testing
30	Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi	Property-Specific Testbench Generation for Guided Simulation.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	guided simulation, intelligent testbench generation, witness graph, property-specific testbench, approximate model checking, symbolic model checking, iterative refinement
30	Tsern-Huei Lee, Jin-Jye Chou	Testing the Dynamic Full Access Property of a Class of Multistage Interconnection Networks.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	dynamic full access property, multistage interconnectionnetworks, faulty banyan networ, multiprocessor system reconfiguration, test procedure, faulty switching elements, fault tolerant computing, probability, multiprocessor interconnection networks, reconfigurable architectures, computer testing, network decomposition
30	Daryl McCullough	A Hookup Theorem for Multilevel Security.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information
29	Ha-Thanh Le, Deepak Subramanian, Wen-Jing Hsu, Peter Kok Keong Loh	Scoring Web-Based Vulnerability Impact Using Property-Based Vulnerability Model.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Web application vulnerability, vulnerable property relationship graph (VPRG), vulnerable property relationship matrix (VPRM), vulnerability impact score
29	SungHee Jeon, JoonGoo Park	A RFID Reader Configuration with an Enhanced Recognition Property for Indoor Positioning.	NCM	2009	DBLP DOI BibTeX RDF	recognition property, recognition property, localization, RFID, indoor positioning
29	Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li	A Formal Syntax for Probabilistic Timed Property Sequence Charts.	ASE	2009	DBLP DOI BibTeX RDF	Property Sequence Chart, Probabilistic and Timed Property Sequence Chart, Probabilistic Properties
28	Joan Feigenbaum, Sampath Kannan, Martin Strauss 0001, Mahesh Viswanathan 0001	Testing and Spot-Checking of Data Streams.	Algorithmica	2002	DBLP DOI BibTeX RDF
28	Tali Kaufman, Madhu Sudan 0001	Algebraic property testing: the role of invariance.	STOC	2008	DBLP DOI BibTeX RDF	error-correcting codes, locally testable codes, sublinear time algorithms
28	Mary Cryan, Allan Ramsay	Constructing a Normal Form for Property Theory.	CADE	1997	DBLP DOI BibTeX RDF
27	Guo-Huang Hsu, Jimmy J. M. Tan	A Local Diagnosability Measure for Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	local diagnosability, strong local diagnosability property, PMC model
27	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Use Case Maps as a property specification language.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification
27	Jeremy Condit, Brian Hackett, Shuvendu K. Lahiri, Shaz Qadeer	Unifying type checking and property checking for low-level code.	POPL	2009	DBLP DOI BibTeX RDF	assertion checking, low-level code, decision procedure, type checking, smt solver, property checking
27	Sim-Hui Tee	Inclusion of Property Profile in the Production Rule Pattern for Visualization Software Design.	IVIC	2009	DBLP DOI BibTeX RDF	Property profile, production rule pattern, visualization software design, overridden methods, information visualization
27	André Inácio Reis, Roner G. Fabris	What about the IP of your IP?: an introduction to intellectual property law for engineers and scientists.	SBCCI	2009	DBLP DOI BibTeX RDF	EPO, INPI, PCT, USPTO, intellectual property law, patent agent, patent reading, patent strategy, patent writing
27	Jiangshuai Huang, Yongji Wang 0001, Jian Huang 0001	The Separation Property Enhancement of Liquid State Machine by Particle Swarm Optimization.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Liquid state machine, Separation property, Particle swarm optimization
27	Jianyong Huang, Jennifer Seberry, Willy Susilo	A Five-Round Algebraic Property of the Advanced Encryption Standard.	ISC	2008	DBLP DOI BibTeX RDF	A Five-Round Algebraic Property of the AES, Algorithm ?, Variants of Algorithm ?, ?AES, AES, Linear Equations
27	Itai Benjamini, Oded Schramm, Asaf Shapira	Every minor-closed property of sparse graphs is testable.	STOC	2008	DBLP DOI BibTeX RDF	minor closed properties, graph algorithms, property testing
27	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont	Probabilistic abstraction for model checking: An approach based on property testing.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification
27	Yisong Wang, Mingyi Zhang 0002, Yu-Ping Shen	Consistency Property of Finite FC-Normal Logic Programs.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	consistency property, FC-normality, artificial intelligence, logic programs, stable model
27	Ganesh P. Sahu, M. P. Gupta 0001, Vindhyesh N. Gupta	e-enablement of property registration: a comparative study of select Indian cases.	ICEGOV	2007	DBLP DOI BibTeX RDF	property registration, e-government, ICT
27	Larisa Maksimova	Projective Beth Property in Extensions of Grzegorczyk Logic.	Stud Logica	2006	DBLP DOI BibTeX RDF	projective Beth's property, epimorphisms surjectivity, modal logic, decidability, intuitionistic logic
27	Diederik Aerts, Eva Colebunders, A. Van der Voorde, B. Van Steirteghem	On the Amnestic Modification of the Category of State Property Systems.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	closure space, state property system, amnestic modification
27	Thomas Firley, Ursula Goltz	Property Dependent Abstraction of Control Structure for Software Verification.	FME	2002	DBLP DOI BibTeX RDF	property oriented abstraction, algorithmic construction of abstract semantics, software verification
27	Shiuh-Jeng Wang, Kai-Sheng Yang	Watermark Embedding Mechanism Using Modulus-Based for Intellectual Property Protection on Image Data.	EC-Web	2002	DBLP DOI BibTeX RDF	Intellectual property protection, JPEG compression, watermark embedding
27	Hiromi Hiraishi	Verification of deadlock free property of high level robot control.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	deadlock free property, high level robot control, verification algorithm, task control architecture, concurrent robot control processes, symbolic model verifier, symbolic model checking algorithm, robots, formal verification, logic testing, concurrency control, message passing, symbol manipulation, safety properties, liveness properties