Search results for "containment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
33	E. James Whitehead Jr.	Design spaces for link and structure versioning.	Hypertext	2001	DBLP DOI BibTeX RDF	hypertext versioning, link and structure versioning, configuration management, containment
33	Kinshuk Govil, Dan Teodosiu 0002, Yongqiang Huang 0002, Mendel Rosenblum	Cellular disco: resource management using virtual clusters on shared-memory multiprocessors.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	virtual machines, resource managment, fault containment, scalable multiprocessors
31	Miguel A. Goberna, Virginia N. Vera de Serio	On the stable containment of two sets.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	AMS Classification 49K40, 90C34, 90C25
31	Barbara Kordy	A Rewrite Approach for Pattern Containment.	WADT	2008	DBLP DOI BibTeX RDF
31	Junhu Wang, Jeffrey Xu Yu, Chengfei Liu, Rui Zhou 0001	Transforming Tree Patterns with DTDs for Query Containment Test.	DEXA	2008	DBLP DOI BibTeX RDF
31	Kate Lockwood, Andrew M. Lovett, Kenneth D. Forbus	Automatic Classification of Containment and Support Spatial Relations in English and Dutch.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	spatial prepositions, Cognitive modeling
31	Hoang Nguyen, Klara Nahrstedt	Attack Containment Framework for Large-Scale Critical Infrastructures.	ICCCN	2007	DBLP DOI BibTeX RDF
31	Michel Leclère, Marie-Laure Mugnier	Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.	ICDT	2007	DBLP DOI BibTeX RDF
31	Henrik Björklund, Wim Martens, Thomas Schwentick	Conjunctive Query Containment over Trees.	DBPL	2007	DBLP DOI BibTeX RDF
31	Luciano Silva	Point Containment in Discrete Arbitrary Dimension.	3DPVT	2006	DBLP DOI BibTeX RDF
31	Sanjeev Dwivedi	Feedback-basedWorm Containment.	AINA (1)	2006	DBLP DOI BibTeX RDF
31	Sarah H. Sellke, Ness B. Shroff, Saurabh Bagchi	Modeling and Automated Containment of Worms.	DSN	2005	DBLP DOI BibTeX RDF
31	Tadahiro Suda, Haruo Hosoya	Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.	CIAA	2005	DBLP DOI BibTeX RDF
31	Dmitry Shaporenkov	Efficient Main-Memory Algorithms for Set Containment Join Using Inverted Lists.	ADBIS	2005	DBLP DOI BibTeX RDF
31	Zografoula Vagena, Mirella Moura Moro, Vassilis J. Tsotras	Efficient Processing of XML Containment Queries Using Partition-Based Schemes.	IDEAS	2004	DBLP DOI BibTeX RDF
31	Hermann Kopetz	Fault Containment and Error Detection in the Time-Triggered Architecture.	ISADS	2003	DBLP DOI BibTeX RDF
31	Wei Wang 0011, Haifeng Jiang, Hongjun Lu, Jeffrey Xu Yu	Containment Join Size Estimation: Models and Methods.	SIGMOD Conference	2003	DBLP DOI BibTeX RDF	XML
31	Frank Neven, Thomas Schwentick	XPath Containment in the Presence of Disjunction, DTDs, and Variables.	ICDT	2003	DBLP BibTeX RDF
31	Sandra Murphy, Abhijit Hayatnagarkar, Suresh Krishnaswamy, Wayne Morrison, Robert Watson	Prophylactic, Treatment and Containment Techniques for Ensuring Active Network Security.	DISCEX (1)	2003	DBLP DOI BibTeX RDF
31	Ann T. Tai, Kam S. Tso, Leon Alkalai, Savio N. Chau, William H. Sanders	Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Guarded software upgrading, message-driven confidence-driven, global state consistency and recoverability, performance overhead, software fault tolerance, distributed embedded systems
31	Dorrit Gordon, E. James Whitehead Jr.	Containment Modeling of Content Management Systems.	Metainformatics	2002	DBLP DOI BibTeX RDF
31	Chun Zhang, Jeffrey F. Naughton, David J. DeWitt, Qiong Luo 0001, Guy M. Lohman	On Supporting Containment Queries in Relational Database Management Systems.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF	XML
31	Bernd Finkbeiner	Language Containment Checking with Nondeterministic BDDs.	TACAS	2001	DBLP DOI BibTeX RDF
31	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi	View-Based Query Answering and Query Containment over Semistructured Data.	DBPL	2001	DBLP DOI BibTeX RDF
31	Naomi Nishimura, Prabhakar Ragde, Dimitrios M. Thilikos	Finding Smallest Supertrees Under Minor Containment.	WG	1999	DBLP DOI BibTeX RDF
31	E. Lutwak	Containment and Circumscribing Simplices.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
31	Nieves R. Brisaboa, Héctor J. Hernández, José R. Paramá, Miguel R. Penabad	Containment of Conjunctive Queries with Built-in Predicates with Variables and Constants over any Ordered Domain.	ADBIS	1998	DBLP DOI BibTeX RDF
31	Gösta Grahne, Nicolas Spyratos, Daniel Stamate	Semantics and Containment with Internal and External Conjunctions.	ICDT	1997	DBLP DOI BibTeX RDF
31	Dan Teodosiu 0002, Joel Baxter, Kinshuk Govil, John Chapin, Mendel Rosenblum, Mark Horowitz	Hardware Fault Containment in Scalable Shared-Memory Multiprocessors.	ISCA	1997	DBLP DOI BibTeX RDF
31	Ramin Hojati, Robert B. Mueller-Thuns, Robert K. Brayton	Improving Language Containment Using Fairness Graphs.	CAV	1994	DBLP DOI BibTeX RDF
31	Ramin Hojati, Robert K. Brayton, Robert P. Kurshan	BDD-Based Debugging Of Design Using Language Containment and Fair CTL.	CAV	1993	DBLP DOI BibTeX RDF
31	Edward P. F. Chan	Containment and Minimization of Positive Conjunctive Queries in OODB's.	PODS	1992	DBLP DOI BibTeX RDF
31	Nicola Santoro, Stuart J. Sidney, Jorge Urrutia	Geometric Containment, Common Roots of Polynomials and Partial Orders.	STACS	1988	DBLP DOI BibTeX RDF
31	Rodney R. Howell, Louis E. Rosier	Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems.	ICALP	1987	DBLP DOI BibTeX RDF
29	Victor Felea	A New Algorithm for the Containment Problem of Conjunctive Queries with Safe Negation.	DBKDA	2010	DBLP DOI BibTeX RDF	negation, query containment, safeness
29	Victor Felea	A Strong Containment Problem for Queries in Conjunctive Form with Negation.	DBKDA	2009	DBLP DOI BibTeX RDF	containment mappings, Conjunctive queries, negation
29	Hongwei Zhang 0001, Anish Arora	Brief announcement: continuous containment and local stabilization in path-vector routing.	PODC	2005	DBLP DOI BibTeX RDF	continuous containment, high-frequency unanticipated faults, local stabilization, path-vector routing, fault tolerance
29	Ralf Rantzau	Processing frequent itemset discovery queries by division and set containment join operators.	DMKD	2003	DBLP DOI BibTeX RDF	association rule discovery, relational divison, set containment join
29	Chung-Ho Chen, Arun K. Somani	Fault Containment in Cache Memories for TMR Redundant Processor Systems.	IEEE Trans. Computers	1999	DBLP DOI BibTeX RDF	error detection and recovery, Caches, transient faults, fault-containment, redundant systems
29	Yannis E. Ioannidis, Raghu Ramakrishnan 0001	Containment of Conjunctive Queries: Beyond Relations as Sets	ACM Trans. Database Syst.	1995	DBLP DOI BibTeX RDF	query optimization, equivalence, conjunctive queries, query containment, multisets
29	Robert E. Glaser, Gerald M. Masson	The Containment Set Approach to Upsets in Digital Systems.	IEEE Trans. Computers	1982	DBLP DOI BibTeX RDF	upset, Containment set, fault tolerance, error, fault, control system, transition matrix
26	Max Schäfer, Oege de Moor	Type inference for datalog with complex type hierarchies.	POPL	2010	DBLP DOI BibTeX RDF	type system, datalog, type inference
26	Boris Rozenberg, Ehud Gudes, Yuval Elovici	A Distributed Framework for the Detection of New Worm-Related Malware.	EuroISI	2008	DBLP DOI BibTeX RDF	malware propagation, collaborative detection, malware detection
26	Sai T. Moturu, Huan Liu 0001, William G. Johnson	Understanding the Effects of Sampling on Healthcare Risk Modeling for the Prediction of Future High-Cost Patients.	BIOSTEC (Selected Papers)	2008	DBLP DOI BibTeX RDF	Predictive risk modeling, health care expenditures, Medicaid, future high-cost patients, non-random sampling, risk adjustment, skewed data, imbalanced data classification, data mining
26	Sai T. Moturu, William G. Johnson, Huan Liu 0001	Predicting Future High-Cost Patients: A Real-World Risk Modeling Application.	BIBM	2007	DBLP DOI BibTeX RDF
26	Ralf Rantzau, Christoph Mangold	Laws for Rewriting Queries Containing Division Operators.	ICDE	2006	DBLP DOI BibTeX RDF
26	Melanie Baljko, Andrew Tam	Indirect text entry using one or two keys.	ASSETS	2006	DBLP DOI BibTeX RDF	indirect text entry, interventions for communication disorders, speech generating devices (SGD), voice output communication aids (VOCA), information theory, scanning, augmentative and alternative communication (AAC), interface evaluation
26	Riccardo Rosati 0001	On the decidability and finite controllability of query processing in databases with incomplete information.	PODS	2006	DBLP DOI BibTeX RDF
26	Pierre Genevès, Nabil Layaïda	Comparing XML path expressions.	ACM Symposium on Document Engineering	2006	DBLP DOI BibTeX RDF	analysis, experimentation, XPath
26	Sofus A. Macskassy, Foster J. Provost, Saharon Rosset	ROC confidence bands: an empirical evaluation.	ICML	2005	DBLP DOI BibTeX RDF
26	Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu	Interval query indexing for efficient stream processing.	CIKM	2004	DBLP DOI BibTeX RDF	interval indexing, query monitoring, data streams, continual queries, query indexing
26	Michael Bauland, Philippe Chapdelaine, Nadia Creignou, Miki Hermann, Heribert Vollmer	An Algebraic Approach to the Complexity of Generalized Conjunctive Queries.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
26	In-Ho Moon, Carl Pixley	Non-miter-based Combinational Equivalence Checking by Comparing BDDs with Different Variable Orders.	FMCAD	2004	DBLP DOI BibTeX RDF
26	Walter Krämer, Jürgen Wolff von Gudenberg	Extended Interval Power Function.	Reliab. Comput.	2003	DBLP DOI BibTeX RDF
26	Jin Uemura, Masako Sato	Compactness and Learning of Classes of Unions of Erasing Regular Pattern Languages.	ALT	2002	DBLP DOI BibTeX RDF
26	Sara Cohen, Yaron Kanza, Yehoshua Sagiv	SQL4X: A Flexible Query Language for XML and Relational Databases.	DBPL	2001	DBLP DOI BibTeX RDF
26	Enrico Macii, Bernard Plessier, Fabio Somenzi	Formal verification of digital systems by automatic reduction of data paths.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
26	Oscar H. Ibarra, Tao Jiang 0001, Nicholas Q. Trân, Hui Wang 0008	New Decidability Results Concerning Two-way Counter Machines and Applications.	ICALP	1993	DBLP DOI BibTeX RDF
26	Yatin P. Saraiya	Linearizing Nonlinear Recursions in Polynomial Time.	PODS	1989	DBLP DOI BibTeX RDF	Datalog
26	Anthony C. Klug	On conjunctive queries containing inequalities.	J. ACM	1988	DBLP DOI BibTeX RDF
25	Sergio Flesca, Filippo Furfaro, Elio Masciari	On the minimization of XPath queries.	J. ACM	2008	DBLP DOI BibTeX RDF	XPath expressions, query minimization, Query containment, tree pattern matching
25	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, Toshimitsu Masuzawa	Timer-Based Composition of Fault-Containing Self-stabilizing Protocols.	IDC	2008	DBLP DOI BibTeX RDF	composition, self-stabilization, timer, fault-containment
25	René Brandenberg, Lucia Roth	New Algorithms for k-Center and Extensions.	COCOA	2008	DBLP DOI BibTeX RDF	geometric inequalities, diameter partition, SOCP, 2-SAT, approximation algorithms, computational geometry, branch-and-bound, containment, k-center, core-sets
25	Min Cai, Kai Hwang 0001, Jianping Pan 0001, Christos Papadopoulos	WormShield: Fast Worm Signature Generation with Distributed Fingerprint Aggregation.	IEEE Trans. Dependable Secur. Comput.	2007	DBLP DOI BibTeX RDF	distributed aggregation tree, cardinality counting, Network security, distributed hash table, traffic measurement, Internet worms, signature generation, worm containment
25	Pierre Genevès, Nabil Layaïda	A system for the static analysis of XPath.	ACM Trans. Inf. Syst.	2006	DBLP DOI BibTeX RDF	XML, query, logic, XPath, equivalence, Containment
25	Manolis Terrovitis, Spyros Passas, Panos Vassiliadis, Timos K. Sellis	A combination of trie-trees and inverted files for the indexing of set-valued attributes.	CIKM	2006	DBLP DOI BibTeX RDF	HTI, containment queries, inverted files, tries
25	Abhijit Bose, Kang G. Shin	Proactive security for mobile messaging networks.	Workshop on Wireless Security	2006	DBLP DOI BibTeX RDF	SMS/MMS, mobile viruses, worms, containment, Instant Messaging (IM), proactive security
25	Richard Cobbe, Matthias Felleisen	Environmental acquisition revisited.	POPL	2005	DBLP DOI BibTeX RDF	environmental acquisition, object containment, object-oriented languages, object composition
25	Toshimitsu Masuzawa, Sébastien Tixeuil	A Self-stabilizing Link-Coloring Protocol Resilient to Unbounded Byzantine Faults in Arbitrary Networks.	OPODIS	2005	DBLP DOI BibTeX RDF	link-coloring, fault tolerance, self-stabilization, distributed protocol, Byzantine fault, fault containment
25	Li Chen 0016, Song Wang 0001, Elizabeth Cash, Burke Ryder, Ian Hobbs, Elke A. Rundensteiner	A fine-grained replacement strategy for XML query cache.	WIDM	2002	DBLP DOI BibTeX RDF	cache replacement strategy, XML, XQuery, query rewriting, semantic caching, query containment
25	Nathan Hurst, Kim Marriott, Peter Moulder	Dynamic approximation of complex graphical constraints by linear constraints.	UIST	2002	DBLP DOI BibTeX RDF	linearization of constraints, non-overlap, direct manipulation, constraint-solving, containment, trust regions
25	Alon Y. Halevy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli	Static analysis in datalog extensions.	J. ACM	2001	DBLP DOI BibTeX RDF	query satisfiability, Abstract interpretation, datalog, query containment
25	Chen Li 0001, Edward Y. Chang	Answering queries with useful bindings.	ACM Trans. Database Syst.	2001	DBLP DOI BibTeX RDF	Datalog programs, information-integration systems, limited source capabilities, query containment
25	Boris Chidlovskii, Uwe M. Borghoff	Semantic Caching of Web Queries.	VLDB J.	2000	DBLP DOI BibTeX RDF	Region containment, Experiments, Semantic caching, Signature files, Query algorithms
25	Elisa Bertino, Danilo Montesi, Alberto Trombetta	Fuzzy and Presentation Algebras for Web and Multimedia Data.	IDEAS	2000	DBLP DOI BibTeX RDF	fuzzy algebra, presentation algebra, containment rules, query languages, query languages, relational algebra, equivalence, multimedia data
25	Qiong Luo 0001, Jeffrey F. Naughton, Rajasekar Krishnamurthy, Pei Cao, Yunrui Li	Active Query Caching for Database Web Servers.	WebDB (Selected Papers)	2000	DBLP DOI BibTeX RDF	Active query caching, database web servers, proxy caching, query containment
25	Christoph Kern, Mark R. Greenstreet	Formal verification in hardware design: a survey.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF	language containment, model checking, formal methods, formal verification, case studies, theorem proving, survey, hardware verification
25	Georg Gottlob, Nicola Leone, Francesco Scarcello	The Complexity of Acyclic Conjunctive Queries.	FOCS	1998	DBLP DOI BibTeX RDF	acyclic hypergraph, join tree, LOGCFL, parallel algorithms, computational complexity, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, tree query
25	Xubo Zhang, Z. Meral Özsoyoglu	Implication and Referential Constraints: A New Formal Reasoning.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation
25	Frédéric Salles, Jean Arlat, Jean-Charles Fabre	Can we rely on COTS microkernels for building fault-tolerant systems?	FTDCS	1997	DBLP DOI BibTeX RDF	COTS microkernels, functional primitives, fault containment mechanisms, detection mechanisms, Chorus microkernel, embedded fault-tolerant systems, commercial executives, dependability, fault injection, application program interfaces, API, safety-critical systems, fault-tolerant systems, application software, Commercial-Off-The-Shelf components
25	Alfred P. Maneki	Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models.	CSFW	1995	DBLP DOI BibTeX RDF	trace models, associative laws, commutative laws, containment relationships, information systems, information systems, security of data, security properties, event systems, system composition, algebraic properties
25	Stephen J. Garland, John V. Guttag, James J. Horning	Debugging Larch Shared Language Specifications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Larch shared language specifications, checkability, Larch power, theory containment, design, formal specification, parallel programming, debugging, consistency, development, inference mechanisms, program debugging, static semantics, concurrent algorithms
22	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Fault-Containment in Weakly-Stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
22	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Probabilistic Fault-Containment.	SSS	2007	DBLP DOI BibTeX RDF
22	Johan Reimann, George J. Vachtsevanos	UAVs in Urban Operations: Target Interception and Containment.	J. Intell. Robotic Syst.	2006	DBLP DOI BibTeX RDF	differential games theory, swarm coordination, time-optimal control
22	Bruce E. Litow	A Special Case of a Unary Regular Language Containment.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
22	Vyas Sekar, Yinglian Xie, Michael K. Reiter, Hui Zhang 0001	A Multi-Resolution Approach for Worm Detection and Containment.	DSN	2006	DBLP DOI BibTeX RDF
22	Giancarlo Ferrari-Trecate, Magnus Egerstedt, Annalisa Buffa, Meng Ji	Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control.	HSCC	2006	DBLP DOI BibTeX RDF
22	Andrea Calì	Containment of Conjunctive Queries over Conceptual Schemata.	DASFAA	2006	DBLP DOI BibTeX RDF
22	Anália Lourenço, Orlando Belo	Applying Clickstream Data Mining to Real-Time Web Crawler Detection and Containment Using ClickTips Platform.	GfKl	2006	DBLP DOI BibTeX RDF
22	Min Cai, Kai Hwang 0001, Yu-Kwong Kwok, Shanshan Song, Yu Chen 0002	Collaborative Internet Worm Containment.	IEEE Secur. Priv.	2005	DBLP DOI BibTeX RDF	network security, anomaly detection, distributed hash tables, DHT, overlay networks, distributed denial-of-service, DDoS attacks, Internet worms, signature generation
22	Daeil Park, Motomichi Toyama	XML Cache Management Based On XPath Containment Relationship.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
22	Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen	Containment and Minimization of RDF/S Query Patterns.	ISWC	2005	DBLP DOI BibTeX RDF
22	Ernst Althaus, Friedrich Eisenbrand, Stefan Funke, Kurt Mehlhorn	Point containment in the integer hull of a polyhedron.	SODA	2004	DBLP BibTeX RDF
22	Georg Lausen, Fang Wei 0001	On the Containment of Conjunctive Queries.	Computer Science in Perspective	2003	DBLP DOI BibTeX RDF
22	Min Jin, Jong-Myoung Kim	Block Splitting Indexing for Supporting Containment Queries.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
22	Stefan Böttcher, Rita Steinmetz	Testing Containment of XPath Expressions in Order to Reduce the Data Transfer to Mobile Clients.	ADBIS	2003	DBLP DOI BibTeX RDF
22	Amit Chakrabarti, Subhash Khot, Yaoyun Shi	Evasiveness of Subgraph Containment and Related Properties.	STACS	2001	DBLP DOI BibTeX RDF	Decision Tree Complexity, Monotone Graph Properties, Graph Property Testing, Evasiveness
22	Yu-Kumg Chen, Shuo-Yan Chou, Tzong-Chen Wu	An Efficient Method for Computing the Feasible Region with Translational Containment between Two Convex Polygons.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF
22	Christof Fetzer, Zhen Xiao	Detecting Heap Smashing Attacks through Fault Containment Wrappers.	SRDS	2001	DBLP DOI BibTeX RDF