190 papers:
- CBSE-2015-PlateniusSA #framework #named #process
- MatchBox: A Framework for Dynamic Configuration of Service Matching Processes (MCP, WS, SA), pp. 75–84.
- CASE-2015-MaP #approach #black box #programmable #testing
- Design-to-test approach for black-box testing of programmable controllers (CM, JP), pp. 1018–1024.
- CHI-2015-NebelingGSN #multi #named
- MUBox: Multi-User Aware Personal Cloud Storage (MN, MG, OS, MCN), pp. 1855–1864.
- ICML-2015-LeeR #distributed #linear #optimisation #polynomial
- Distributed Box-Constrained Quadratic Optimization for Dual Linear SVM (CPL, DR), pp. 987–996.
- SEKE-2015-YungLC #black box #complexity
- An Average Case Time Complexity Estimator for Black-box Functions (DY, BL, SKC), pp. 567–570.
- ECMFA-2015-SaxonBA #black box #model transformation
- Opening the Black-Box of Model Transformation (JTS, BB, DHA), pp. 171–186.
- POPL-2015-NgoMMP #black box #policy #runtime #security #source code
- Runtime Enforcement of Security Policies on Black Box Reactive Programs (MN, FM, DM, FP), pp. 43–54.
- ESEC-FSE-2015-BordingBP
- Comprehensive service matching with MatchBox (PB, MB, MCP), pp. 974–977.
- ICST-2015-FarzanHV #concurrent #execution #testing
- Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution (AF, AH, HV), pp. 1–11.
- ICST-2015-NoguchiWFSO #black box #optimisation #testing #using
- History-Based Test Case Prioritization for Black Box Testing Using Ant Colony Optimization (TN, HW, YF, AS, KO), pp. 1–2.
- CASE-2014-HwangLW #adaptation #learning
- Adaptive reinforcement learning in box-pushing robots (KSH, JLL, WHW), pp. 1182–1187.
- CASE-2014-ZhangLYL #optimisation #parametricity #simulation
- Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
- STOC-2014-GoyalOSV #black box
- Black-box non-black-box zero knowledge (VG, RO, AS, IV), pp. 515–524.
- LATA-2014-KlaudelKD #algebra #logic #semantics
- Interval Temporal Logic Semantics of Box Algebra (HK, MK, ZD), pp. 441–452.
- CHI-2014-BroySAS #3d #design #guidelines #interface #prototype #tool support
- FrameBox and MirrorBox: tools and guidelines to support designers in prototyping interfaces for 3D displays (NB, SS, FA, AS), pp. 2037–2046.
- HCI-TMT-2014-SzklannySWCW #interface #metaprogramming #named #performance
- SyncBox — Synchronizer and Interface for High-Speed Macro Photography (KS, AS, PW, SC, AW), pp. 652–661.
- HIMI-DE-2014-XingGRK #visualisation
- Google Analytics Spatial Data Visualization: Thinking Outside of the Box (WX, RG, BR, TRK), pp. 120–127.
- ICPR-2014-DengWGZZ #modelling #multi
- Multiple View Based Building Modeling with Multi-box Grammar (RD, QW, RG, GZ, HZ), pp. 4027–4032.
- KDD-2014-GohR #learning
- Box drawings for learning with imbalanced data (STG, CR), pp. 333–342.
- KR-2014-LudwigK #difference #logic
- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
- SIGIR-2014-GuptaBV #automation #named
- CharBoxes: a system for automatic discovery of character infoboxes from books (MG, PB, VV), pp. 1255–1256.
- SLE-2014-MeyersDLSVW #framework #generative #named
- ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
- ICLP-J-2014-SaadFG #constraints #reasoning #reliability
- The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
- ICTSS-2014-Schmidberger #metric
- Well-Defined Coverage Metrics for the Glass Box Test (RS), pp. 113–128.
- TAP-2014-BardinCDK #automation #testing #tool support
- An All-in-One Toolkit for Automated White-Box Testing (SB, OC, MD, NK), pp. 53–60.
- CBSE-2013-Danielson #empirical #tool support
- Ethics outside the box: empirical tools for an ethics of artificial agents (PD), pp. 1–2.
- VLDB-2013-MousaviGZ #database #knowledge base #mining #named
- IBminer: A Text Mining Tool for Constructing and Populating InfoBox Databases and Knowledge Bases (HM, SG, CZ), pp. 1330–1333.
- FASE-2013-SakamotoTHWF #code generation #integration #named #testing #web
- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications (KS, KT, DH, HW, YF), pp. 343–358.
- FASE-2013-YangPX #approach #automation #generative #mobile
- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications (WY, MRP, TX), pp. 250–265.
- WCRE-2013-DucheneRRG #black box #data flow #detection #modelling #named
- LigRE: Reverse-engineering of control and data flow models for black-box XSS detection (FD, SR, JLR, RG), pp. 252–261.
- STOC-2013-ChungPS #security #simulation
- Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.
- STOC-2013-Goyal #concurrent #simulation
- Non-black-box simulation in the fully concurrent setting (VG), pp. 221–230.
- MLDM-2013-ParimiC #predict
- Pre-release Box-Office Success Prediction for Motion Pictures (RP, DC), pp. 571–585.
- ICST-2013-CzemerinskiBU #abstraction #behaviour #black box
- Behaviour Abstraction Coverage as Black-Box Adequacy Criteria (HC, VAB, SU), pp. 222–231.
- ISSTA-2013-FraserSMAP #automation #generative #question #testing
- Does automated white-box test generation really help software testers? (GF, MS, PM, AA, FP), pp. 291–301.
- LICS-2013-Accattoli
- Compressing Polarized Boxes (BA), pp. 428–437.
- CBSE-2012-MaurelBKA #adaptation #monitoring
- Adaptive monitoring of end-user OSGi-based home boxes (YM, AB, RK, KA), pp. 157–166.
- VLDB-2012-HueskePSRBKT #black box #data flow #optimisation
- Opening the Black Boxes in Data Flow Optimization (FH, MP, MS, AR, RB, AK, KT), pp. 1256–1267.
- STOC-2012-ChawlaIL #black box #design #on the #reduction
- On the limits of black-box reductions in mechanism design (SC, NI, BL), pp. 435–448.
- ICALP-v1-2012-BaronOV #black box
- Nearly Simultaneously Resettable Black-Box Zero Knowledge (JB, RO, IV), pp. 88–99.
- ICALP-v1-2012-RabinMMY #performance #strict #transaction #validation
- Strictly-Black-Box Zero-Knowledge and Efficient Validation of Financial Transactions (MOR, YM, SM, MY), pp. 738–749.
- KR-2012-BaaderBM #towards #unification
- Extending Unification in EL Towards General TBoxes (FB, SB, BM).
- KR-2012-CohnRS #analysis #representation #video
- Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis (AGC, JR, MS).
- SIGIR-2012-TureLO #information retrieval
- Looking inside the box: context-sensitive translation for cross-language information retrieval (FT, JJL, DWO), pp. 1105–1106.
- MoDELS-2012-GonzalezC #approach #atl #generative #named #testing
- ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
- MoDELS-2012-GonzalezC #approach #atl #generative #named #testing
- ATLTest: A White-Box Test Generation Approach for ATL Transformations (CAG, JC), pp. 449–464.
- OOPSLA-2012-BaoZZ #nondeterminism #program analysis
- White box sampling in uncertain data processing enabled by program analysis (TB, YZ, XZ), pp. 897–914.
- OOPSLA-2012-KaliberaMJV #approach #black box #comprehension #concurrent
- A black-box approach to understanding concurrency in DaCapo (TK, MM, REJ, JV), pp. 335–354.
- SAC-2012-NathML #classification #fault #on the #testing
- On the improvement of a fault classification scheme with implications for white-box testing (SKN, RM, MFL), pp. 1123–1130.
- SAC-2012-ShahidPO #bound
- Minimum bounding boxes for regular cross-polytopes (SS, SP, CBO), pp. 879–884.
- HPDC-2012-SkourtisKB #black box #named #performance
- QBox: guaranteeing I/O performance on black box storage systems (DS, SK, SAB), pp. 73–84.
- CAV-2012-BogomolovFGLPW #analysis #distance #reachability
- A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx (SB, GF, RG, HL, AP, MW), pp. 479–494.
- ICST-2012-MarianiPRS #automation #black box #interactive #named #testing
- AutoBlackTest: Automatic Black-Box Testing of Interactive Applications (LM, MP, OR, MS), pp. 81–90.
- ECSA-2011-AdmodisastroK #analysis #approach #architecture #black box #development
- An Architecture Analysis Approach for Supporting Black-Box Software Development (NA, GK), pp. 180–189.
- DATE-2011-TsengHWFC #black box #compilation #library #modelling #power management
- Black-box leakage power modeling for cell library and SRAM compiler (CKT, SYH, CCW, SCF, JJC), pp. 637–642.
- FASE-2011-WangWHC #black box #evolution #testing
- Evolving a Test Oracle in Black-Box Testing (FW, JHW, CHH, KHC), pp. 310–325.
- STOC-2011-SarafV #black box #multi #testing
- Black-box identity testing of depth-4 multilinear circuits (SS, IV), pp. 421–430.
- STOC-2011-Woodruff #approximate #black box #protocol
- Near-optimal private approximation protocols via a black box transformation (DPW), pp. 735–744.
- CEFP-2011-MichaelsonG #calculus #multi #reasoning
- Reasoning about Multi-process Systems with the Box Calculus (GM, GG), pp. 279–338.
- CHI-2011-HendyLBM #parametricity
- Parameter selection in keyboard-based dialog boxes (JCH, JL, KSB, JM), pp. 2761–2764.
- DHM-2011-MarlerKJ #analysis #predict
- Optimization-Based Posture Prediction for Analysis of Box Lifting Tasks (TM, LK, RJ), pp. 151–160.
- HCI-MIIE-2011-BlazicaVM #named
- ShoeBox: A Natural Way of Organizing Pictures According to User’s Affinities (BB, DV, DM), pp. 519–524.
- ECIR-2011-MagdyJ #black box #question
- Should MT Systems Be Used as Black Boxes in CLIR? (WM, GJFJ), pp. 683–686.
- ECOOP-2011-HarmanciGF #coordination #exception #memory management #transaction
- Atomic Boxes: Coordinated Exception Handling with Transactional Memory (DH, VG, PF), pp. 634–657.
- ICSE-2011-MarianiPRS #automation #black box #named #testing
- AutoBlackTest: a tool for automatic black-box testing (LM, MP, OR, MS), pp. 1013–1015.
- SLE-2011-SeibelHNG #black box #composition #execution #model transformation
- A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
- ICTSS-2011-Walkinshaw #black box #specification #test coverage #testing
- Assessing Test Adequacy for Black-Box Systems without Specifications (NW), pp. 209–224.
- TAP-2011-AguirreBFG #black box #bound #generative #test coverage #testing
- Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs (NA, VSB, MFF, JPG), pp. 15–32.
- ASE-2010-Holotescu #adaptation #black box #component
- Error-avoiding adaptors for black-box software components (CH), pp. 487–492.
- DATE-2010-WieckowskiSBCIPA #analysis #black box
- A black box method for stability analysis of arbitrary SRAM cell structures (MW, DS, DB, VC, SI, CP, RCA), pp. 795–800.
- VLDB-2010-PramanikWML #query
- Transforming Range Queries To Equivalent Box Queries To Optimize Page Access (SP, AW, CRM, AXL), pp. 409–416.
- ITiCSE-2010-LoQY #energy
- Innovative CS capstone projects on green energy applications with WSN in a box (CTDL, KQ, LY), p. 307.
- ITiCSE-2010-QianLH #education #embedded
- Portable labs in a box for embedded system education (KQ, CTDL, XH), p. 318.
- SAS-2010-GurfinkelC #abstract domain #named
- Boxes: A Symbolic Abstract Domain of Boxes (AG, SC), pp. 287–303.
- ICPR-2010-PhamTN #bound #segmentation #similarity #using
- Bounding-Box Based Segmentation with Single Min-cut Using Distant Pixel Similarity (VQP, KT, TN), pp. 4420–4423.
- RecSys-2010-XieLW #recommendation
- Breaking out of the box of recommendations: from items to packages (MX, LVSL, PTW), pp. 151–158.
- SEKE-2010-Wang #black box #parametricity #testing #using
- Reducing Black-box Test Suite Using Input Parameter Relationships (LW), pp. 180–185.
- MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml
- Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
- ECOOP-2010-SchaferP #component #concurrent #named
- JCoBox: Generalizing Active Objects to Concurrent Components (JS, APH), pp. 275–299.
- OOPSLA-2010-RobersonB #composition #model checking #performance
- Efficient modular glass box software model checking (MR, CB), pp. 4–21.
- SAC-2010-GoldsztejnG #adaptation #consistency
- Box consistency through adaptive shaving (AG, FG), pp. 2049–2054.
- SAC-2010-VoigtIR #automation #generative #metamodelling #named
- MatchBox: combined meta-model matching for semi-automatic mapping generation (KV, PI, AR), pp. 2281–2288.
- FSE-2010-EpifaniGT #black box #detection
- Change-point detection for black-box services (IE, CG, GT), pp. 227–236.
- HPDC-2010-HerzfeldOS #virtual machine
- Pools of virtual boxes: building campus grids with virtual machines (DJH, LEO, CAS), pp. 667–675.
- ICTSS-2010-ArcuriIB #black box #embedded #random #realtime #search-based #testing #using
- Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing (AA, MZZI, LCB), pp. 95–110.
- DAC-2009-EllithorpeTK #architecture #named #network #using
- Internet-in-a-Box: emulating datacenter network architectures using FPGAs (JDE, ZT, RHK), pp. 880–883.
- DATE-2009-ViehlPBR #analysis #performance #scheduling
- White box performance analysis considering static non-preemptive software scheduling (AV, MP, OB, WR), pp. 513–518.
- STOC-2009-AronovES
- Small-size epsilon-nets for axis-parallel rectangles and boxes (BA, EE, MS), pp. 639–648.
- HCI-NIMT-2009-SuzukiKYY #interactive #interface #towards
- A Basic Study of Sensory Characteristics toward Interaction with a Box-Shaped Interface (NS, TK, SY, SY), pp. 513–522.
- RecSys-2009-AbbassiALVY #recommendation
- Getting recommender systems to think outside the box (ZA, SAY, LVSL, SV, CY), pp. 285–288.
- SAC-2009-ChoudhuriG #embedded #named #nondeterminism
- FlashBox: a system for logging non-deterministic events in deployed embedded systems (SC, TG), pp. 1676–1682.
- SAC-2009-NarayananCKS #parallel #scalability
- Parallel materialization of large ABoxes (SN, ÜVÇ, TMK, JHS), pp. 1257–1261.
- SLE-2009-RenggliDN
- Language Boxes (LR, MD, ON), pp. 274–293.
- CSL-2009-AccattoliG
- Jumping Boxes (BA, SG), pp. 55–70.
- ICST-2009-BertoliniPdM #automation #black box #empirical #evaluation #testing #user interface
- An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (CB, GP, Md, AM), pp. 21–30.
- ICST-2009-TanNM #automation #black box #library #parallel #programming #testing
- Automated Black Box Testing Tool for a Parallel Programming Library (RPT, PN, SM), pp. 307–316.
- CBSE-2008-Brada #black box #component
- The CoSi Component Model: Reviving the Black-Box Nature of Components (PB), pp. 318–333.
- CBSE-2008-KuperbergKR #behaviour #black box #component #modelling #parametricity #performance #predict #using
- Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models (MK, KK, RHR), pp. 48–63.
- ECSA-2008-Kotonya #architecture #black box #component #development
- An Architecture-Centric Development Environment for Black-Box Component-Based Systems (GK), pp. 98–113.
- ICALP-C-2008-AltmannJR #black box #integer #on the
- On Black-Box Ring Extraction and Integer Factorization (KA, TJ, AR), pp. 437–448.
- CHI-2008-DixonGC #parametricity #performance
- Optimal parameters for efficient crossing-based dialog boxes (MD, FG, NC), pp. 1623–1632.
- ICPR-2008-ChenA #recognition
- Recognition of box-like objects by fusing cues of shape and edges (CCC, JKA), pp. 1–5.
- CAV-2008-Felten
- Coping with Outside-the-Box Attacks (EWF), pp. 3–4.
- TAP-2008-TillmannH #dot-net #generative #testing
- Pex-White Box Test Generation for .NET (NT, JdH), pp. 134–153.
- DATE-2007-FengWZKS #automation #black box #generative #interactive #realtime
- Interactive presentation: Automatic model generation for black box real-time systems (THF, LW, WZ, SK, SAS), pp. 930–935.
- PLDI-2007-HaRDRRPCW #black box #component #fault
- Improved error reporting for software that uses black-box components (JH, CJR, JVD, IR, HER, DEP, DLC, EW), pp. 101–111.
- ICALP-2007-FurukawaA #black box #encryption
- Fully Collusion Resistant Black-Box Traitor Revocable Broadcast Encryption with Short Private Keys (JF, NA), pp. 496–508.
- HCI-IDU-2007-GokturkC #experience #open source
- Out of Box Experience Issues of Free and Open Source Software (MG, GÇ), pp. 774–783.
- HIMI-MTT-2007-SakuradaHON #interface #online #recognition #using
- A Japanese Text Input Interface Using On-Line Writing-Box-Free Handwriting Recognition and Kana-to-Kanji Conversion (TS, YH, HO, MN), pp. 940–949.
- PPDP-2007-FischerK #functional #generative #logic programming #source code #testing
- Systematic generation of glass-box test cases for functional logic programs (SF, HK), pp. 63–74.
- SAC-2007-AppelPSTT #clustering
- Biased box sampling — a density-biased sampling for clustering (APA, AAP, EPMdS, AJMT, CTJ), pp. 445–446.
- AMOST-2007-KicillofGTB #automation #test coverage #testing
- Achieving both model and code coverage with automated gray-box testing (NK, WG, NT, VAB), pp. 1–11.
- TAP-2007-BeckertG #black box #specification #testing
- White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.
- CBSE-2006-MauranPL #black box #distributed
- Supervising Distributed Black Boxes (PM, GP, PTXL), pp. 166–181.
- ASE-2006-Rajan #black box #metric #testing
- Coverage Metrics to Measure Adequacy of Black-Box Test Suites (AR), pp. 335–338.
- CASE-2006-BeghiLPS #black box #modelling #prototype
- Black-box modeling of a Two-Stroke Racing Motorcycle Engine for Virtual Prototyping Applications (AB, ML, SP, DS), pp. 280–285.
- DAC-2006-ChoP #named
- BoxRouter: a new global router based on box expansion and progressive ILP (MC, DZP), pp. 373–378.
- STOC-2006-IshaiKLP #black box
- Black-box constructions for secure computation (YI, EK, YL, EP), pp. 99–108.
- CSCW-2006-PalenB
- Of pill boxes and piano benches: “home-made” methods for managing medication (LP, SAB), pp. 79–88.
- ICPR-v1-2006-KatsoulasK #bound #image
- Box-like Superquadric Recovery in Range Images by Fusing Region and Boundary Information (DK, DIK), pp. 719–722.
- KR-2006-LiuLMW #logic
- Updating Description Logic ABoxes (HL, CL, MM, FW), pp. 46–56.
- PPDP-2006-GarraldaCD #named
- BASS: boxed ambients with safe sessions (PG, ABC, MDC), pp. 61–72.
- SAC-2006-PhilippePBBH #approach #black box #web
- A black-box approach for web application SLA (JP, NDP, SB, FB, DH), pp. 807–808.
- CSL-2006-Mellies #diagrams #string
- Functorial Boxes in String Diagrams (PAM), pp. 1–30.
- ICALP-2005-HorvitzK #black box #bound #performance
- Bounds on the Efficiency of “Black-Box” Commitment Schemes (OH, JK), pp. 128–139.
- CEFP-2005-ZsokHH #design #distributed
- Designing Distributed Computational Skeletons in D-Clean and D-Box (VZ, ZH, ZH), pp. 223–256.
- SAC-2005-ChabertTN #consistency #constraints #problem
- Box-set consistency for interval-based constraint problems (GC, GT, BN), pp. 1439–1443.
- HPDC-2005-Thain #grid
- Identity boxing: secure user-level containment for the grid (DT), pp. 299–300.
- CAV-2005-Younes #black box #probability #verification
- Probabilistic Verification for “Black-Box” Systems (HLSY), pp. 253–265.
- FATES-2005-Huima #black box #testing
- A Note on an Anomaly in Black-Box Testing (AH), pp. 47–61.
- FATES-2005-XieD #approach #concurrent #testing
- Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach (GX, ZD), pp. 170–186.
- ASE-2004-HopcroftB #csp #development
- Combining the Box Structure Development Method and CSP (PJH, GHB), pp. 340–345.
- ITiCSE-WGR-2004-Medina #education #social
- Beyond the ballot box: computer science education and social responsibility (EMM), pp. 7–10.
- ESOP-2004-LeviB #analysis #control flow
- A Control Flow Analysis for Safe and Boxed Ambients (FL, CB), pp. 188–203.
- ESOP-2004-PhillipsYE #automaton #calculus #distributed
- A Distributed Abstract Machine for Boxed Ambient Calculi (AP, NY, SE), pp. 155–170.
- ICSM-2004-XieN #black box #difference #testing
- Checking Inside the Black Box: Regression Testing Based on Value Spectra Differences (TX, DN), pp. 28–37.
- ICALP-2004-KrauthgamerL #black box #complexity #nearest neighbour
- The Black-Box Complexity of Nearest Neighbor Search (RK, JRL), pp. 858–869.
- SEFM-2004-BidoitHKB #black box #object-oriented #specification
- Glass-Box and Black-Box Views on Object-Oriented Specifications (MB, RH, AK, HB), pp. 208–217.
- ICML-2004-TaoSVO #approximate #learning #multi
- SVM-based generalized multiple-instance learning via approximate box counting (QT, SDS, NVV, TTO).
- ICPR-v2-2004-KatsoulasW #detection #image
- Edge Detection in Range Images of Piled Box-like Objects (DK, AW), pp. 80–84.
- KDD-2004-Hooker04a #black box
- Discovering additive structure in black box functions (GH), pp. 575–580.
- SEKE-2004-BeydedaG #component #off the shelf #self
- Black- and White-Box Self-testing COTS Components (SB, VG), pp. 104–109.
- LDTA-2004-JohnstoneSE #algorithm #case study #glr #parsing
- The Grammar Tool Box: A Case Study Comparing GLR Parsing Algorithms (AJ, ES, GRE), pp. 97–113.
- CC-2004-OwenW #cost analysis
- Reducing the Cost of Object Boxing (TO, DW), pp. 202–216.
- CAV-2004-SenVA #black box #model checking #probability #statistics
- Statistical Model Checking of Black-Box Probabilistic Systems (KS, MV, GA), pp. 202–215.
- DATE-2003-DobrovolnyVWD #analysis #modelling
- Analysis and White-Box Modeling of Weakly Nonlinear Time-Varying Circuits (PD, GV, PW, SD), pp. 10624–10629.
- DATE-2003-RemondB #design #set
- Set Top Box SoC Design Methodology at STMicroelectronics (FR, PB), pp. 20220–20223.
- SIGMOD-2003-Shivakumar
- Google in a Box — Building the Google Search Appliance (NS), p. 635.
- ICFP-2003-WashburnW #encoding #higher-order #morphism #parametricity #polymorphism #syntax
- Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism (GW, SW), pp. 249–262.
- ICEIS-v2-2003-BailonDF #fuzzy
- Extension of the Box-Counting Method to Measure the Fractal Dimension of Fuzzy Data (ABB, MD, WF), pp. 185–190.
- SOSP-2003-AguileraMWRM #black box #debugging #distributed #performance
- Performance debugging for distributed systems of black boxes (MKA, JCM, JLW, PR, AM), pp. 74–89.
- FATES-2003-TylerS #behaviour #black box #testing
- Black-Box Testing of Grey-Box Behavior (BT, NS), pp. 1–14.
- ASE-2002-SchroederFK #automation #black box #generative #testing
- Generating Expected Results for Automated Black-Box Testing (PJS, PF, BK), pp. 139–148.
- TACAS-2002-BornotMNZ #black box
- Black Box Unfolding with Local First Search (SB, RM, PN, SZ), pp. 386–400.
- DAC-2001-FanLWC #2d #design #on the
- On Optimum Switch Box Designs for 2-D FPGAs (HF, JL, YLW, CCC), pp. 203–208.
- ITiCSE-2001-HabermanK #black box #concept #education
- Activating “black boxes” instead of opening “zipper” — a method of teaching novices basic CS concepts (BH, YBDK), pp. 41–44.
- ICSM-2001-BeydedaGS #representation #testing #visual notation
- A Graphical Class Representation for Integrated Black- and White-Box Testing (SB, VG, MS), pp. 706–715.
- STOC-2001-CanettiKPR #black box #concurrent
- Black-box concurrent zero-knowledge requires Ω(log n) rounds (RC, JK, EP, AR), pp. 570–579.
- TOOLS-USA-2001-Devos01a
- Confronting Possibilities and Needs in the Digital Economy: Breaking out of the Box to Envision the System (MMD), pp. 432–434.
- SOSP-2001-Arpaci-DusseauA
- Information and Control in Gray-Box Systems (ACAD, RHAD), pp. 43–56.
- IJCAR-2001-HaarslevMT #logic #modelling #pseudo #reasoning
- Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics (VH, RM, AYT), pp. 61–75.
- ICSM-2000-Comella-DordaWSR #bibliography #black box #information management #legacy
- A Survey of Black-Box Modernization Approaches for Information Systems (SCD, KCW, RCS, JER), pp. 173–183.
- ICPR-v2-2000-FukushimaN #online #recognition
- On-Line Writing-Box-Free Recognition of Handwritten Japanese Text Considering Character Size Variations (TF, MN), pp. 2359–2363.
- KR-2000-HaarslevM #reasoning #strict #transitive
- Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles (VH, RM), pp. 273–284.
- TOOLS-EUROPE-2000-AssmannBG #metaprogramming
- Meta-Programming Grey-Box Connectors (UA, HB, TG), pp. 300–311.
- ISSTA-2000-SchroederK #analysis #black box #reduction #using
- Black-box test reduction using input-output analysis (PJS, BK), pp. 173–177.
- IWPC-1999-Korel #black box #component #comprehension #off the shelf
- Black-Box Understanding of COTS Components (BK), pp. 92–99.
- HCI-CCAD-1999-UchyigitCQC
- Agents in the box (GU, BC, EQ, JC), pp. 157–161.
- GCSE-1999-Bruin #approach #component #composition
- A Grey-Box Approach to Component Composition (HdB), pp. 195–209.
- ICLP-1999-BenhamouGGP #consistency
- Revising Hull and Box Consistency (FB, FG, LG, JFP), pp. 230–244.
- STOC-1998-HuangR #algebra #approach #black box #composition #problem #set
- A Black Box Approach to the Algebraic Set Decomposition Problem (MDAH, AJR), pp. 497–506.
- LICS-1998-Mackie #linear #logic
- Linear Logic With Boxes (IM), pp. 309–320.
- DAC-1997-LiuSAS #black box #design #optimisation
- Optimizing Designs Containing Black Boxes (THL, KS, AA, VS), pp. 113–116.
- ICSM-1997-HeSRC #black box #maintenance #testing
- Software Black Box Mechanism: A Pragmatic Method for Software Crash Diagnosis and Usage Maintenance Testing (ZH, GS, MR, IC), pp. 142–149.
- EDOC-1997-Kindel #black box #encapsulation #interface #multi #named #what
- COM: what makes it work, black-box encapsulation through multiple, immutable interfaces (CK), pp. 68–77.
- ICPR-1996-FengLC #approach #estimation
- Fractional box-counting approach to fractal dimension estimation (JF, WCL, CTC), pp. 854–858.
- KR-1996-GiacomoL #logic #reasoning
- TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.
- ICDAR-v1-1995-HoriD #analysis #reasoning #robust
- Robust table-form structure analysis based on box-driven reasoning (OH, DSD), pp. 218–221.
- ICDAR-v2-1995-HaHP #bound #component #recursion #using
- Recursive X-Y cut using bounding boxes of connected components (JH, RMH, ITP), pp. 952–955.
- ICDAR-v2-1995-HaHP95a #bound #composition #documentation
- Document page decomposition by the bounding-box project (JH, RMH, ITP), pp. 1119–1122.
- ILPS-1995-PugetL #constraints
- Beyond the Glass Box: Constraints as Objects (JFP, ML), pp. 513–527.
- SAS-1994-Goubault
- Generalized Boxings, Congruences and Partial Inlining (JG), pp. 147–161.
- POPL-1994-HengleinJ
- Formally Optimal Boxing (FH, JJ), pp. 213–226.
- ICDAR-1993-KrtolicaM #algorithm #recognition
- Two-stage box connectivity algorithm for optical character recognition (RK, SM), pp. 179–182.
- HCI-SHI-1993-MalinowskiKDS #adaptation #user interface
- Computer-Aided Adaptation of User Interfaces with Menus and Dialog Boxes (UM, TK, HD, MSH), pp. 122–127.
- HCI-SHI-1993-Page #interface
- Selecting Colors for Dialog Boxes and Buttons in a Text Interface (SRP), pp. 208–213.
- ICML-1993-RendersBS #adaptation #black box #how
- Adaptive NeuroControl: How Black Box and Simple can it be (JMR, HB, MS), pp. 260–267.
- TOOLS-PACIFIC-1993-MenziesS #black box #constraints #framework #how
- How to Edit “It”; or: A “Black-box” Constraint-Based Framework for User-Interaction with Arbitrary Structures (TM, RS), pp. 213–224.
- LICS-1992-GonthierAL #linear #logic
- Linear Logic Without Boxes (GG, MA, JJL), pp. 223–234.
- CC-1990-GroschE #compilation
- A Tool Box for Compiler Construction (JG, HE), pp. 106–116.