BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
queri (32)
system (20)
use (20)
model (19)
base (18)

Stem contain$ (all stems)

193 papers:

CASECASE-2015-LiS #parallel
A parallel computing model for container terminal logistics (BL, WS), pp. 267–273.
PODSPODS-2015-CzerwinskiMPP
The (Almost) Complete Guide to Tree Pattern Containment (WC, WM, PP, MP), pp. 117–130.
ICALPICALP-v2-2015-BojanczykMW #bound #clique #datalog #monad #source code
Containment of Monadic Datalog Programs via Bounded Clique-Width (MB, FM, AW), pp. 427–439.
FMFM-2015-PolikarpovaTF #library
A Fully Verified Container Library (NP, JT, CAF), pp. 414–434.
CASECASE-2014-MingMT #optimisation
Reducing carbon emission of ocean shipments by optimizing container size selection (ECLM, NLM, KWT), pp. 480–485.
CASECASE-2014-VaskeviciusMBTSFPLB0 #locality #recognition #robust
Object recognition and localization for robust grasping with a dexterous gripper in the context of container unloading (NV, CAM, MB, VT, TS, GF, KP, AJL, AB, AB), pp. 1270–1277.
CASECASE-2014-VaskeviciusP0 #locality #low cost #recognition
Fitting superquadrics in noisy, partial views from a low-cost RGBD sensor for recognition and localization of sacks in autonomous unloading of shipping containers (NV, KP, AB), pp. 255–262.
DACDAC-2014-KosmidisQAFWC #certification #hardware
Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware (LK, EQ, JA, GF, FW, FJC), p. 6.
DATEDATE-2014-KordesVDW #detection #fault #hybrid #network #robust
Startup error detection and containment to improve the robustness of hybrid FlexRay networks (AK, BV, AKD, MGW), pp. 1–6.
PODSPODS-2014-Barcelo0V #evaluation #query #question
Does query evaluation tractability help query containment? (PB, MR, MYV), pp. 188–199.
PODSPODS-2014-PichlerS #equivalence
Containment and equivalence of well-designed SPARQL (RP, SS), pp. 39–50.
PLDIPLDI-2014-LongSR #automation #fault #runtime
Automatic runtime error repair and containment via recovery shepherding (FL, SSD, MCR), p. 26.
FLOPSFLOPS-2014-Parys #how #question
How Many Numbers Can a λ-Term Contain? (PP), pp. 302–318.
KDIRKDIR-2014-OkumuraYSO #identification #twitter
Identifying Tweets that Contain a “Heartwarming Story” (MO, YY, MS, HO), pp. 323–326.
OSDIOSDI-2014-LuZDAAA #file system #physics
Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
DACDAC-2013-ColmenaresEHBMCGRBMAK #adaptation #named #refactoring
Tessellation: refactoring the OS around explicit resource containers with continuous adaptation (JAC, GE, SAH, SB, MM, DC, BG, ER, DBB, NM, KA, JK), p. 10.
ICDARICDAR-2013-FurukoriYMSO #documentation
An OCR System with OCRopus for Scientific Documents Containing Mathematical Formulas (FF, SY, TM, KS, MO), pp. 1175–1179.
SIGMODSIGMOD-2013-RullBSKMT #query #sql
Query containment in entity SQL (GR, PAB, IGdS, YK, SM, ET), pp. 1169–1172.
FoSSaCSFoSSaCS-2013-AvniK
Parameterized Weighted Containment (GA, OK), pp. 369–384.
ICEISICEIS-v1-2013-ZouhaierKSS #multi #simulation
Multi-Agent System Model for Container Management Simulation (HZ, FK, FS, LBS), pp. 498–505.
MODELSMoDELS-2013-FamelisSSC #modelling #nondeterminism
Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
MODELSMoDELS-2013-FamelisSSC #modelling #nondeterminism
Transformation of Models Containing Uncertainty (MF, RS, ADS, MC), pp. 673–689.
ECOOPECOOP-2013-CoxCS #generative #graph #invariant #relational
QUIC Graphs: Relational Invariant Generation for Containers (AC, BYEC, SS), pp. 401–425.
OnwardOnward-2013-Steimann #multi #object-oriented #programming
Content over container: object-oriented programming with multiplicities (FS), pp. 173–186.
ESEC-FSEESEC-FSE-2013-LiuL0ZWD #model checking #named #self #state machine #uml
USMMC: a self-contained model checker for UML state machines (SL, YL, JS, MZ, BW, JSD), pp. 623–626.
ASPLOSASPLOS-2013-ShenSDZC #energy #fine-grained #manycore
Power containers: an OS facility for fine-grained power and energy management on multicore servers (KS, AS, SD, XZ, ZC), pp. 65–76.
PODSPODS-2012-KostylevRS #classification #query
Classification of annotation semirings over query containment (EVK, JLR, AZS), pp. 237–248.
FoSSaCSFoSSaCS-2012-AhmanCU #monad #question
When Is a Container a Comonad? (DA, JC, TU), pp. 74–88.
CSMRCSMR-2012-KarusD #predict #xml
Predicting Coding Effort in Projects Containing XML (SK, MD), pp. 203–212.
ICALPICALP-v2-2012-BenediktBS #datalog #monad
Monadic Datalog Containment (MB, PB, PS), pp. 79–91.
CIKMCIKM-2012-LiuSJL #web
An unsupervised method for author extraction from web pages containing user-generated content (JL, XS, JJ, CYL), pp. 2387–2390.
KRKR-2012-BienvenuLW #logic #query
Query Containment in Description Logics Reconsidered (MB, CL, FW).
SACSAC-2012-ChoeYYR #algorithm #automation #realtime #scheduling #search-based #using
Real-time scheduling of twin stacking cranes in an automated container terminal using a genetic algorithm (RC, HY, YY, KRR), pp. 238–243.
ICSEICSE-2012-IwamaNT #industrial #natural language #parsing #specification
Constructing parser for industrial software specifications containing formal and natural language description (FI, TN, HT), pp. 1012–1021.
IJCARIJCAR-2012-ChekolEGL #query
SPARQL Query Containment under RDFS Entailment Regime (MWC, JE, PG, NL), pp. 134–148.
CASECASE-2011-AmbrosinoBPSS #modelling #problem
Modeling and solving the train load planning problem in seaport container terminals (DA, AB, MP, SS, SS), pp. 208–213.
CASECASE-2011-HuangG #deployment #heuristic
An improved Least Cost Heuristic for dynamic yard crane deployment in container terminals (SYH, XG), pp. 84–89.
CASECASE-2011-PerboliCT #metaheuristic #multi #performance
An efficient metaheuristic for multi-dimensional multi-container packing (GP, TGC, RT), pp. 563–568.
ICDARICDAR-2011-IndermuhleFFB #documentation #keyword #network #online #using
Keyword Spotting in Online Handwritten Documents Containing Text and Non-text Using BLSTM Neural Networks (EI, VF, AF, HB), pp. 73–77.
FASEFASE-2011-SharmaGAFM #question #random #testing
Testing Container Classes: Random or Systematic? (RS, MG, AA, GF, DM), pp. 262–277.
CIAACIAA-2011-Ibarra #equivalence #linear #on the #problem #transducer
On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs (OHI), pp. 190–202.
LATALATA-2011-Leroux #problem #proving #reachability #self
Vector Addition System Reachability Problem: A Short Self-contained Proof (JL), pp. 41–64.
ICEISICEIS-v4-2011-CuiZH
The Impact of the Concentration Rate of the International Container Liner Market on Chinese Container Freight Index (LC, YZ, MH), pp. 611–616.
CIKMCIKM-2011-VarolCAK #corpus #detection #named
CoDet: sentence-based containment detection in news corpora (EV, FC, CA, OK), pp. 2049–2052.
CIKMCIKM-2011-ZhuangLF #xml
Insert-friendly XML containment labeling scheme (CZ, ZL, SF), pp. 2449–2452.
ECIRECIR-2011-ShiLH #collaboration #multi #ranking #self
Reranking Collaborative Filtering with Multiple Self-contained Modalities (YS, ML, AH), pp. 699–703.
PLATEAUPLATEAU-2011-GilGM #how #metric #question
How much information do software metrics contain? (JYG, MG, DM), pp. 57–64.
POPLPOPL-2011-DilligDA #precise #reasoning #source code #using
Precise reasoning for programs using containers (ID, TD, AA), pp. 187–200.
POPLPOPL-2011-HengleinN #axiom #induction #regular expression
Regular expression containment: coinductive axiomatization and computational interpretation (FH, LN), pp. 385–398.
POPLPOPL-2011-Leroux #problem #proving #reachability #self
Vector addition system reachability problem: a short self-contained proof (JL), pp. 307–316.
PPoPPPPoPP-2011-TanaseBFHPPSTXMVBAR #framework #parallel
The STAPL parallel container framework (GT, AAB, AF, H, IP, OP, TGS, NT, XX, NM, JV, MB, NMA, LR), pp. 235–246.
TAPTAP-2011-DrossFM
Correct Code Containing Containers (CD, JCF, YM), pp. 102–118.
SIGMODSIGMOD-2010-AgrawalAK #on the #set
On indexing error-tolerant set containment (PA, AA, RK), pp. 927–938.
VLDBVLDB-2010-BenediktG
The Impact of Virtual Views on Containment (MB, GG), pp. 297–308.
PLDIPLDI-2010-XuR #detection
Detecting inefficiently-used containers to avoid bloat (G(X, AR), pp. 160–173.
ICGTICGT-2010-Jurack #emf #graph #inheritance #modelling
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures (SJ), pp. 397–399.
ICGTICGT-2010-JurackT #component #concept #graph #inheritance
A Component Concept for Typed Graphs with Inheritance and Containment Structures (SJ, GT), pp. 187–202.
CIKMCIKM-2010-SongLCLH #automation #web
Automatic extraction of web data records containing user-generated content (XS, JL, YC, CYL, HWH), pp. 39–48.
RERE-2010-BittnerRGW #multi #requirements #using
Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems (MB, MOR, HG, MW), pp. 325–330.
SACSAC-2010-GuoH #algorithm #clustering
A two stage yard crane workload partitioning and job sequencing algorithm for container terminals (XG, SYH), pp. 2383–2388.
WICSA-ECSAWICSA-ECSA-2009-KuhnMKSBT #aspect-oriented #performance
Introducing Aspect-oriented Space Containers for efficient publish/subscribe scenarios in Intelligent Transportation Systems (EK, RM, LK, CS, SB, ST), pp. 313–316.
CASECASE-2009-BukkapatnamMKSK #monitoring #realtime #using
Real-time monitoring of container stability loss using wireless vibration sensor tags (STSB, SM, JK, VS, RK), pp. 221–226.
LATALATA-2009-Blanchet-SadriABM #how #question #word
How Many Holes Can an Unbordered Partial Word Contain? (FBS, EA, CB, RM), pp. 176–187.
AdaSIGAda-2009-DinhB #design pattern #distributed #fault tolerance
Distributed container: a design pattern for fault tolerance and high speed data exchange (TD, SB), pp. 115–118.
CIKMCIKM-2009-WangYPL
Minimal common container of tree patterns (JW, JXY, CP, CL), pp. 1409–1412.
SACSAC-2009-ParkPR #algorithm #automation #using
Planning for remarshaling in an automated container terminal using cooperative coevolutionary algorithms (KP, TP, KRR), pp. 1098–1105.
LICSLICS-2009-AltenkirchM
Indexed Containers (TA, PM), pp. 277–285.
FLOPSFLOPS-2008-PrinceGM #proving #using
Proving Properties about Lists Using Containers (RP, NG, CM), pp. 97–112.
AdaSIGAda-2008-Moore #ada #using
A buffer container class hierarchy using Ada 2005 (BJM), pp. 57–74.
CIKMCIKM-2008-PlacekTSDS #approach #heuristic #query
A heuristic approach for checking containment of generalized tree-pattern queries (PP, DT, SS, TD, TKS), pp. 551–560.
ICPRICPR-2008-RohithSKG #estimation #image #scalability #towards
Towards estimation of dense disparities from stereo images containing large textureless regions (MVR, GS, CK, CAG), pp. 1–5.
SEKESEKE-2008-LiuLW #component #development #process #product line
Improving Component Container Development Process through Product Line Engineering (GL, YL, JW), pp. 238–243.
ICSEICSE-2008-XuR #detection #java #memory management #precise #profiling #using
Precise memory leak detection for java software using container profiling (G(X, AR), pp. 151–160.
LICSLICS-2008-ChenMM #constraints #problem #quantifier
Quantified Constraints and Containment Problems (HC, FRM, BM), pp. 317–328.
ASEASE-2007-BlancGK #abstraction #c++ #verification
Verifying C++ with STL containers via predicate abstraction (NB, AG, DK), pp. 521–524.
CASECASE-2007-BukkapatnamK #monitoring #using
Container Integrity and Condition Monitoring using RF Vibration Sensor Tags (STSB, RK), pp. 585–590.
CASECASE-2007-HoshinoO #design #performance
Performance Design of Operating Robots in a Seaport Container-Handling System (SH, JO), pp. 692–697.
DATEDATE-2007-IndrusiakTG #behaviour #execution #interactive #modelling #specification #uml
Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns (LSI, AT, MG), pp. 301–306.
PODSPODS-2007-CateL #complexity #query #xpath
The complexity of query containment in expressive fragments of XPath 2.0 (BtC, CL), pp. 73–82.
VLDBVLDB-2007-ChenYYHZG #graph #towards
Towards Graph Containment Search and Indexing (CC, XY, PSY, JH, DQZ, XG), pp. 926–937.
GT-VMTGT-VMT-2007-KohlerLT #constraints #graph #model transformation
Ensuring Containment Constraints in Graph-based Model Transformation Approaches (CK, HL, GT).
HCIHIMI-IIE-2007-Chou
A Decision Making Model for the Taiwanese Shipping Logistics Company in China to Select the Container Distribution Center Location (CCC), pp. 844–854.
ESEC-FSEESEC-FSE-2007-SherriffHLW #identification #static analysis #using
Using groupings of static analysis alerts to identify files likely to contain field failures (MS, SSH, JML, LAW), pp. 565–568.
DocEngDocEng-2006-HurstMM
Minimum sized text containment shapes (NH, KM, PM), pp. 3–12.
PODSPODS-2006-JayramKV #problem #query
The containment problem for REAL conjunctive queries with inequalities (TSJ, PGK, EV), pp. 80–89.
VLDBVLDB-2006-CaliK
Containment of Conjunctive Object Meta-Queries (AC, MK), pp. 942–952.
FASEFASE-2006-SridharH #behaviour
A Behavioral Model for Software Containers (NS, JOH), pp. 139–154.
CIKMCIKM-2006-TheodoratosSDPS #graph #heuristic #query
Heuristic containment check of partial tree-pattern queries in the presence of index graphs (DT, SS, TD, PP, TKS), pp. 445–454.
ICPRICPR-v1-2006-SkelleyFSH #database
Recognizing Expressions in a New Database Containing Played and Natural Expressions (JS, RF, AS, BH), pp. 1220–1225.
SEKESEKE-2006-SridharHS #case study #component #deployment
Container-Based Component Deployment: A Case Study (NS, JOH, PAGS), pp. 274–277.
SEKESEKE-2006-ZhangCWH #component #evaluation #middleware #performance
Performance Evaluation of Component System based on Container style Middleware (YZ, NC, JW, TH), pp. 730–736.
MODELSMoDELS-2006-AlanenP #modelling #set
Basic Operations over Models Containing Subset and Union Properties (MA, IP), pp. 469–483.
MODELSMoDELS-2006-AlanenP #modelling #set
Basic Operations over Models Containing Subset and Union Properties (MA, IP), pp. 469–483.
GPCEGPCE-2006-Moreno #generative
Creating custom containers with generative techniques (GAM), pp. 29–38.
ICSEICSE-2006-HeineL #detection #polymorphism #static analysis
Static detection of leaks in polymorphic containers (DLH, MSL), pp. 252–261.
ISSTAISSTA-2006-VisserPP #generative #java #using
Test input generation for java containers using state matching (WV, CSP, RP), pp. 37–48.
DATEDATE-2005-NolletMAM #configuration management #hardware #resource management #runtime
Centralized Run-Time Resource Management in a Network-on-Chip Containing Reconfigurable Hardware Tiles (VN, TM, PA, JYM), pp. 234–239.
CIAACIAA-2005-SudaH #algorithm #automaton #backtracking #top-down
Non-backtracking Top-Down Algorithm for Checking Tree Automata Containment (TS, HH), pp. 294–306.
ICFPICFP-2005-Remy #system f
Simple, partial type-inference for System F based on type-containment (DR), pp. 130–143.
ICEISICEIS-v2-2005-LokugeA #hybrid #learning #multi
Handling Multiple Events in Hybrid BDI Agents with Reinforcement Learning: A Container Application (PL, DA), pp. 83–90.
GPCEGPCE-2005-HirschkoffHPSS #component #programming
Component-Oriented Programming with Sharing: Containment is Not Ownership (DH, TH, DP, AS, JBS), pp. 389–404.
SACSAC-2005-LimZ #problem
The container loading problem (AL, XZ), pp. 913–917.
HPDCHPDC-2005-Thain #grid
Identity boxing: secure user-level containment for the grid (DT), pp. 299–300.
SOSPSOSP-2005-CostaCCRZZB #internet #named
Vigilante: end-to-end containment of internet worms (MC, JC, MC, AITR, LZ, LZ, PB), pp. 133–147.
SOSPSOSP-2005-VrableMCMVSVS #scalability
Scalability, fidelity, and containment in the potemkin virtual honeyfarm (MV, JM, JC, DM, EV, ACS, GMV, SS), pp. 148–162.
CBSECBSE-2004-SimonsS #assembly #exception #named #robust
CMEH: Container Managed Exception Handling for Increased Assembly Robustness (KS, JAS), pp. 122–129.
WICSAWICSA-2004-GobelPAPRZ #architecture #component
The COMQUAD Component Container Architecture (SG, CP, RA, MP, SR, SZ), pp. 315–320.
DATEDATE-v1-2004-BenabdenbiGPVT #named #testing
STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores (MB, AG, FP, EV, MT), pp. 712–713.
DATEDATE-v2-2004-MillbergNTJ #network #using
Guaranteed Bandwidth Using Looped Containers in Temporally Disjoint Networks within the Nostrum Network on Chip (MM, EN, RT, AJ), pp. 890–895.
PODSPODS-2004-Bonatti #datalog #decidability #on the #query #recursion
On the Decidability of Containment of Recursive Datalog Queries — Preliminary report (PAB), pp. 297–306.
VLDBVLDB-2004-DongHT #query #xml
Containment of Nested XML Queries (XD, AYH, IT), pp. 132–143.
AdaEuropeAdaEurope-2004-Alves #ada #formal method #persistent
A Theory of Persistent Containers and Its Application to Ada (MAA), pp. 297–308.
ICEISICEIS-v2-2004-LokugeAD #fuzzy #memory management
BDI Agents with Fuzzy Associative Memory for Vessel Berthing in Container Ports (PL, DA, PD), pp. 315–320.
ICPRICPR-v1-2004-Kazanov04a #image
Modification of Watershed Transformation for Images, Containing Small Objects (MK), pp. 612–615.
TOOLSTOOLS-USA-2003-HallstromSSAL04 #approach #object-oriented #product line
A Container-Based Approach to Object-Oriented Product Lines (JOH, NS, PAGS, AA, WL), pp. 161–175.
ICDARICDAR-2003-GocciaBSD #classification #feature model #optimisation #recognition
Recognition of Container Code Characters through Gray-Level Feature Extraction and Gradient-Based Classifier Optimization (MG, MB, CS, SGD), p. 973–?.
PODSPODS-2003-CalvaneseGLV #query
View-based query containment (DC, GDG, ML, MYV), pp. 56–67.
PODSPODS-2003-GrahneT #constraints #query #using
Query containment and rewriting using views for regular path queries under constraints (GG, AT), pp. 111–122.
SIGMODSIGMOD-2003-WangJLY #estimation #modelling
Containment Join Size Estimation: Models and Methods (WW, HJ, HL, JXY), pp. 145–156.
FoSSaCSFoSSaCS-2003-AbbottAG #category theory
Categories of Containers (MA, TA, NG), pp. 23–38.
CIAACIAA-2003-TozawaH #xml
XML Schema Containment Checking Based on Semi-implicit Techniques (AT, MH), pp. 213–225.
AdaEuropeAdaEurope-2003-FranchM #ada #library #quality #standard
A Quality Model for the Ada Standard Container Library (XF, JM), pp. 283–296.
AdaSIGAda-2003-MarcoF #ada #design #framework #implementation #library #standard
A framework for designing and implementing the Ada standard container library (JM, XF), pp. 49–61.
MLDMMLDM-2003-Craw #learning #reasoning
Introspective Learning to Build Case-Based Reasoning (CBR) Knowledge Containers (SC), pp. 1–6.
ECOOPECOOP-2003-PopoviciAG
Spontaneous Container Services (AP, GA, TRG), pp. 29–53.
TLCATLCA-2003-AbbottAGM
Derivatives of Containers (MA, TA, NG, CM), pp. 16–30.
CBSECBSE-2002-VecellioTS #behaviour #component #predict
Containers for Predictable Behavior of Component-based Software (GJV, WMT, RMS), p. 2.
CBSECBSE-2003-SridharH #component #configuration management #generative
Generating Configurable Containers for Component-Based Software (NS, JOH), p. 11.
HTHT-2002-Whitehead #comparison #modelling #using
Uniform comparison of data models using containment modeling (EJWJ), pp. 182–191.
PODSPODS-2002-MiklauS #equivalence #xpath
Containment and Equivalence for an XPath Fragment (GM, DS), pp. 65–76.
ICPRICPR-v3-2002-IgualGJ #preprocessor #recognition
Preprocessing and Recognition of Characters in Container Codes (ISI, GAG, AJPJ), pp. 143–146.
FSEFSE-2002-CobleighOWL #adaptation #architecture #composition
Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.
TACASTACAS-2001-Finkbeiner #nondeterminism
Language Containment Checking with Nondeterministic BDDs (BF), pp. 24–38.
ICSMEICSM-2001-TonellaP #c++ #diagrams #reverse engineering #uml
Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers (PT, AP), pp. 376–385.
WCREWCRE-2001-Anquetil #information management
Characterizing the Informal Knowledge Contained in Systems (NA), pp. 166–175.
ICEISICEIS-v1-2001-Rao #algorithm #clustering #multi
An Algorithm for Determining Subspaces Containing Clusters with Multiple Minimum Density Thresholds for Numerical Data (PRR), pp. 530–532.
ECOOPECOOP-2001-ClarkeNP
Simple Ownership Types for Object Containment (DGC, JN, JP), pp. 53–76.
PODSPODS-2000-MillsteinLF #integration #query
Query Containment for Data Integration Systems (TDM, AYL, MF), pp. 67–75.
VLDBVLDB-2000-RamasamyPNK #set
Set Containment Joins: The Good, The Bad and The Ugly (KR, JMP, JFN, RK), pp. 351–362.
CIKMCIKM-2000-LawrenceCFPKNKG #persistent #research #web
Persistence of information on the web: Analyzing citations contained in research articles (SL, FC, GWF, DMP, RK, FÅN, AK, CLG), pp. 235–242.
ICPRICPR-v1-2000-LourakisTAO #3d #constraints #geometry #using
Using Geometric Constraints for Matching Disparate Stereo Views of 3D Scenes Containing Planes (MIAL, SVT, AAA, SCO), pp. 1419–1422.
KRKR-2000-CalvaneseGLV #query
Containment of Conjunctive Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 176–185.
TOOLSTOOLS-PACIFIC-2000-Silva-LepeCNF #architecture #component #java #message passing
Container-Managed Messaging: An Architecture for Integrating Java Components and Message-Oriented Applications (ISL, CFC, PN, DFF), pp. 228–241.
TOOLSTOOLS-USA-2000-LorenzP #assembly #component #runtime
Design-Time Assembly of Runtime Containment Components (DHL, PP), pp. 195–204.
ICDARICDAR-1999-SuralD #algorithm #documentation #generative #image #parallel #segmentation
A Two-step Algorithm and its Parallelization for the Generation of Minimum Containing Rectangles for Document Image Segmentation (SS, PKD), pp. 173–176.
ITiCSEITiCSE-1999-English #self
Building self-contained websites on CD-ROM (JE), pp. 159–162.
CHICHI-1999-YarinI #design #interactive #named #physics
TouchCounters: Designing Interactive Electronic Labels for Physical Containers (PY, HI), pp. 362–369.
HCIHCI-EI-1999-RavidB #prototype #requirements #user interface
A Method for Extracting Requirements that a User Interface Prototype Contains (AR, DMB), pp. 900–904.
SACSAC-1999-Raidl #algorithm #multi #problem #search-based
A Weight-Coded Genetic Algorithm for the Multiple Container Packing Problem (GRR), pp. 291–296.
OSDIOSDI-1999-BangaDM #resource management
Resource Containers: A New Facility for Resource Management in Server Systems (GB, PD, JCM), pp. 45–58.
CSLCSL-1999-Tobies #logic #strict
A NExpTime-Complete Description Logic Strictly Contained in C2 (ST), pp. 292–306.
ASEASE-1998-McDonaldHS #library #standard #testing
Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.
PODSPODS-1998-CalvaneseGL #constraints #decidability #on the #query
On the Decidability of Query Containment under Constraints (DC, GDG, ML), pp. 149–158.
PODSPODS-1998-FlorescuLS #query #regular expression
Query Containment for Conjunctive Queries with Regular Expressions (DF, AYL, DS), pp. 139–148.
PODSPODS-1998-KolaitisMT #complexity #on the #problem #query
On the Complexity of the Containment Problem for Conjunctive Queries with Built-in Predicates (PGK, DLM, MNT), pp. 197–204.
PODSPODS-1998-KolaitisV #constraints
Conjunctive-Query Containment and Constraint Satisfaction (PGK, MYV), pp. 205–213.
PODSPODS-1998-NevenBGV #database #query
Typed Query Languages for Databases Containing Queries (FN, JVdB, DVG, GV), pp. 189–196.
SACSAC-1998-StanskiGZ #documentation #migration #mobile #replication #web
Document archiving, replication and migration container for mobile Web users (PS, SG, ABZ), pp. 400–404.
HPCAHPCA-1998-GhoshC #communication
Communication Across Fault-Containment Firewalls on the SGI Origin (KG, AJC), pp. 277–287.
DACDAC-1997-LiuSAS #black box #design #optimisation
Optimizing Designs Containing Black Boxes (THL, KS, AA, VS), pp. 113–116.
PODSPODS-1997-IbarraS #constraints #database #equivalence #linear #on the #query
On the Containment and Equivalence of Database Queries with Linear Constraints (OHI, JS), pp. 32–43.
PODSPODS-1997-LevyS #query
Deciding Containment for Queries with Complex Objects (AYL, DS), pp. 20–31.
SACSAC-1997-GhoshGP #network #protocol
Fault-containing network protocols (SG, AG, SVP), pp. 431–437.
SACSAC-1997-PerrizoZK #multi #query
A query processing method for data warehouses which contain multimedia (WP, ZZ, SK), pp. 323–327.
CAVCAV-1997-Fisler #decidability #diagrams #regular expression
Containing of Regular Languages in Non-Regular Timing Diagram Languages is Decidable (KF), pp. 155–166.
STOCSTOC-1996-Milenkovic #linear #programming #strict #using
Translational Polygon Containment and Minimal Enclosure using Linear Programming Based Restriction (VM), pp. 109–118.
ICMLICML-1996-EngelsonK #identification
Identifying the Information Contained in a Flawed Theory (SPE, MK), pp. 131–138.
ICPRICPR-1996-BasriGJ #image #multi #performance
Efficient determination of shape from multiple images containing partial information (RB, AJG, DWJ), pp. 268–274.
ICDARICDAR-v2-1995-StubberudKK #adaptation #image
Adaptive image restoration of text images that contain touching or broken characters (PAS, JK, VK), pp. 778–781.
SOSPSOSP-1995-AndersonP #performance
The Performance of the Container Shipping I/O System (EWA, JP), p. 229.
SOSPSOSP-1995-ChapinRDLTG #fault #multi #named
Hive: Fault Containment for Shared-Memory Multiprocessors (JC, MR, SD, TL, DT, AG), pp. 12–25.
KDDKDD-1994-Siebes #database #scalability
Homogeneous Discoveries Contain No Surprises: Inferring Risk Profiles from Large Databases (AS), pp. 97–108.
CAVCAV-1994-HojatiMB #graph #using
Improving Language Containment Using Fairness Graphs (RH, RBMT, RKB), pp. 391–403.
DACDAC-1993-HojatiSBK #approach #model checking
A Unified Approach to Language Containment and Fair CTL Model Checking (RH, TRS, RKB, RPK), pp. 475–481.
CIKMCIKM-1993-Xie #encapsulation #optimisation #query
Optimization of Object Queries Containing Encapsulated Methods (ZX), pp. 451–460.
CAVCAV-1993-BalarinS #approach
An Iterative Approach to Language Containment (FB, ALSV), pp. 29–40.
CAVCAV-1993-HojatiBK #debugging #design #using
BDD-Based Debugging Of Design Using Language Containment and Fair CTL (RH, RKB, RPK), pp. 41–58.
DACDAC-1992-GuptaCM #component #hardware #simulation #synthesis
Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components (RKG, CJNCJ, GDM), pp. 225–230.
PODSPODS-1992-Chan #query
Containment and Minimization of Positive Conjunctive Queries in OODB’s (EPFC), pp. 202–211.
CAVCAV-1992-HojatiTKB #performance #regular expression
Efficient ω-Regular Language Containment (RH, HJT, RPK, RKB), pp. 396–409.
TOOLSTOOLS-USA-1991-Horstmann #c++ #design #library #standard
Design Considerations for a Standard C++ Container Class Library (CSH), pp. 327–338.
ICSEICSE-1990-Thomas #safety
Assessing Failure Probabilities in Safety-Critical Systems Containing Software (MT), p. 227.
CADECADE-1990-Basin #commutative #morphism #similarity
Equality of Terms Containing Associative-Commutative Functions and Commutative Binding Operators in Isomorphism Complete (DAB), pp. 251–260.
VLDBVLDB-1989-CasanovaTFB #dependence #optimisation #relational
Optimization of Relational Schemas Containing Inclusion Dependencies (MAC, LT, ALF, APB), pp. 317–325.
PODSPODS-1988-ShmueliTZ #logic #set
Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL) (OS, ST, CZ), pp. 15–28.
VLDBVLDB-1987-ChristensenZ #comparison #database #embedded #self
A Comparison of Self-Contained and Embedded Database Languages (AC, TUZ), pp. 209–216.
VLDBVLDB-1987-Dayal #approach #quantifier #query
Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers (UD), pp. 197–208.
ICALPICALP-1987-HowellR #equivalence #reachability
Completeness Rules for Reachability, Containment, and Equivalence, with Respect to Conflict-Free Vector Replacement Systems (RRH, LER), pp. 509–520.
ICALPICALP-1986-HartmanisLY #complexity #set
Containment, Separation, Complete Sets, and Immunity of Complexity Classes (JH, ML, YY), pp. 136–145.
ICALPICALP-1985-Fortune #algorithm #performance
A Fast Algorithm for Polygon Containment by Translation (Extended Abstract) (SF), pp. 189–198.
PODSPODS-1982-JohnsonK #dependence #functional #query #testing
Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies (DSJ, ACK), pp. 164–169.
ICALPICALP-1978-FortuneHS #complexity #equivalence #for free
The Complexity of Equivalence and Containment for Free Single Variable Program Schemes (SF, JEH, EMS), pp. 227–240.
DACDAC-1970-Farlow #design
Machine aids to the design of ceramic substrates containing integrated circuit chips (CWF), pp. 274–285.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.