Search results for "containment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Ian Horrocks 0001, Ulrike Sattler, Sergio Tessaris, Stephan Tobies	How to Decide Query Containment Under Constraints Using a Description Logic.	LPAR	2000	DBLP DOI BibTeX RDF
22	Frédéric Salles, Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat	MetaKernels and Fault Containment Wrappers.	FTCS	1999	DBLP DOI BibTeX RDF
22	Brian Ness, Viet Ngo	Regression Containment through Source Change Isolation.	COMPSAC	1997	DBLP DOI BibTeX RDF
22	Felice Balarin, Alberto L. Sangiovanni-Vincentelli	An Iterative Approach to Language Containment.	CAV	1993	DBLP DOI BibTeX RDF
22	Rodney R. Howell	On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States.	STACS	1987	DBLP DOI BibTeX RDF
22	Paolo Atzeni, Douglas Stott Parker Jr.	Set Containment Inference.	ICDT	1986	DBLP DOI BibTeX RDF
22	Steven Fortune	A Fast Algorithm for Polygon Containment by Translation (Extended Abstract).	ICALP	1985	DBLP DOI BibTeX RDF
22	David S. Johnson, Anthony C. Klug	Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies.	PODS	1982	DBLP DOI BibTeX RDF
22	Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt	The Complexity of Equivalence and Containment for Free Single Variable Program Schemes.	ICALP	1978	DBLP DOI BibTeX RDF
17	Rahul Jain 0001, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous	QIP = PSPACE.	STOC	2010	DBLP DOI BibTeX RDF	matrix multiplicative weights update method, quantum interactive proof systems, quantum computation, semidefinite programming
17	Guoliang Li 0001, Jianhua Feng, Jianyong Wang 0001, Lizhu Zhou	Incremental sequence-based frequent query pattern mining from XML queries.	Data Min. Knowl. Discov.	2009	DBLP DOI BibTeX RDF	Frequent query patterns, XML frequent pattern mining, Incremental mining, Sequential pattern mining, XML query patterns
17	Wenfei Fan, Floris Geerts	Relative information completeness.	PODS	2009	DBLP DOI BibTeX RDF	information completeness, master data, constraints, consistency
17	Oleg Komogortsev, Javed I. Khan	Predictive real-time perceptual compression based on eye-gaze-position analysis.	ACM Trans. Multim. Comput. Commun. Appl.	2008	DBLP DOI BibTeX RDF	Real-time multimedia compression, human visual system
17	Laurel M. Swan, Alex S. Taylor, Richard H. R. Harper	Making place for clutter and other ideas of home.	ACM Trans. Comput. Hum. Interact.	2008	DBLP DOI BibTeX RDF	sacred, ethnography, domestic technology, Clutter, home life
17	Alin Deutsch, Alan Nash, Jeffrey B. Remmel	The chase revisited.	PODS	2008	DBLP DOI BibTeX RDF	chase
17	Narendra Ahuja, Sinisa Todorovic	Connected Segmentation Tree - A joint representation of region layout and hierarchy.	CVPR	2008	DBLP DOI BibTeX RDF
17	Johannes Bohnet, Jürgen Döllner	Analyzing dynamic call graphs enhanced with program state information for feature location and understanding.	ICSE Companion	2008	DBLP DOI BibTeX RDF	concept assignment, reverse engineering, maintenance, dynamic analysis, software visualization, feature location
17	Shakhar Smorodinsky, Marek Sulovský, Uli Wagner 0001	On Center Regions and Balls Containing Many Points.	COCOON	2008	DBLP DOI BibTeX RDF
17	Jianhua Feng, Qian Qian, Jianyong Wang 0001, Li-Zhu Zhou	Efficient Mining of Frequent Closed XML Query Pattern.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	frequent closed pattern, data mining, XML, XPath, computer software
17	Yijun Bei, Gang Chen 0001, Tianlei Hu, Jinxiang Dong	A Caching System for XML Queries Using Frequent Query Patterns.	CSCWD	2007	DBLP DOI BibTeX RDF
17	Mark Lanus	Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards.	ISAS	2007	DBLP DOI BibTeX RDF	Fault Management Model, Advanced Mezzanine Card, AMC, AMC Carrier, PCI Mezzanine Card, PMC, PMC Carrier, Availability Model
17	Weimin He, Leonidas Fegaras, David Levine	Indexing and Searching XML Documents Based on Content and Structure Synopses.	BNCOD	2007	DBLP DOI BibTeX RDF
17	Yijun Bei, Gang Chen 0001, Jinxiang Dong	Improving XML Querying with Maximal Frequent Query Patterns.	International Conference on Computational Science (1)	2007	DBLP DOI BibTeX RDF	Ming, Maximal Frequent Pattern, Caching, XML Query
17	Himanshu Arora, Narendra Ahuja	Modelling Objects using Distribution and Topology of Multiscale Region Pairs.	CVPR	2007	DBLP DOI BibTeX RDF
17	Nidhi Aggarwal, Parthasarathy Ranganathan, Norman P. Jouppi, James E. Smith 0001	Configurable isolation: building high availability systems with commodity multi-core processors.	ISCA	2007	DBLP DOI BibTeX RDF	chip multiprocessors, high availability, fault isolation
17	Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu	Incremental Processing of Continual Range Queries over Moving Objects.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	continual range queries, mobile computing, moving objects, location-aware applications, Query indexing
17	Jianhua Feng, Qian Qian, Jianyong Wang 0001, Lizhu Zhou	Exploit sequencing to accelerate hot XML query pattern mining.	SAC	2006	DBLP DOI BibTeX RDF
17	Yih Huang, David Arsenault, Arun Sood	Incorruptible system self-cleansing for intrusion tolerance.	IPCCC	2006	DBLP DOI BibTeX RDF
17	Ashwin Machanavajjhala, Johannes Gehrke	On the efficiency of checking perfect privacy.	PODS	2006	DBLP DOI BibTeX RDF
17	Anália Lourenço, Orlando Belo	Catching web crawlers in the act.	ICWE	2006	DBLP DOI BibTeX RDF	data webhousing, web usage mining, web crawler, traverse patterns
17	Saeed Rajput, Xiaoguang Sun, Sam Hsu	Mitigating Worm Propagation on Virtual LANs.	LCN	2006	DBLP DOI BibTeX RDF
17	Subhash Khot	Guest column: inapproximability results via Long Code based PCPs.	SIGACT News	2005	DBLP DOI BibTeX RDF
17	Changqing Li, Tok Wang Ling, Jiaheng Lu, Tian Yu	On reducing redundancy and improving efficiency of XML labeling schemes.	CIKM	2005	DBLP DOI BibTeX RDF	XML, redundancy, query, labeling scheme
17	Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu	On Incremental Processing of Continual Range Queries for Location-Aware Services and Applications.	MobiQuitous	2005	DBLP DOI BibTeX RDF	Mobilec Computing, Location-Aware Applications and Continual Range Queries, Moving Objects, Query Indexing
17	Andrew J. Malton, Richard C. Holt	Boxology of NBA and TA: A Basis for Understanding Software Architecture.	WCRE	2005	DBLP DOI BibTeX RDF
17	Milan Vojnovic, Ayalvadi J. Ganesh	On the effectiveness of automatic patching.	WORM	2005	DBLP DOI BibTeX RDF	minimum broadcast curve, worm, patching, virus, epidemic, software updates, automatic updates
17	Linda Briesemeister, Phillip A. Porras	Microscopic Simulation of a Group Defense Strategy.	PADS	2005	DBLP DOI BibTeX RDF
17	Dacheng Zhang, Jie Xu 0007	Multi-Party Authentication for Web Services: Protocols, Implementation and Evaluation.	ISORC	2004	DBLP DOI BibTeX RDF	security, Web services, fault tolerance, Authentication, key exchange, Internet computing
17	Ralf Rantzau	Frequent Itemset Discovery with SQL Using Universal Quantification.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
17	Stuart Staniford, David Moore 0001, Vern Paxson, Nicholas Weaver	The top speed of flash worms.	WORM	2004	DBLP DOI BibTeX RDF	flash worm, simulation, modeling, worms
17	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	Reasoning on regular path queries.	SIGMOD Rec.	2003	DBLP DOI BibTeX RDF
17	Lei Luo 0004, Ming-Yuan Zhu	Partitioning based operating system: a formal model.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF
17	Frank K. Hwang, Yu-Chi Liu	Random Pooling Designs Under Various Structures.	J. Comb. Optim.	2003	DBLP DOI BibTeX RDF	random pooling designs, clone library screening, k-clique
17	Bing Sun, Jianhua Lv, Guoren Wang, Ge Yu 0001, Bo Zhou	Efficient Evaluation of XML Path Queries with Automata.	WAIM	2003	DBLP DOI BibTeX RDF
17	Sandra Murphy, Abhijit Hayatnagarkar, Suresh Krishnaswamy, Wayne Morrison, Robert Watson	Active Network Fault Response.	DISCEX (2)	2003	DBLP DOI BibTeX RDF
17	Ricardo Rodrigues Ciferri, Ana Carolina Salgado, Valéria Cesário Times, Mario A. Nascimento, Geovane Cayres Magalhães	A Performance Comparison among the Traditional R-trees, the Hilbert R-tree and the SR-tree.	SCCC	2003	DBLP DOI BibTeX RDF
17	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An assume-guarantee rule for checking simulation.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	verification rules, Simulation relations
17	Arshad Jhumka, Martin Hiller, Neeraj Suri	An Approach to Specify and Test Component-Based Dependable Software.	HASE	2002	DBLP DOI BibTeX RDF
17	Shurug Al-Khalifa, H. V. Jagadish	Multi-level operator combination in XML query processing.	CIKM	2002	DBLP DOI BibTeX RDF	XML, query processing
17	Chunling Du, Jingliang Zhang, Guoxiao Guo	Vibration analysis and optimal control in self-servo track writer.	ICARCV	2002	DBLP DOI BibTeX RDF
17	Kousha Etessami	A Hierarchy of Polynomial-Time Computable Simulations for Automata.	CONCUR	2002	DBLP DOI BibTeX RDF
17	Arshad Jhumka, Martin Hiller, Neeraj Suri	Component-Based Synthesis of Dependable Embedded Software.	FTRTFT	2002	DBLP DOI BibTeX RDF
17	Daniel P. Miranker, Malcolm C. Taylor, Anand Padmanaban	A Tractable Query Cache by Approximation.	SARA	2002	DBLP DOI BibTeX RDF
17	David W. Kravitz, Kim-Ee Yeoh, Nicol So	Secure Open Systems for Protecting Privacy and Digital Services.	Digital Rights Management Workshop	2001	DBLP DOI BibTeX RDF
17	Junhu Wang, Rodney W. Topor, Michael J. Maher	Reasoning with Disjunctive Constrained Tuple-Generating Dependencies.	DEXA	2001	DBLP DOI BibTeX RDF
17	Fang Wei 0001, Georg Lausen	A Formal Analysis of the Lightweight Directory Access Protocol.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
17	Prasenjit Mitra	An algorithm for answering queries efficiently using views.	ADC	2001	DBLP DOI BibTeX RDF
17	Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau	Low-Cost Flexible Software Fault Tolerance for Distributed Computing.	ISSRE	2001	DBLP DOI BibTeX RDF
17	Lingli Wang, A. E. A. Almaini	Multilevel Logic Minimization Using Functional Don't Cares.	VLSI Design	2001	DBLP DOI BibTeX RDF
17	André Bergholz, Johann Christoph Freytag	Managing Schemata for Semistructured Databases Using Constraints.	ADBIS-DASFAA	2000	DBLP DOI BibTeX RDF
17	Jean-Charles Fabre	On the Use of COTS Microkernels for Dependable Systems.	ISADS	1999	DBLP DOI BibTeX RDF
17	Elena Baralis, Giuseppe Psaila	Incremental Refinement of Mining Queries.	DaWaK	1999	DBLP DOI BibTeX RDF
17	Kinshuk Govil, Dan Teodosiu 0002, Yongqiang Huang 0002, Mendel Rosenblum	Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors.	SOSP	1999	DBLP DOI BibTeX RDF
17	Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran	An Assume-Guarantee Rule for Checking Simulation.	FMCAD	1998	DBLP DOI BibTeX RDF
17	Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos	Automatic verification of implementations of large circuits against HDL specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
17	Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis	Existence of Reduction Hierarchies.	CSL	1997	DBLP DOI BibTeX RDF
17	Gitanjali Swamy	Formal Verification of Digital Systems.	VLSI Design	1997	DBLP DOI BibTeX RDF
17	Antonio Massari, Lorenzo Saladini	Virgilio: a VR-based system for database visualization.	AVI	1996	DBLP DOI BibTeX RDF
17	Chandrajit L. Bajaj, Insung Ihm	Hermite Interpolation of Rational Space Curves Using Real Algebraic Surfaces.	SCG	1989	DBLP DOI BibTeX RDF
17	Oded Shmueli	Decidability and Expressiveness of Logic Queries.	PODS	1987	DBLP DOI BibTeX RDF
17	Eitan M. Gurari, Oscar H. Ibarra	The Complexity of Decision Problems for Finite-Turn Multicounter Machines.	ICALP	1981	DBLP DOI BibTeX RDF
16	Matt Duckham, Doron Nussbaum, Jörg-Rüdiger Sack, Nicola Santoro	Efficient, Decentralized Computation of the Topology of Spatial Regions.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF	decentralized spatial computing, wireless sensor networks, containment, Qualitative spatial reasoning, adjacency, geosensor networks
16	Sven Köhler 0001, Volker Turau	Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap.	ICDCS	2010	DBLP DOI BibTeX RDF	single transient faults, self-stabilization, fault-containment
16	Junhu Wang, Jeffrey Xu Yu, Chengfei Liu	Independence of Containing Patterns Property and Its Application in Tree Pattern Query Rewriting Using Views.	World Wide Web	2009	DBLP DOI BibTeX RDF	XPath, views, rewriting, containment, tree pattern
16	Rebecca Robinson, Graham Farr	Structure and Recognition of Graphs with No 6-wheel Subdivision.	Algorithmica	2009	DBLP DOI BibTeX RDF	Topological containment, Subgraph homeomorphism problem, Graph algorithms, Subdivisions
16	Junhu Wang, Jeffrey Xu Yu, Chaoyi Pang, Chengfei Liu	Minimal common container of tree patterns.	CIKM	2009	DBLP DOI BibTeX RDF	xpath, containment, tree pattern
16	Michael Benedikt, Wenfei Fan, Floris Geerts	XPath satisfiability in the presence of DTDs.	J. ACM	2008	DBLP DOI BibTeX RDF	XML, Satisfiability, XPath, Containment, DTDs
16	Medha Umarji, Carolyn B. Seaman	Why do programmers avoid metrics?	ESEM	2008	DBLP DOI BibTeX RDF	in-process metrics, phase containment, static analysis, software metrics, quality, unit testing, code review
16	Piero A. Bonatti, Fabio Mogavero	Comparing Rule-Based Policies.	POLICY	2008	DBLP DOI BibTeX RDF	Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification
16	Tetz C. Huang	An efficient fault-containing self-stabilizing algorithm for the shortest path problem.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Single-fault situation, Stabilization time, Shortest path problem, Fault-containment, Self-stabilizing algorithm
16	David Brumley, Li-Hao Liu, Pongsin Poosankam, Dawn Xiaodong Song	Design space and analysis of worm defense strategies.	AsiaCCS	2006	DBLP DOI BibTeX RDF	defense strategy analysis, local containment, proactive protection, worm taxonomy, worms, blacklisting, antibody, worm propagation
16	Joffroy Beauquier, Sylvie Delaët, Sammy Haddad	A 1-Strong Self-stabilizing Transformer.	SSS	2006	DBLP DOI BibTeX RDF	k-strong, Transformer, Self-stabilization, Fault Containment
16	Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu	Efficient structural joins with on-the-fly indexing.	WWW (Special interest tracks and posters)	2005	DBLP DOI BibTeX RDF	containment queries, XML, structural joins
16	Ali Kiani, Nematollaah Shiri	Answering queries with arithmetic expressions in heterogeneous systems.	IHIS	2005	DBLP DOI BibTeX RDF	metadata, constraints, views, query rewriting, containment
16	Christian S. Jensen, Augustas Kligys, Torben Bach Pedersen, Igor Timko	Multidimensional data modeling for location-based services.	VLDB J.	2004	DBLP DOI BibTeX RDF	Partial containment, Location-based services, Data modeling, Multidimensional data
16	Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch	Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks.	PODC	2004	DBLP DOI BibTeX RDF	sensor networks, tracking, self-stabilization, distributed data structures, fault-containment
16	Pierre Genevès, Jean-Yves Vion-Dury	Logic-based XPath optimization.	ACM Symposium on Document Engineering	2004	DBLP DOI BibTeX RDF	optimization, XML, efficiency, query, XPath, containment, axiomatization
16	Chan Yu, Souran Manoochehri	Optimal packing using the multiple mating method.	Eng. Comput.	2003	DBLP DOI BibTeX RDF	Geometric Feature Mating, Containment, Packing, Nesting, Convex Decomposition
16	Ji-Cherng Lin, Tetz C. Huang	An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	Central demon, single transient fault, restrictions on guard conditions, primary variables, auxiliary secondary variables, stabilization time, contamination number, maximal independent set, fault-containment
16	Zohra Bellahsene	Schema Evolution in Data Warehouses.	Knowl. Inf. Syst.	2002	DBLP DOI BibTeX RDF	Data warehouse evolution, Structural view maintenance, Containment, View maintenance, View adaptation
16	David Harel, Orna Kupferman	On Object Systems and Behavioral Inheritance.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design
16	Franky Lam, Nicole Lam, Raymond K. Wong 0001	Efficient synchronization for mobile XML data.	CIKM	2002	DBLP DOI BibTeX RDF	information subscription, path containment, XML, information dissemination
16	Georg Gottlob, Nicola Leone, Francesco Scarcello	The complexity of acyclic conjunctive queries.	J. ACM	2001	DBLP DOI BibTeX RDF	LOGCFL, acyclic hypergraph, degree of cyclicity, hinge, join tree, qury-idth, algorithm, parallel algorithm, constraint, CSP, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, bounded treewidth, tree query
16	Ted Herman	Superstabilizing Mutual Exclusion.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Self-stabilization, Mutual exclusion, Fault-containment
16	Ted Herman	Phase Clocks for Transient Fault Repair.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	fault tolerance, Distributed algorithms, synchronizers, self stabilization, fault containment, time adaptive
16	Fernando Ferri, Elaheh Pourabbas, Maurizio Rafanelli, Fabrizio L. Ricci	Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data.	SSDBM	2000	DBLP DOI BibTeX RDF	Complete Containment Function, Full Contains, Functional Attributes, Statistical Database, Geographic Database
16	David G. Clarke, John Potter, James Noble 0001	Ownership Types for Flexible Alias Protection.	OOPSLA	1998	DBLP DOI BibTeX RDF	alias protection, representation exposure, sharing, containment, ownership, programming language design
16	Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju	Fault-containing network protocols.	SAC	1997	DBLP DOI BibTeX RDF	fault-containment network, fault-tolerance, self-stabilization
16	H. Jedidi, Béchir el Ayeb	A distributed simulation based monitoring.	FTDCS	1997	DBLP DOI BibTeX RDF	distributed simulation based monitoring, MSS, computer-based monitoring system, integrated cooperative objects, object-based framework, cooperating objects model, high performance algorithms, monitoring tasks, control assistant, hierarchical design style, complex control tools, software reuse, system design, inheritance, dynamic system, encapsulation, blackboard architecture, blackboard architecture, fault containment, object oriented methodologies
16	Jon M. Kleinberg, Ronitt Rubinfeld	Short Paths in Expander Graphs.	FOCS	1996	DBLP DOI BibTeX RDF	inter-connection networks, disjoint paths problem, graph minor containment, polylogarithmic approximation, routing algorithms, greedy algorithm, network routing, multicommodity flow, expander graphs