Search results for "containment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Conjunctive query containment and answering under description logic constraints.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	computational compexity, conjunctve queries, Description logics, query containment
83	Peter T. Wood	Containment for XPath Fragments under DTD Constraints.	ICDT	2003	DBLP BibTeX RDF
83	Miguel R. Penabad, Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá	A general procedure to check conjunctive query containment.	Acta Informatica	2002	DBLP DOI BibTeX RDF
81	Gerome Miklau, Dan Suciu	Containment and equivalence for a fragment of XPath.	J. ACM	2004	DBLP DOI BibTeX RDF	XPath expressions, query containment, Tree pattern matching, query equivalence
77	Dipankar Das 0002, P. P. Chakrabarti 0001, Rajeev Kumar 0004	Functional verification of task partitioning for multiprocessor embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Containment checking, state space reduction, UML activity diagrams, multiprocessor embedded systems
74	Dimitri Theodoratos, Theodore Dalamagas 0001, Pawel Placek, Stefanos Souldatos, Timos K. Sellis	Containment of Partially Specified Tree-Pattern Queries.	SSDBM	2006	DBLP DOI BibTeX RDF
74	Todd D. Millstein, Alon Y. Levy, Marc T. Friedman	Query Containment for Data Integration Systems.	PODS	2000	DBLP DOI BibTeX RDF
73	Jianhua Feng, Yuguo Liao, Yong Zhang 0002	HCH for Checking Containment of XPath Fragment.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	conditioned homomorphism, XML, XPath, query containment, computer software, tree pattern
73	T. S. Jayram, Phokion G. Kolaitis, Erik Vee	The containment problem for REAL conjunctive queries with inequalities.	PODS	2006	DBLP DOI BibTeX RDF	bag semantics, bag-set semantics, conjunctive queries, undecidability, query containment, inequalities
73	Li Chen 0016, Elke A. Rundensteiner	XQuery containment in presence of variable binding dependencies.	WWW	2005	DBLP DOI BibTeX RDF	XQuery containment, variable binding dependency
73	E. James Whitehead Jr.	Uniform comparison of data models using containment modeling.	Hypertext	2002	DBLP DOI BibTeX RDF	containment data modeling, hypertext data models
70	Li Chen 0016, Elke A. Rundensteiner, Song Wang 0001	XCache: a semantic caching system for XML queries.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF	XML
68	Anish Arora, Hongwei Zhang 0001	LSRP: local stabilization in shortest path routing.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	containment region, local stabilization, perturbation size, range of contamination, shortest path routing
65	Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí	Containment of Conjunctive Queries over Databases with Null Values.	ICDT	2007	DBLP DOI BibTeX RDF
65	Gösta Grahne, Alex Thomo	Query Answering and Containment for Regular Path Queries under Distortions.	FoIKS	2004	DBLP DOI BibTeX RDF
65	Khalil Amiri, Sanghyun Park, Renu Tewari, Sriram Padmanabhan	Scalable template-based query containment checking for web semantic caches.	ICDE	2003	DBLP DOI BibTeX RDF
65	Wei Wang 0011, Haifeng Jiang, Hongjun Lu, Jeffrey Xu Yu	PBiTree Coding and Efficient Processing of Containment Joins.	ICDE	2003	DBLP DOI BibTeX RDF
65	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	View-based query containment.	PODS	2003	DBLP DOI BibTeX RDF
65	Gösta Grahne, Alex Thomo	Query containment and rewriting using views for regular path queries under constraints.	PODS	2003	DBLP DOI BibTeX RDF
65	Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi	Decidable Containment of Recursive Queries.	ICDT	2003	DBLP BibTeX RDF
65	Gerome Miklau, Dan Suciu	Containment and Equivalence for an XPath Fragment. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	XML
65	Carles Farré, Ernest Teniente, Toni Urpí	Query Containment Checking as a View Updating Problem.	DEXA	1998	DBLP DOI BibTeX RDF
64	Dimitri Theodoratos, Pawel Placek, Theodore Dalamagas 0001, Stefanos Souldatos, Timos K. Sellis	Containment of partially specified tree-pattern queries in the presence of dimension graphs.	VLDB J.	2009	DBLP DOI BibTeX RDF	Partial tree-pattern query, XML, Query containment, Tree-structured data
64	Dimitri Theodoratos, Stefanos Souldatos, Theodore Dalamagas 0001, Pawel Placek, Timos K. Sellis	Heuristic containment check of partial tree-pattern queries in the presence of index graphs.	CIKM	2006	DBLP DOI BibTeX RDF	partial tree-pattern query, query containment, tree-structured data
64	David G. Clarke, James Noble 0001, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
61	Michael Benedikt, Gabriele Puppis, Huy Vu	Positive higher-order queries.	PODS	2010	DBLP DOI BibTeX RDF	higher-order queries
61	Toshimitsu Masuzawa, Sébastien Tixeuil	Bounding the Impact of Unbounded Attacks in Stabilization.	SSS	2006	DBLP DOI BibTeX RDF
57	Fang Wei 0001, Georg Lausen	A unified apriori-like algorithm for conjunctive query containment.	IDEAS	2008	DBLP DOI BibTeX RDF
57	Andrea Calì, Davide Martinenghi	Conjunctive Query Containment under Access Limitations.	ER	2008	DBLP DOI BibTeX RDF
57	Jin Yi, Wenhui Zhang	Enhancing Simulation for Checking Language Containment.	TAMC	2007	DBLP DOI BibTeX RDF
57	Foto N. Afrati, Chen Li 0001, Prasenjit Mitra	On Containment of Conjunctive Queries with Arithmetic Comparisons.	EDBT	2004	DBLP DOI BibTeX RDF
57	Carles Farré, Ernest Teniente, Toni Urpí	The Constructive Method for Query Containment Checking.	DEXA	1999	DBLP DOI BibTeX RDF
55	Parag Agrawal, Arvind Arasu, Raghav Kaushik	On indexing error-tolerant set containment.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	jaccard containment, indexing, transformations, data cleaning
55	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	J. ACM	2009	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
55	Victor Felea	On Containment of Conjunctive Queries with Negation.	ADBIS	2009	DBLP DOI BibTeX RDF	maximal sets, cliques in graphs, negation, query containment
55	Sarah H. Sellke, Ness B. Shroff, Saurabh Bagchi	Modeling and Automated Containment of Worms.	IEEE Trans. Dependable Secur. Comput.	2008	DBLP DOI BibTeX RDF	(viruses, worms, Trojan horses), (Internet scanning worms), (stochastic worm modeling), (branching process model), (preference scanning worms), (automatic worm containment)
55	Pawel Placek, Dimitri Theodoratos, Stefanos Souldatos, Theodore Dalamagas 0001, Timos K. Sellis	A heuristic approach for checking containment of generalized tree-pattern queries.	CIKM	2008	DBLP DOI BibTeX RDF	partial tree-pattern query, xml, query containment
55	Balder ten Cate, Carsten Lutz	The complexity of query containment in expressive fragments of XPath 2.0.	PODS	2007	DBLP DOI BibTeX RDF	XML, complexity, satisfiability, XPath, containment
55	Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner	Containment units: a hierarchically composable architecture for adaptive systems.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	containment units, adaptive systems, self-healing systems
54	Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer	FILIB++, a fast interval library supporting containment computations.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	C++ class library, containment computations, containment sets, exception free computations, filib++, guaranteed numerical results, traits class, validated numerics, validation, templates, interval arithmetic, interval computations
54	Antonio Elias Fabris, Marcos Machado Ottani Assis, A. Robin Forrest	Parallelization of Filling Algorithms on Distributed Memory Machines using the Point Containment Paradigm.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	filling algorithm parallelization, point containment paradigm, point containment predicate, mathematically well-defined object, point-driven algorithms, parallel configurations, point-driven algorithm, standard uniprocessor software implementation, interactive editing, parallel algorithms, computer graphics, distributed memory machines
52	Anish Arora, Hongwei Zhang 0001	LSRP: Local Stabilization in Shortest Path Routing.	DSN	2003	DBLP DOI BibTeX RDF
51	Hermann Kopetz	On the Fault Hypothesis for a Safety-Critical Real-Time System.	ASWSD	2004	DBLP DOI BibTeX RDF	Fault-Hypothesis, Error-Containment, State Repair, Fault-tolerance, Error Detection, Safety-Critical Systems
48	Rui Zhou 0001, Chengfei Liu, Junhu Wang, Jianxin Li 0001	Containment between Unions of XPath Queries.	DASFAA	2009	DBLP DOI BibTeX RDF
48	Akihiko Tozawa, Masami Hagiya	XML Schema Containment Checking Based on Semi-implicit Techniques.	CIAA	2003	DBLP DOI BibTeX RDF
48	Fang Wei 0001, Georg Lausen	Containment of Conjunctive Queries with Safe Negation.	ICDT	2003	DBLP BibTeX RDF
48	Sara Cohen, Werner Nutt, Yehoshua Sagiv	Containment of Aggregate Queries.	ICDT	2003	DBLP DOI BibTeX RDF
48	Jixue Liu, Millist W. Vincent	Containment and disjointedness in partitioned normal form relations.	Acta Informatica	2002	DBLP DOI BibTeX RDF
46	Gap-Joo Na, Sang-Won Lee 0001	A User-Defined Index for Containment Queries in XML.	ICCSA (2)	2009	DBLP DOI BibTeX RDF	user-defined index, containment query, XML
46	Manuel Costa, Jon Crowcroft, Miguel Castro 0001, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham 0001	Vigilante: End-to-end containment of Internet worm epidemics.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment
46	Didier Rémy	Simple, partial type-inference for System F based on type-containment.	ICFP	2005	DBLP DOI BibTeX RDF	type containment, type reconstruction, polymorphism, type inference, System F, elaboration
46	Manuel Costa, Jon Crowcroft, Miguel Castro 0001, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham 0001	Vigilante: end-to-end containment of internet worms.	SOSP	2005	DBLP DOI BibTeX RDF	self-certifying alerts, data flow analysis, control flow analysis, worm containment
46	Fabrice Correia	Semantics for Analytic Containment.	Stud Logica	2004	DBLP DOI BibTeX RDF	analytic containment, relevant implication, semantics
46	Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders	On Low-Cost Error Containment and Recovery Methods for Guarded Software Upgrading.	ICDCS	2000	DBLP DOI BibTeX RDF	Long-life applications, guarded software upgrading, error containment and recovery, inherent resource redundancies, checkpointing
44	Scott E. Coull, Boleslaw K. Szymanski	On the Development of an Internetwork-Centric Defense for Scanning Worms.	HICSS	2007	DBLP DOI BibTeX RDF
44	Gösta Grahne, Alex Thomo	Regular path queries under approximate semantics.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	68Q68, 68Q55, AMS subject classification 68P15, 68Q45
44	Chen Li 0001, Mayank Bawa, Jeffrey D. Ullman	Minimizing View Sets without Losing Query-Answering Power.	ICDT	2001	DBLP DOI BibTeX RDF
44	Alin Deutsch, Val Tannen	Optimization Properties for Classes of Conjunctive Regular Path Queries.	DBPL	2001	DBLP DOI BibTeX RDF
42	Ming Fu, Yu Zhang 0086	Homomorphism Resolving of XPath Trees Based on Automata.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	XPath tree, automata, containment, homomorphism
42	E. James Whitehead Jr., Guozheng Ge, Kai Pan	Automatic generation of hypertext system repositories: a model driven approach.	Hypertext	2004	DBLP DOI BibTeX RDF	containment modeling framework, hypertext data models, open hyperbase, model-driven development, automatic code generation
39	Todd J. Green	Containment of conjunctive queries on annotated relations.	ICDT	2009	DBLP DOI BibTeX RDF
39	Hubie Chen, Florent R. Madelaine, Barnaby Martin	Quantified Constraints and Containment Problems.	LICS	2008	DBLP DOI BibTeX RDF
39	Haitao Ma, Zhongxiao Hao, Yinghui Zhou	Active XML Schema Containment Checking Based on Tree Automata Theory.	CIT	2007	DBLP DOI BibTeX RDF
39	Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu	Query indexing with containment-encoded intervals for efficient stream processing.	Knowl. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Range indexing, Data streams, Range queries, Continual queries, Stream processing, Query indexing
39	Yuguo Liao, Jianhua Feng, Yong Zhang 0002, Lizhu Zhou	Hidden Conditioned Homomorphism for XPath Fragment Containment.	DASFAA	2006	DBLP DOI BibTeX RDF
39	Ali Kiani, Nematollaah Shiri	Containment of Conjunctive Queries with Arithmetic Expressions.	OTM Conferences (1)	2005	DBLP DOI BibTeX RDF
39	Zheng Zhang 0002, Alberto O. Mendelzon	Authorization Views and Conditional Query Containment.	ICDT	2005	DBLP DOI BibTeX RDF
39	Piero A. Bonatti	On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
39	Sergey Melnik 0001, Hector Garcia-Molina	Adaptive algorithms for set containment joins.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF
39	Wang Chiew Tan	Containment of Relational Queries with Annotation Propagation.	DBPL	2003	DBLP DOI BibTeX RDF
39	Yugyung Lee, James Geller	Efficient Transitive Closure Reasoning in a Combined Class-Part-Containment Hierarchy.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	IS-A hierarchies, Materialized transitive closure, Parallel artificial intelligence, Parallel reasoning, Part hierarchies, Transitive closure reasoning
39	Sergey Melnik 0001, Hector Garcia-Molina	Divide-and-Conquer Algorithm for Computing Set Containment Joins.	EDBT	2002	DBLP DOI BibTeX RDF
39	Chandra Chekuri, Anand Rajaraman	Conjunctive Query Containment Revisited.	ICDT	1997	DBLP DOI BibTeX RDF
39	Edmund M. Clarke, Anca Browne, Robert P. Kurshan	A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.	CAAP	1990	DBLP DOI BibTeX RDF
38	Omar Doukari, Robert Jeansoulin, Éric Würbel	Revision of Spatial Information by Containment.	PRICAI	2008	DBLP DOI BibTeX RDF	Containment property, Belief revision, Spatial information
38	John D. Pryce, George F. Corliss	Interval Arithmetic with Containment Sets.	Computing	2006	DBLP DOI BibTeX RDF	validated computation, division by zero, containment set, cset, Interval arithmetic, infinity
38	Xiong Yang, Jing Lu, Yuguang Zhu, Ping Wang	Simulation and Evaluation of a New Algorithm of Worm Detection and Containment.	PDCAT	2006	DBLP DOI BibTeX RDF	Algorithm, Worm, Worm detection, Worm Containment
38	Songqing Chen, Xinyuan Wang 0005, Lei Liu 0021, Xinwen Zhang	WormTerminator: an effective containment of unknown and polymorphic fast spreading worms.	ANCS	2006	DBLP DOI BibTeX RDF	wormterminator, zero-day worms, virtual machine, worm containment, polymorphic worms
38	David H. Lorenz, Predrag Petkovic	Design-Time Assembly of Runtime Containment Components.	TOOLS (34)	2000	DBLP DOI BibTeX RDF	Design-time, BeanBox, BeanContext, BDK, ContextBox, Runtime Containment and Services Protocol, Glasgow, Java, Components, Assembly, JavaBeans
35	Henrik Björklund, Wim Martens, Thomas Schwentick	Optimizing Conjunctive Queries over Trees Using Schema Information.	MFCS	2008	DBLP DOI BibTeX RDF
35	Andrea Calì, Diego Calvanese	Optimising Query Answering in the Presence of Access Limitations (Position Paper).	DEXA Workshops	2006	DBLP DOI BibTeX RDF
35	Robert Schaefer	Systems of systems and coordinated atomic actions.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
35	Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa	A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks.	OPODIS	2004	DBLP DOI BibTeX RDF
35	E. James Whitehead Jr., Dorrit Gordon	Uniform Comparison of Configuration Management Data Models.	SCM	2003	DBLP DOI BibTeX RDF
35	Jin-yi Cai, Venkatesan T. Chakaravarthy, Raghav Kaushik, Jeffrey F. Naughton	On the Complexity of Join Predicates. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
35	Masako Sato, Yasuhito Mukouchi, Dao Zheng	Characteristic Sets for Unions of Regular Pattern Languages and Compactness.	ALT	1998	DBLP DOI BibTeX RDF
35	Gitanjali Swamy, Robert K. Brayton	Incremental formal design verification.	ICCAD	1994	DBLP DOI BibTeX RDF
35	Henry G. Baker	Unify and Conquer.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
35	Yatin P. Saraiya	Polynomial-Time Program Transformations in Deductive Databases.	PODS	1990	DBLP DOI BibTeX RDF
33	Yang Xiang, Qiang Li 0008, Dong Guo 0002	Online Accumulation: Reconstruction of Worm Propagation Path.	NPC	2008	DBLP DOI BibTeX RDF	Propagation path, Online tracing, Worm, Containment
33	Arindam Biswas 0002, Suman Khara, Partha Bhowmick, Bhargab B. Bhattacharya	Extraction of regions of interest from face images using cellular analysis.	Bangalore Compute Conf.	2008	DBLP DOI BibTeX RDF	containment tree, face segmentation, biometrics, region of interest, adaptive thresholding
33	Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju	Fault-containing self-stabilizing distributed protocols.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Distributed algorithms, Transformer, Self-stabilization, Fault-containment
33	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Composition of Fault-Containing Protocols Based on Recovery Waiting Fault-Containing Composition Framework.	SSS	2006	DBLP DOI BibTeX RDF	Composition, Self-stabilization, Minimum Spanning Tree, Median, Fault-containment
33	Cynthia Wong, Stan Bielski, Ahren Studer, Chenxi Wang	Empirical Analysis of Rate Limiting Mechanisms.	RAID	2005	DBLP DOI BibTeX RDF	Internet Worms, Rate Limiting, Worm Containment
33	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks.	OPODIS	2004	DBLP DOI BibTeX RDF	Sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
33	Kai Pan, E. James Whitehead Jr., Guozheng Ge	Hypertext versioning for embedded link models.	Hypertext	2004	DBLP DOI BibTeX RDF	HTML versioning, containment model, hypertext versioning, link versioning, structure versioning, SCM, version control system
33	Mike D. Atkinson, Max Murphy, Nikola Ruskuc	Partially Well-Ordered Closed Sets of Permutations.	Order	2002	DBLP DOI BibTeX RDF	finite basis, partial well-order, pattern containment, permutation, involvement
33	Christian S. Jensen, Augustas Kligys, Torben Bach Pedersen, Igor Timko	Multidimensional data modeling for location-based services.	ACM-GIS	2002	DBLP DOI BibTeX RDF	partial containment, location-based services, multidimensional data
33	Eerke A. Boiten	Loose Specification and Refinement in Z.	ZB	2002	DBLP DOI BibTeX RDF	model containment, states-and-operations, loose specification, semantics, refinement, Z
33	Laks V. S. Lakshmanan, Nematollaah Shiri	A Parametric Approach to Deductive Databases with Uncertainty.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	Conjunctive query containment, fixpoint computation, semantics, uncertainty, query optimization, deductive databases, proof theory, multisets