Search results for "containment"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
4	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
3	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
3	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
3	Dimitri Theodoratos, Pawel Placek, Theodore Dalamagas, 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
3	Gap-Joo Na, Sang-Won Lee	A User-Defined Index for Containment Queries in XML.	ICCSA	2009	DBLP DOI BibTeX RDF	user-defined index, containment query, XML
3	Victor Felea	On Containment of Conjunctive Queries with Negation.	ADBIS	2009	DBLP DOI BibTeX RDF	maximal sets, cliques in graphs, negation, query containment
3	Sarah H. Sellke, Ness B. Shroff, Saurabh Bagchi	Modeling and Automated Containment of Worms.	IEEE Trans. Dependable Sec. 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)
3	Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham	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
3	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
3	Omar Doukari, Robert Jeansoulin, Eric Würbel	Revision of Spatial Information by Containment.	PRICAI	2008	DBLP DOI BibTeX RDF	Containment property, Belief revision, Spatial information
3	Pawel Placek, Dimitri Theodoratos, Stefanos Souldatos, Theodore Dalamagas, 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
3	Jianhua Feng, Yuguo Liao, Yong Zhang	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
3	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
3	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
3	Songqing Chen, Xinyuan Wang, Lei Liu, 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
3	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
3	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
3	Dimitri Theodoratos, Stefanos Souldatos, Theodore Dalamagas, 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
3	Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham	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
3	Li Chen, Elke A. Rundensteiner	XQuery containment in presence of variable binding dependencies.	WWW	2005	DBLP DOI BibTeX RDF	XQuery containment, variable binding dependency
3	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
3	Fabrice Correia	Semantics for Analytic Containment.	Studia Logica	2004	DBLP DOI BibTeX RDF	analytic containment, relevant implication, semantics
3	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
3	E. James Whitehead Jr.	Uniform comparison of data models using containment modeling.	Hypertext	2002	DBLP DOI BibTeX RDF	containment data modeling, hypertext data models
3	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
3	David G. Clarke, James Noble, John Potter	Simple Ownership Types for Object Containment.	ECOOP	2001	DBLP DOI BibTeX RDF	OO type systems, object containment, flexible alias protection, ownership types
3	David H. Lorenz, Predrag Petkovic	Design-Time Assembly of Runtime Containment Components.	TOOLS	2000	DBLP DOI BibTeX RDF	Design-time, BeanBox, BeanContext, BDK, ContextBox, Runtime Containment and Services Protocol, Glasgow, Java, Components, Assembly, JavaBeans
3	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
2	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
2	Rui Zhou, Chengfei Liu, Junhu Wang, Jianxin Li	Containment between Unions of XPath Queries.	DASFAA	2009	DBLP DOI BibTeX RDF
2	Victor Felea	A Strong Containment Problem for Queries in Conjunctive Form with Negation.	DBKDA	2009	DBLP DOI BibTeX RDF	containment mappings, Conjunctive queries, negation
2	Todd J. Green	Containment of conjunctive queries on annotated relations.	ICDT	2009	DBLP DOI BibTeX RDF
2	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Fault-Containment in Weakly-Stabilizing Systems.	SSS	2009	DBLP DOI BibTeX RDF
2	Miguel A. Goberna, Virginia N. Vera de Serio	On the stable containment of two sets.	J. Global Optimization	2008	DBLP DOI BibTeX RDF	AMS Classification 49K40, 90C34, 90C25
2	Kate Lockwood, Andrew 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
2	Barbara Kordy	A Rewrite Approach for Pattern Containment.	WADT	2008	DBLP DOI BibTeX RDF
2	Andrea Calì, Davide Martinenghi	Conjunctive Query Containment under Access Limitations.	ER	2008	DBLP DOI BibTeX RDF
2	Hubie Chen, Florent R. Madelaine, Barnaby Martin	Quantified Constraints and Containment Problems.	LICS	2008	DBLP DOI BibTeX RDF
2	Junhu Wang, Jeffrey Xu Yu, Chengfei Liu, Rui Zhou	Transforming Tree Patterns with DTDs for Query Containment Test.	DEXA	2008	DBLP DOI BibTeX RDF
2	Fang Wei, Georg Lausen	A unified apriori-like algorithm for conjunctive query containment.	IDEAS	2008	DBLP DOI BibTeX RDF
2	Arindam Biswas, 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
2	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
2	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
2	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
2	Yang Xiang, Qiang Li, Dong Guo 0002	Online Accumulation: Reconstruction of Worm Propagation Path.	NPC	2008	DBLP DOI BibTeX RDF	Propagation path, Online tracing, Worm, Containment
2	Jin Yi, Wenhui Zhang	Enhancing Simulation for Checking Language Containment.	TAMC	2007	DBLP DOI BibTeX RDF
2	Hoang Nguyen, Klara Nahrstedt	Attack Containment Framework for Large-Scale Critical Infrastructures.	ICCCN	2007	DBLP DOI BibTeX RDF
2	Haitao Ma, Zhongxiao Hao, Yinghui Zhou	Active XML Schema Containment Checking Based on Tree Automata Theory.	CIT	2007	DBLP DOI BibTeX RDF
2	Michel Leclère, Marie-Laure Mugnier	Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation.	ICDT	2007	DBLP DOI BibTeX RDF
2	Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí	Containment of Conjunctive Queries over Databases with Null Values.	ICDT	2007	DBLP DOI BibTeX RDF
2	Henrik Björklund, Wim Martens, Thomas Schwentick	Conjunctive Query Containment over Trees.	DBPL	2007	DBLP DOI BibTeX RDF
2	Anurag Dasgupta, Sukumar Ghosh, Xin Xiao	Probabilistic Fault-Containment.	SSS	2007	DBLP DOI BibTeX RDF
2	Dipankar Das 0002, P. P. Chakrabarti, Rajeev Kumar	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
2	Min Cai, Kai Hwang, Jianping Pan, Christos Papadopoulos	WormShield: Fast Worm Signature Generation with Distributed Fingerprint Aggregation.	IEEE Trans. Dependable Sec. Comput.	2007	DBLP DOI BibTeX RDF	distributed aggregation tree, cardinality counting, Network security, distributed hash table, traffic measurement, Internet worms, signature generation, worm containment
2	Ming Fu, Yu Zhang	Homomorphism Resolving of XPath Trees Based on Automata.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF	XPath tree, automata, containment, homomorphism
2	Sukumar Ghosh, Arobinda Gupta, Ted Herman, Sriram V. Pemmaraju	Fault-containing self-stabilizing distributed protocols.	Distributed Computing	2007	DBLP DOI BibTeX RDF	Distributed algorithms, Transformer, Self-stabilization, Fault-containment
2	Johan Reimann, George Vachtsevanos	UAVs in Urban Operations: Target Interception and Containment.	Journal of Intelligent and Robotic Systems	2006	DBLP DOI BibTeX RDF	differential games theory, swarm coordination, time-optimal control
2	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
2	Bruce E. Litow	A Special Case of a Unary Regular Language Containment.	Theory Comput. Syst.	2006	DBLP DOI BibTeX RDF
2	Yuguo Liao, Jianhua Feng, Yong Zhang, Lizhu Zhou	Hidden Conditioned Homomorphism for XPath Fragment Containment.	DASFAA	2006	DBLP DOI BibTeX RDF
2	Andrea Calì	Containment of Conjunctive Queries over Conceptual Schemata.	DASFAA	2006	DBLP DOI BibTeX RDF
2	Vyas Sekar, Yinglian Xie, Michael K. Reiter, Hui Zhang	A Multi-Resolution Approach forWorm Detection and Containment.	DSN	2006	DBLP DOI BibTeX RDF
2	Sanjeev Dwivedi	Feedback-basedWorm Containment.	AINA	2006	DBLP DOI BibTeX RDF
2	Dimitri Theodoratos, Theodore Dalamagas, Pawel Placek, Stefanos Souldatos, Timos K. Sellis	Containment of Partially Specified Tree-Pattern Queries.	SSDBM	2006	DBLP DOI BibTeX RDF
2	Giancarlo Ferrari-Trecate, Magnus Egerstedt, A. Buffa, Meng Ji	Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control.	HSCC	2006	DBLP DOI BibTeX RDF
2	Luciano Silva	Point Containment in Discrete Arbitrary Dimension.	3DPVT	2006	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	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
2	Anish Arora, Hongwei Zhang	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
2	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
2	Min Cai, Kai Hwang, Yu-Kwong Kwok, Shanshan Song, Yu Chen	Collaborative Internet Worm Containment.	IEEE Security & Privacy	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
2	Ali Kiani, Nematollaah Shiri	Containment of Conjunctive Queries with Arithmetic Expressions.	OTM Conferences	2005	DBLP DOI BibTeX RDF
2	Sarah H. Sellke, Ness B. Shroff, Saurabh Bagchi	Modeling and Automated Containment of Worms.	DSN	2005	DBLP DOI BibTeX RDF
2	Daeil Park, Motomichi Toyama	XML Cache Management Based On XPath Containment Relationship.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
2	Zheng Zhang 0002, Alberto O. Mendelzon	Authorization Views and Conditional Query Containment.	ICDT	2005	DBLP DOI BibTeX RDF
2	Hongwei Zhang, 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
2	Giorgos Serfiotis, Ioanna Koffina, Vassilis Christophides, Val Tannen	Containment and Minimization of RDF/S Query Patterns.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
2	Tadahiro Suda, Haruo Hosoya	Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment.	CIAA	2005	DBLP DOI BibTeX RDF
2	Dmitry Shaporenkov	Efficient Main-Memory Algorithms for Set Containment Join Using Inverted Lists.	ADBIS	2005	DBLP DOI BibTeX RDF
2	Richard Cobbe, Matthias Felleisen	Environmental acquisition revisited.	POPL	2005	DBLP DOI BibTeX RDF	environmental acquisition, object containment, object-oriented languages, object composition
2	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
2	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
2	Ernst Althaus, Friedrich Eisenbrand, Stefan Funke, Kurt Mehlhorn	Point containment in the integer hull of a polyhedron.	SODA	2004	DBLP DOI BibTeX RDF
2	Foto N. Afrati, Chen Li, Prasenjit Mitra	On Containment of Conjunctive Queries with Arithmetic Comparisons.	EDBT	2004	DBLP DOI BibTeX RDF
2	Gösta Grahne, Alex Thomo	Query Answering and Containment for Regular Path Queries under Distortions.	FoIKS	2004	DBLP DOI BibTeX RDF
2	Zografoula Vagena, Mirella Moura Moro, Vassilis J. Tsotras	Efficient Processing of XML Containment Queries Using Partition-Based Schemes.	IDEAS	2004	DBLP DOI BibTeX RDF
2	Piero A. Bonatti	On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. (PDF / PS)	PODS	2004	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	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
2	Sergey Melnik, Hector Garcia-Molina	Adaptive algorithms for set containment joins.	ACM Trans. Database Syst.	2003	DBLP DOI BibTeX RDF
2	Min Jin, Jong-Myoung Kim	Block Splitting Indexing for Supporting Containment Queries.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
2	Wei Wang 0011, Haifeng Jiang, Hongjun Lu, Jeffrey Xu Yu	PBiTree Coding and Efficient Processing of Containment Joins.	ICDE	2003	DBLP DOI BibTeX RDF
2	Khalil Amiri, Sanghyun Park, Renu Tewari, Sriram Padmanabhan	Scalable template-based query containment checking for web semantic caches.	ICDE	2003	DBLP DOI BibTeX RDF
2	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
2	Sandra Murphy, Abhijit Hayatnagarkar, Suresh Krishnaswamy, Wayne Morrison, Robert Watson	Prophylactic, Treatment and Containment Techniques for Ensuring Active Network Security.	DISCEX	2003	DBLP DOI BibTeX RDF