BibSLEIGH — domain stem

Used together with:

specif (328)
model (255)
languag (199)
use (146)
base (144)

Stem domain$ (all stems)

1393 papers:

CBSE-2015-KitPMBK #communication #component #optimisation: Employing Domain Knowledge for Optimizing Component Communication (MK, FP, VM, TB, OK), pp. 59–64.
ECSA-2015-RademacherPS #design #domain-specific language #framework #independence #web #web service: Design of a Domain-Specific Language Based on a Technology-Independent Web Service Framework (FR, MP, SS), pp. 357–371.
WICSA-2015-EliassonHPL #architecture: Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture (UE, RH, PP, JL), pp. 115–118.
DAC-2015-ChenSZDJ #optimisation: Optimizing data placement for reducing shift operations on domain wall memories (XC, EHMS, QZ, PD, WJ), p. 6.
DAC-2015-ChungRPG #energy #memory management: Domain wall memory based digital signal processors for area and energy-efficiency (JC, KR, JP, SG), p. 6.
DAC-2015-GuSZCH #embedded #memory management #performance: Area and performance co-optimization for domain wall memory in application-specific embedded systems (SG, EHMS, QZ, YC, JH), p. 6.
DAC-2015-KlineXMJ #energy #memory management: Domain-wall memory buffer for low-energy NoCs (DKJ, HX, RGM, AKJ), p. 6.
DATE-2015-GarciaMSN #multi #performance: High performance single supply CMOS inverter level up shifter for multi: supply voltages domains (JCG, JAMN, JS, SN), pp. 1273–1276.
DATE-2015-LiuHDCPKKTR: Clock domain crossing aware sequential clock gating (JL, MSH, KTD, JYC, JP, MK, MK, NT, AR), pp. 1–6.
DATE-2015-RanjanRVPRR #configuration management #memory management #named #using: DyReCTape: a dynamically reconfigurable cache using domain wall memory tapes (AR, SGR, RV, VSP, KR, AR), pp. 181–186.
DATE-2015-SamieBHH #multi #online: Online binding of applications to multiple clock domains in shared FPGA-based systems (FS, LB, CMH, JH), pp. 25–30.
DATE-2015-SchaffnerGSB #architecture #image #linear: DRAM or no-DRAM?: exploring linear solver architectures for image domain warping in 28 nm CMOS (MS, FKG, AS, LB), pp. 707–712.
TACAS-2015-Urban #abstract domain #contest #named #termination: FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.
SANER-2015-AggarwalRTHGS #debugging #detection #re-engineering: Detecting duplicate bug reports with software engineering domain knowledge (KA, TR, FT, AH, RG, ES), pp. 211–220.
SANER-2015-Erfani #metamodelling #ontology #towards: Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.
SANER-2015-MattsenWS #abstract domain #analysis: A non-convex abstract domain for the value analysis of binaries (SM, AW, SS), pp. 271–280.
SAS-2015-ChenC #abstract domain: A Binary Decision Tree Abstract Domain Functor (JC, PC), pp. 36–53.
ICALP-v1-2015-MitchellPSW #algorithm: An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains (JSBM, VP, MS, HW), pp. 947–959.
FM-2015-AmatoMMS #abstract domain: Narrowing Operators on Template Abstract Domains (GA, SDNDM, MCM, FS), pp. 57–72.
SEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification: Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
GaM-2015-RadwanH #detection #refactoring #smell: Detecting and Refactoring Operational Smells within the Domain Name System (MR, RH), pp. 113–128.
CHI-2015-TinatiKSLSS #case study #data analysis #design #framework #multi: Designing for Citizen Data Analysis: A Cross-Sectional Case Study of a Multi-Domain Citizen Science Platform (RT, MVK, EPBS, MLR, RJS, NS), pp. 4069–4078.
HIMI-IKD-2015-AlmAHU #ontology #visualisation: Annotated Domain Ontologies for the Visualization of Heterogeneous Manufacturing Data (RA, MA, SH, BU), pp. 3–14.
ICEIS-v1-2015-PfaffK #automation #benchmark #classification #documentation #identification #metric #natural language: Natural Language Processing Techniques for Document Classification in IT Benchmarking — Automated Identification of Domain Specific Terms (MP, HK), pp. 360–366.
ICEIS-v1-2015-SilvaBZ: Indirect Normative Conflict — Conflict that Depends on the Application Domain (VTdS, CB, JdOZ), pp. 452–461.
ICEIS-v2-2015-JaouachiKHHJ #image #ontology #rdf #semantics #using #web: Semantic Annotation of Images Extracted from the Web using RDF Patterns and a Domain Ontology (RTJ, MTK, NH, OH, MBJ), pp. 137–144.
ICEIS-v2-2015-MaranMAWO #information management #query: Proactive Domain Data Querying based on Context Information in Ambient Assisted Living Environments (VM, AM, IA, LKW, JPMdO), pp. 610–617.
ICEIS-v3-2015-CruzV #architecture #enterprise #towards: Towards a Reference Enterprise Application Architecture for the Customer Relationship Management Domain (AC, AV), pp. 185–195.
ECIR-2015-RuotsaloH #semantics: Exploiting Semantic Annotations for Domain-Specific Entity Search (TR, EH), pp. 358–369.
ECIR-2015-TannebaumR #database #named: PatNet: A Lexical Database for the Patent Domain (WT, AR), pp. 550–555.
ICML-2015-BlechschmidtGL #approximate #multi #optimisation #parametricity #problem: Tracking Approximate Solutions of Parameterized Optimization Problems over Multi-Dimensional (Hyper-)Parameter Domains (KB, JG, SL), pp. 438–447.
ICML-2015-GaninL #adaptation: Unsupervised Domain Adaptation by Backpropagation (YG, VSL), pp. 1180–1189.
ICML-2015-LiuHW #collaboration: Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.
RecSys-2015-Bourke #multi #recommendation: The Application of Recommender Systems in a Multi Site, Multi Domain Environment (SB), p. 229.
RecSys-2015-SahebiB #collaboration: It Takes Two to Tango: An Exploration of Domain Pairs for Cross-Domain Collaborative Filtering (SS, PB), pp. 131–138.
SEKE-2015-AdornesGLF #architecture #distributed #domain-specific language #memory management #pipes and filters: A Unified MapReduce Domain-Specific Language for Distributed and Shared Memory Architectures (DA, DG, CL, LGF), pp. 619–624.
SEKE-2015-BonifacioCFPK #domain-specific language #named #rest #specification: NeoIDL: A Domain-Specific Language for Specifying REST Services (RB, TMC, RF, AP, UK), pp. 613–618.
SEKE-2015-ChavezM #information retrieval #ontology #query #using: An Information Retrieval Model using Query Expansion based on Ontologies in the Computer Science Domain (BGCC, AM), pp. 652–655.
SEKE-2015-RamosCRSAP #analysis #architecture #recommendation: Recommendation in the Digital TV Domain: an Architecture based on Textual Description Analysis (FBAR, AAMC, RRdS, GS, HOdA, AP), pp. 99–104.
SEKE-2015-ValeSSA #agile #analysis #evaluation #industrial #named #process: RiSE-DA: An Agile Domain Analysis Process and its Industrial Evaluation (TV, ISS, IFdS, ESdA), pp. 696–699.
SIGIR-2015-Pal #multi: Discovering Experts across Multiple Domains (AP), pp. 923–926.
SIGIR-2015-ZhangCQZL #multi #personalisation #recommendation #similarity: When Personalization Meets Conformity: Collective Similarity based Multi-Domain Recommendation (XZ, JC, SQ, ZZ, HL), pp. 1019–1022.
ECMFA-J-2012-LaraGC15 #metamodelling #modelling: Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
ECMFA-2015-BousseMCB #approach #generative #metamodelling: A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
MoDELS-2015-EichlerMSGD #graph grammar #term rewriting: Enhanced graph rewriting systems for complex software domains (SoSyM abstract) (CE, TM, PS, LAG, KD), p. 447.
MoDELS-2015-HolldoblerRW #model transformation: Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELS-2015-PescadorGGCL #development #domain-specific language #modelling: Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
OOPSLA-2015-BrandauerCW #alias #fine-grained: Disjointness domains for fine-grained aliasing (SB, DC, TW), pp. 898–916.
GPCE-2015-AdamS #domain-specific language #tool support #towards: Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
SAC-2015-AbdiAM #algorithm #robust #video: A robust video watermarking algorithm in H.264/AVC compressed domain (LA, FBA, AM), pp. 1291–1293.
SAC-2015-KassingOBH #community #social: Locating domain-specific contents and experts on social bookmarking communities (SK, JO, AB, GJH), pp. 747–752.
SAC-2015-MedinaCP #evaluation #web: Evaluation of web accessibility on the maps domain (JLM, MIC, DMBP), pp. 157–162.
SAC-2015-SantosPFGMMC #framework #named: MyHealth: a cross-domain platform for healthcare (MYS, CGP, BF, LG, GM, AJCM, JAC), pp. 40–46.
SAC-2015-SousaS #domain-specific language #simulation #tool support: A domain specific language for spatial simulation scenarios (DSL3S): introduction and tool support (LdS, ARdS), pp. 1854–1856.
ESEC-FSE-2015-Olajubu #domain-specific language #modelling: A textual domain specific language for requirement modelling (OO), pp. 1060–1062.
ICSE-v2-2015-SchroederH0HLM #architecture #case study #design #evaluation #industrial #multi #product line #self: Design and Evaluation of a Customizable Multi-Domain Reference Architecture on Top of Product Lines of Self-Driving Heavy Vehicles — An Industrial Case Study (JS, DH, CB, CJH, LL, AM), pp. 189–198.
SLE-2015-LatombeCCDP #concurrent #domain-specific language #execution #modelling #weaving: Weaving concurrency in executable domain-specific modeling languages (FL, XC, BC, JD, MP), pp. 125–136.
SLE-2015-Lopez-Fernandez #validation #visual notation: Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
SLE-2015-MaroSATG #domain-specific language #editing #experience #industrial #on the #uml #visual notation: On integrating graphical and textual editors for a UML profile based domain specific language: an industrial experience (SM, JPS, AA, MT, LG), pp. 1–12.
SPLC-2015-FangLDEZ #automation #industrial #modelling #towards: Towards model-based derivation of systems in the industrial automation domain (MF, GL, JD, CE, JZ), pp. 283–292.
SPLC-2015-YueAS #analysis #case study #cyber-physical #experience #product line: Cyber-physical system product line engineering: comprehensive domain analysis and experience report (TY, SA, BS), pp. 338–347.
HPCA-2015-NachiappanYSSKI #energy #knowledge base: Domain knowledge based energy management in handhelds (NCN, PY, NS, AS, MTK, RI, CRD), pp. 150–160.
ICST-2015-HuuhtanenIL #algebra #algorithm #design #testing: Combining Algebraic and Domain Testing to Design Adequate Test Cases for Signal Processing Algorithms (TH, JI, CL), pp. 1–10.
LICS-2015-Edalat #calculus #difference: Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.
LICS-2015-HeunenL #algebra #commutative: Domains of Commutative C-Subalgebras (CH, BL), pp. 450–461.
RTA-2015-Waldmann #matrix: Matrix Interpretations on Polyhedral Domains (JW), pp. 318–333.
VMCAI-2015-Ferrara0N #automation: Automatic Inference of Heap Properties Exploiting Value Domains (PF, PM, MN), pp. 393–411.
ASE-2014-0004MPC #towards #traceability: Towards an intelligent domain-specific traceability solution (JG, NM, CP, JCH), pp. 755–766.
ASE-2014-MolotnikovVR #automation #c #verification: Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.
DAC-2014-IyengarG #analysis #embedded #memory management #modelling #power management #robust: Modeling and Analysis of Domain Wall Dynamics for Robust and Low-Power Embedded Memory (AI, SG), p. 6.
DAC-2014-MaoWZCL #architecture #memory management #using: Exploration of GPGPU Register File Architecture Using Domain-wall-shift-write based Racetrack Memory (MM, WW, YZ, YC, HHL), p. 6.
DATE-2014-KatzschkeSOBTB #constraints #design: Application of Mission Profiles to enable cross-domain constraint-driven design (CK, MPS, MO, VMzB, MT, EB), pp. 1–6.
DATE-2014-WangYSK #encryption #energy #in memory #performance: Energy efficient in-memory AES encryption based on nonvolatile domain-wall nanowire (YW, HY, DS, PK), pp. 1–4.
SIGMOD-2014-ChengMZK #flexibility #named: SerpentTI: flexible analytics of users, boards and domains for pinterest (AC, MM, CZ, NK), pp. 1075–1078.
ESOP-2014-UrbanM #abstract domain #ranking: An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.
CSMR-WCRE-2014-KlammerP #legacy #tool support #towards: Towards tool support for analyzing legacy systems in technical domains (CK, JP), pp. 371–374.
CSMR-WCRE-2014-QuanteTS #c #case study #towards: Towards recovering and exploiting domain knowledge from C code: A case study on automotive software (JQ, MT, JS), pp. 383–386.
ICPC-2014-VasquezKMSPG #anti #java #matter #metric #mobile: Domain matters: bringing further evidence of the relationships among anti-patterns, application domains, and quality-related metrics in Java mobile apps (MLV, SK, CM, AS, DP, YGG), pp. 232–243.
SAS-2014-ChenLMKW #abstract domain #constraints: An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
SAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management: An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
SAS-2014-UrbanM #abstract domain #proving #termination: A Decision Tree Abstract Domain for Proving Conditional Termination (CU, AM), pp. 302–318.
ICALP-v2-2014-Heunen #algebra: Piecewise Boolean Algebras and Their Domains (CH), pp. 208–219.
ICFP-2014-GibbonsW #domain-specific language #functional: Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.
IFL-2014-AronssonAS #domain-specific language #embedded: Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
CHI-2014-SondereggerUPS #testing #usability: The influence of aesthetics in usability testing: the case of dual-domain products (AS, AU, MP, JSS), pp. 21–30.
DUXU-DP-2014-OnalMMO #case study #challenge #experience #user interface: Enabling Better User Experiences across Domains: Challenges and Opportunities Facing a Human Factors Professional (EO, SM, CM, OO), pp. 81–89.
DUXU-ELAS-2014-Chunpir0B #comprehension #using: Using Soft Systems Methodology (SSM) in Understanding Current User-Support Scenario in the Climate Science Domain of Cyber-Infrastructures (HIC, TL, AAB), pp. 495–506.
HCI-TMT-2014-LuzSN #generative #human-computer #ontology #workflow: Generating Human-Computer Micro-task Workflows from Domain Ontologies (NL, NS, PN), pp. 98–109.
VISSOFT-2014-BergelMDG #dependence #domain-specific language #graph #visualisation: A Domain-Specific Language for Visualizing Software Dependencies as a Graph (AB, SM, SD, TG), pp. 45–49.
CAiSE-2014-CarvalhoAG #domain-specific language #ontology #semantics #using: Using Reference Domain Ontologies to Define the Real-World Semantics of Domain-Specific Languages (VAdC, JPAA, GG), pp. 488–502.
EDOC-2014-SchutzS #modelling: Customization of Domain-Specific Reference Models for Data Warehouses (CGS, MS), pp. 61–70.
ICEIS-v1-2014-GuerineRP #data mining #metaheuristic #mining: Extending the Hybridization of Metaheuristics with Data Mining to a Broader Domain (MG, IR, AP), pp. 395–406.
ICEIS-v1-2014-HuangZZ #clustering #generative #multi: Multi-domain Schema Clustering and Hierarchical Mediated Schema Generation (QH, CZ, JZ), pp. 111–118.
ICEIS-v1-2014-KozievitchHNT #data fusion #image #retrieval: Exploring Data Fusion under the Image Retrieval Domain (NPK, CSH, JN, RdST), pp. 171–178.
ICEIS-v1-2014-LettnerZ #data analysis #framework #industrial #product line: A Data Analysis Framework for High-variety Product Lines in the Industrial Manufacturing Domain (CL, MZ), pp. 209–216.
ICEIS-v1-2014-PfaffK #benchmark #distributed #integration #metric #ontology #semantics #towards: Semantic Integration of Semi-Structured Distributed Data in the Domain of IT Benchmarking — Towards a Domain Specific Ontology (MP, HK), pp. 320–324.
ICEIS-v2-2014-PfisterHN #agile #concurrent #design #diagrams #framework #metamodelling #modelling #synthesis #towards #visual notation: A Framework for Concurrent Design of Metamodels and Diagrams — Towards an Agile Method for the Synthesis of Domain Specific Graphical Modeling Languages (FP, MH, CN), pp. 298–306.
ICEIS-v2-2014-PintoDOC #aspect-oriented #development #framework #modelling #multi #product line #programming #towards: Evaluating the Effort for Modularizing Multiple-Domain Frameworks Towards Framework Product Lines with Aspect-oriented Programming and Model-driven Development (VHSCP, RSD, ALO, VVdC), pp. 60–70.
ICEIS-v2-2014-SouzaVS #ontology: Domain Ontology for Time Series Provenance (LdS, MSMGV, MSS), pp. 217–224.
ICEIS-v3-2014-GhezziCRB #framework #rest: Applications of the REST Framework to Test Technology Activation in Different ICT Domains (AG, AC, AR, RB), pp. 87–91.
CIKM-2014-LinLYC #classification #modelling #sentiment: Exploring Ensemble of Models in Taxonomy-based Cross-Domain Sentiment Classification (CKL, YYL, CHY, HHC), pp. 1279–1288.
CIKM-2014-MukherjeeAJ #corpus #framework #ontology: Domain Cartridge: Unsupervised Framework for Shallow Domain Ontology Construction from Corpus (SM, JA, SJ), pp. 929–938.
CIKM-2014-WalkSS #case study #collaboration: Sequential Action Patterns in Collaborative Ontology-Engineering Projects: A Case-Study in the Biomedical Domain (SW, PS, MS), pp. 1349–1358.
CIKM-2014-WangLLZZSY #linked data #open data: Faceted Exploring for Domain Knowledge over Linked Open Data (MW, JL, WL, QZ, WZ, LS, SY), pp. 2009–2011.
ECIR-2014-LiEV #microblog: Geo-spatial Domain Expertise in Microblogs (WL, CE, APdV), pp. 487–492.
ECIR-2014-LoniSLH #collaboration: Cross-Domain Collaborative Filtering with Factorization Machines (BL, YS, ML, AH), pp. 656–661.
ECIR-2014-YatesGF: Relevance-Ranked Domain-Specific Synonym Discovery (AY, NG, OF), pp. 124–135.
ICML-c1-2014-MeiZZ #first-order #logic #modelling #robust: Robust RegBayes: Selectively Incorporating First-Order Logic Domain Knowledge into Bayesian Models (SM, JZ, JZ), pp. 253–261.
ICML-c2-2014-Chen0 #big data #learning #modelling #topic #using: Topic Modeling using Topics from Many Domains, Lifelong Learning and Big Data (ZC, BL), pp. 703–711.
ICPR-2014-DengZS #learning #recognition #speech: Linked Source and Target Domain Subspace Feature Transfer Learning — Exemplified by Speech Emotion Recognition (JD, ZZ, BWS), pp. 761–766.
ICPR-2014-FangZ #classification #learning: Cross Domain Shared Subspace Learning for Unsupervised Transfer Classification (ZF, ZZ), pp. 3927–3932.
ICPR-2014-HongZP #analysis #estimation #image: Pose Estimation via Complex-Frequency Domain Analysis of Image Gradient Orientations (XH, GZ, MP), pp. 1740–1745.
ICPR-2014-HouYW #adaptation #learning #recognition #self: Domain Adaptive Self-Taught Learning for Heterogeneous Face Recognition (CAH, MCY, YCFW), pp. 3068–3073.
ICPR-2014-HtikeH #adaptation #detection #performance #video: Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPR-2014-JiangMVP #recognition: Decision Level Fusion of Domain Specific Regions for Facial Action Recognition (BJ, BM, MFV, MP), pp. 1776–1781.
ICPR-2014-RebetezTC #adaptation #correlation #image: Network-Based Correlated Correspondence for Unsupervised Domain Adaptation of Hyperspectral Satellite Images (JR, DT, NC), pp. 3921–3926.
ICPR-2014-SariE #analysis #detection #fault #independence #using: Texture Defect Detection Using Independent Vector Analysis in Wavelet Domain (LS, AE), pp. 1639–1644.
ICPR-2014-VilaltaGM #adaptation #classification: Domain Adaptation under Data Misalignment: An Application to Cepheid Variable Star Classification (RV, KDG, LM), pp. 3660–3665.
ICPR-2014-XuRVL #adaptation #multi: Cost-Sensitive Structured SVM for Multi-category Domain Adaptation (JX, SR, DV, AML), pp. 3886–3891.
KDD-2014-LiL #quality #recommendation: Matching users and items across domains to improve the recommendation quality (CYL, SDL), pp. 801–810.
KDD-2014-SarawagiC #modelling #query #web: Open-domain quantity queries on web tables: annotation, response, and consensus models (SS, SC), pp. 711–720.
KDD-2014-ZhouC #adaptation #documentation #learning #rank: Unifying learning to rank and domain adaptation: enabling cross-task document scoring (MZ, KCCC), pp. 781–790.
KDIR-2014-DomeniconiMPS #category theory #classification: Cross-domain Text Classification through Iterative Refining of Target Categories Representations (GD, GM, RP, CS), pp. 31–42.
KEOD-2014-SongJ #empirical: A Task-Aware Empirical Know-How Map Built on Domain Q&A (BS, ZJ), pp. 410–416.
KR-2014-BelleL #how: How to Progress Beliefs in Continuous Domains (VB, HJL).
MLDM-2014-YuST #detection #modelling #realtime: Semi-supervised Time Series Modeling for Real-Time Flux Domain Detection on Passive DNS Traffic (BY, LS, MT), pp. 258–271.
RecSys-2014-CantadorC #recommendation #tutorial: Tutorial on cross-domain recommender systems (IC, PC), pp. 401–402.
RecSys-2014-CremonesiQ #question #recommendation: Cross-domain recommendations without overlapping data: myth or reality? (PC, MQ), pp. 297–300.
RecSys-2014-Stettinger #independence #named #towards: Choicla: towards domain-independent decision support for groups of users (MS), pp. 425–428.
RecSys-2014-TrevisiolASJ #graph #recommendation: Cold-start news recommendation with domain-dependent browse graph (MT, LMA, RS, AJ), pp. 81–88.
SEKE-2014-DaubalDDA #concept: Tracing Domain Data Concepts in Layered Applications (MD, ND, DBD, HUA), pp. 292–297.
SEKE-2014-FreireKAJNAG #domain-specific language #empirical #formal method #re-engineering: An Empirical Study to Evaluate a Domain Specific Language for Formalizing Software Engineering Experiments (MAF, UK, EA, AJ, ECN, STA, MG), pp. 250–255.
SIGIR-2014-GoeuriotKL #analysis #information retrieval #query: An analysis of query difficulty for information retrieval in the medical domain (LG, LK, JL), pp. 1007–1010.
SIGIR-2014-LagunA: Effects of task and domain on searcher attention (DL, EA), pp. 1087–1090.
SIGIR-2014-NieLASC #named: WenZher: comprehensive vertical search for healthcare domain (LN, TL, MA, JS, TSC), pp. 1245–1246.
SIGIR-2014-ZhangZSLWY #online: Cross-domain and cross-category emotion tagging for comments of online news (YZ, NZ, LS, YL, QW, XY), pp. 627–636.
SKY-2014-ExmanI #generative #named #ontology: Apogee: Application Ontology Generation from Domain Ontologies (IE, DI), pp. 31–42.
SKY-2014-OsetinskyY #abstraction #case study #effectiveness #legacy #using: Working More Effectively with Legacy Code Using Domain Knowledge and Abstractions: A Case Study (IO, RY), pp. 63–70.
ECMFA-2014-CuadradoGL #model transformation #towards: Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ECMFA-2014-Goldschmidt #domain-specific language #framework #multi #towards: Towards an Infrastructure for Domain-Specific Languages in a Multi-domain Cloud Platform (TG), pp. 242–253.
ECMFA-2014-LogreMCR #approach #variability #visualisation: Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability (IL, SM, PC, MR), pp. 101–116.
MoDELS-2014-AndolfatoKSSZC #case study #experience #modelling: Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
MoDELS-2014-KrikavaCF #domain-specific language #named #scala: SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MoDELS-2014-LiebelMTLH #embedded #modelling: Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy: Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
MoDELS-2014-AndolfatoKSSZC #case study #experience #modelling: Experiences in Applying Model Driven Engineering to the Telescope and Instrument Control System Domain (LA, RK, MS, HS, MZ, GC), pp. 403–419.
MoDELS-2014-KrikavaCF #domain-specific language #named #scala: SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MoDELS-2014-LiebelMTLH #embedded #modelling: Assessing the State-of-Practice of Model-Based Engineering in the Embedded Systems Domain (GL, NM, MT, AL, JH), pp. 166–182.
MoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy: Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
Onward-2014-AcherCC #domain-specific language: Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language (MA, BC, PC), pp. 243–253.
GPCE-2014-HumerWWWW #abstract syntax tree #domain-specific language #self: A domain-specific language for building self-optimizing AST interpreters (CH, CW, CW, AW, TW), pp. 123–132.
GPCE-2014-ShiodaIS #domain-specific language #embedded #library #metaprogramming #named: LibDSL: a library for developing embedded domain specific languages in d via template metaprogramming (MS, HI, SS), pp. 63–72.
RE-2014-FilipovikjNR #approach #formal method #requirements: Reassessing the pattern-based approach for formalizing requirements in the automotive domain (PF, MN, GRN), pp. 444–450.
RE-2014-MaalejG #lessons learnt: Capturing and sharing domain knowledge with business rules lessons learned from a global software vendor (WM, SG), pp. 364–373.
SAC-2014-BeckersCG #in the cloud #requirements #security: A catalog of security requirements patterns for the domain of cloud computing systems (KB, IC, LG), pp. 337–342.
SAC-2014-KrikavaCF #adaptation #architecture #modelling #named #self: ACTRESS: domain-specific modeling of self-adaptive software architectures (FK, PC, RBF), pp. 391–398.
SAC-2014-KrikavaCF14a #domain-specific language #modelling #using: Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
SAC-2014-MehdiIHKDS #keyword: Utilizing domain-specific keywords for discovering public SPARQL endpoints: a life-sciences use-case (MM, AI, AH, YK, SD, RS), pp. 333–335.
SAC-2014-Rohrig #domain-specific language #process #scheduling: A domain specific language for process scheduling (DR), pp. 1550–1551.
FSE-2014-YeBL #debugging #learning #rank #using: Learning to rank relevant files for bug reports using domain knowledge (XY, RCB, CL), pp. 689–699.
LDTA-J-2011-SauthoffG #analysis #domain-specific language #optimisation #programming: Yield grammar analysis and product optimization in a domain-specific language for dynamic programming (GS, RG), pp. 2–22.
SLE-J-2012-SloaneR #attribute grammar #domain-specific language #profiling #term rewriting: Domain-specific program profiling and its application to attribute grammars and term rewriting (AMS, MR), pp. 488–510.
SLE-2014-ChisGN #debugging #framework: The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (AC, TG, ON), pp. 102–121.
SLE-2014-MeyersDLSVW #framework #generative #named: ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
SPLC-2014-DomisSGAK #analysis #case study #experience #industrial #reuse: Customizing domain analysis for assessing the reuse potential of industrial software systems: experience report (DD, SS, TG, MA, HK), pp. 310–319.
SPLC-2014-Reinhartz-Berger #automation #domain model #modelling: Can domain modeling be automated?: levels of automation in domain modeling (IRB), p. 359.
ASPLOS-2014-LinWZ #mobile #named #operating system: K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.
CGO-2014-HongSWO #domain-specific language #graph #scalability: Simplifying Scalable Graph Processing with a Domain-Specific Language (SH, SS, JW, KO), p. 208.
PPoPP-2014-Olukotun #domain-specific language #parallel #programming: Beyond parallel programming with domain specific languages (KO), pp. 179–180.
ICLP-J-2014-Jackson #domain-specific language: A Module System for Domain-Specific Languages (EKJ), pp. 771–785.
LICS-CSL-2014-BilokonE #approach #probability #process: A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
VMCAI-2014-Fu #abstract domain #analysis #java #points-to #scalability: Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java (ZF), pp. 282–301.
ASE-2013-AnnervazKSS #analysis #domain model #modelling #natural language #quality #requirements: Natural language requirements quality analysis based on business domain models (KMA, VSK, SS, MS), pp. 676–681.
DAC-2013-YeWHL #parallel #segmentation #simulation: Time-domain segmentation based massively parallel simulation for ADCs (ZY, BW, SH, YL), p. 6.
DATE-2013-VenkatesanSRR #energy #named #performance #using: DWM-TAPESTRI — an energy efficient all-spin cache using domain wall shift based writes (RV, MS, KR, AR), pp. 1825–1830.
DocEng-2013-Rinaldi #challenge #editing #motivation: Assisted editing in the biomedical domain: motivation and challenges (FR), pp. 197–200.
ICDAR-2013-ItaniHI #using: Text Line Extraction Method Using Domain-Based Active Contour Model (YI, TH, JI), pp. 1230–1234.
ICDAR-2013-RebeloC #detection: Staff Line Detection and Removal in the Grayscale Domain (AR, JSC), pp. 57–61.
ICDAR-2013-Saabni #distance #embedded #image #performance #retrieval #using #word: Efficient Word Image Retrieval Using Earth Movers Distance Embedded to Wavelets Coefficients Domain (RS), pp. 314–318.
VLDB-2013-Madaan #documentation #multi #query #repository: Domain Specific Multi-stage Query Language for Medical Document Repositories (AM), pp. 1410–1415.
TACAS-2013-Minamide #automaton: Weighted Pushdown Systems with Indexed Weight Domains (YM), pp. 230–244.
CSMR-2013-PengABCTR #framework #named #process: MDO: Framework for Context-Aware Process Mobility in Building-Maintenance Domain (TP, GA, DB, AC, TJT, MR), pp. 449–452.
ICSM-2013-FontanaFMWM #empirical #quality #smell: Investigating the Impact of Code Smells on System’s Quality: An Empirical Study on Systems of Different Application Domains (FAF, VF, AM, BW, PM), pp. 260–269.
ICSM-2013-KlintLV #domain model: Exploring the Limits of Domain Model Recovery (PK, DL, JJV), pp. 120–129.
WCRE-2013-KomondoorBDK #domain model #modelling #using: Using relationships for matching textual domain models with existing code (RK, IB, DD, SK), pp. 371–380.
PEPM-2013-OliveiraL #domain-specific language #graph #syntax: Abstract syntax graphs for domain specific languages (BCdSO, AL), pp. 87–96.
PLDI-2013-ElmasBNS #concurrent #debugging #domain-specific language #named: CONCURRIT: a domain specific language for reproducing concurrency bugs (TE, JB, GCN, KS), pp. 153–164.
SAS-2013-0001MP #abstract domain #automaton #quantifier: Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists (PG, PM, GP), pp. 172–193.
SAS-2013-FouilheMP #abstract domain #correctness #generative #performance: Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
SAS-2013-GangeNSSS #abstract domain #abstract interpretation: Abstract Interpretation over Non-lattice Abstract Domains (GG, JAN, PS, HS, PJS), pp. 6–24.
SAS-2013-Urban #abstract domain #ranking: The Abstract Domain of Segmented Ranking Functions (CU), pp. 43–62.
CEFP-2013-Brady #dependent type #domain-specific language #embedded #implementation #programming language: The Idris Programming Language — Implementing Embedded Domain Specific Languages with Dependent Types (EB), pp. 115–186.
CEFP-2013-Gibbons #domain-specific language #functional #programming: Functional Programming for Domain-Specific Languages (JG), pp. 1–28.
DUXU-WM-2013-YuanCZAX #performance #visualisation: Effects of Domain Knowledge on User Performance and Perception in a Knowledge Domain Visualization System (XJY, CC, XZ, JMA, TX), pp. 601–610.
HCI-AMTE-2013-WincklerBB: Characterizing Incidents Reporting Systems across Applications Domains (MW, CB, RB), pp. 521–530.
HIMI-LCCB-2013-HayashiMIN #design: Bodily Expression Media by Dual Domain Design of Shadow (NH, YM, SI, HN), pp. 195–202.
HILT-2013-Jackson #domain-specific language: Engineering domain-specific languages with formula 2.0 (EKJ), pp. 3–4.
CAiSE-2013-AgtK #automation #modelling #network #scalability #semantics: Automated Construction of a Large Semantic Network of Related Terms for Domain-Specific Modeling (HA, RDK), pp. 610–625.
EDOC-2013-AtkinsonGF #enterprise #modelling: Modeling Language Extension in the Enterprise Systems Domain (CA, RG, MF), pp. 49–58.
ICEIS-v3-2013-LambeckKG #bibliography #case study #design #enterprise #interface #testing: Discovering Potentials in Enterprise Interface Design — A Review of Our Latest Case Studies in the Enterprise Domain (CL, DK, RG), pp. 99–104.
CIKM-2013-BaoCD #classification #topic: A partially supervised cross-collection topic model for cross-domain text classification (YB, NC, AD), pp. 239–248.
CIKM-2013-BrossE #automation #bibliography #mining #sentiment: Automatic construction of domain and aspect specific sentiment lexicons for customer review mining (JB, HE), pp. 1077–1086.
CIKM-2013-FangZ #feature model #learning #multi: Discriminative feature selection for multi-view cross-domain learning (ZF, Z(Z), pp. 1321–1330.
CIKM-2013-IdaNM #independence #online #topic: Domain-dependent/independent topic switching model for online reviews with numerical ratings (YI, TN, TM), pp. 229–238.
ECIR-2013-BolshakovaLN #modelling #topic: Topic Models Can Improve Domain Term Extraction (EIB, NVL, MN), pp. 684–687.
ECIR-2013-NikoulinaC #adaptation #information retrieval #modelling #statistics: Domain Adaptation of Statistical Machine Translation Models with Monolingual Data for Cross Lingual Information Retrieval (VN, SC), pp. 768–771.
ICML-c1-2013-GongGS #adaptation #invariant #learning: Connecting the Dots with Landmarks: Discriminatively Learning Domain-Invariant Features for Unsupervised Domain Adaptation (BG, KG, FS), pp. 222–230.
ICML-c1-2013-GrinbergP #optimisation: Average Reward Optimization Objective In Partially Observable Domains (YG, DP), pp. 320–328.
ICML-c1-2013-MuandetBS #invariant #representation: Domain Generalization via Invariant Feature Representation (KM, DB, BS), pp. 10–18.
ICML-c1-2013-XiaoG #adaptation #probability #sequence: Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
ICML-c3-2013-ChuangGMH #topic: Topic Model Diagnostics: Assessing Domain Relevance via Topical Alignment (JC, SG, CDM, JH), pp. 612–620.
ICML-c3-2013-GermainHLM #adaptation #approach #classification #linear: A PAC-Bayesian Approach for Domain Adaptation with Specialization to Linear Classifiers (PG, AH, FL, EM), pp. 738–746.
ICML-c3-2013-ZhangSMW #adaptation: Domain Adaptation under Target and Conditional Shift (KZ, BS, KM, ZW), pp. 819–827.
KDD-2013-ChengZGWSW #clustering #flexibility #graph #multi #robust: Flexible and robust co-regularized multi-domain graph clustering (WC, XZ, ZG, YW, PFS, WW), pp. 320–328.
KDD-2013-ChenHL #multi #recommendation: Making recommendations from multiple domains (WC, WH, MLL), pp. 892–900.
KDIR-KMIS-2013-CheetiSC #adaptation #approach #classification #naive bayes #sentiment #syntax #using: Cross-domain Sentiment Classification using an Adapted Naïve Bayes Approach and Features Derived from Syntax Trees (SC, AS, DC), pp. 169–176.
KDIR-KMIS-2013-RauchS #case study #mining #using: Using Domain Knowledge in Association Rules Mining — Case Study (JR, MS), pp. 104–111.
KEOD-2013-CalegariFP #categorisation #comparative #ontology: Comparative Evaluations of a Hierarchical Categorization of Search Results based on a Granular View of Domain Ontologies (SC, FF, GP), pp. 361–366.
KEOD-2013-NadarajanYC #framework #multi #ontology #performance #scalability #workflow: Multiple Ontologies Enhanced with Performance Capabilities to Define Interacting Domains within a Workflow Framework for Analysing Large Undersea Videos (GN, CLY, YHCB), pp. 419–426.
MLDM-2013-CastroSAE #automation #classification #database #using #web: Automatic Classification of Web Databases Using Domain-Dictionaries (HMMC, VJSS, ILA, HJEB), pp. 340–351.
MLDM-2013-Suthaharan #big data #classification #network: A Single-Domain, Representation-Learning Model for Big Data Classification of Network Intrusion (SS), pp. 296–310.
SEKE-2013-AlviD #classification #fuzzy #image #using: Image Steganography Using Fuzzy Domain Transformation and Pixel Classification (AKA, RD), pp. 277–282.
SEKE-2013-JanesMSS #analysis #problem #programming #requirements: Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (S) (AJ, SM, AS, GS), pp. 226–231.
SEKE-2013-LosadaJ #documentation #identification #semantics: Processing rhetorical, morphosyntactic, and semantic features from corporate technical documents for identifying organizational domain knowledge (S) (BML, CMZJ), pp. 268–272.
SEKE-2013-MoshirpourEF #approach #automation #ontology #using: Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (S) (MM, AE, BHF), pp. 63–66.
SEKE-2013-WuZG #named #requirements: DOPROPC: a domain property pattern system helping to specify control system requirements (S) (FW, HZ, MG), pp. 695–698.
SKY-2013-GallantG: Overcoming Software System Misuse by Domain Knowledge (RG, LG), pp. 62–69.
MoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using: Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
MoDELS-2013-NoyritGT #analysis #domain-specific language #integration #modelling #using: Computer Assisted Integration of Domain-Specific Modeling Languages Using Text Analysis Techniques (FN, SG, FT), pp. 505–521.
ECOOP-2013-SujeethRBLCPWPJOO #composition #domain-specific language #reuse: Composition and Reuse with Compiled Domain-Specific Languages (AKS, TR, KJB, HL, HC, VP, MW, AP, VJ, MO, KO), pp. 52–78.
GPCE-2013-DhunganaFH #domain model #generative #modelling: Generation of conjoint domain models for system-of-systems (DD, AAF, AH), pp. 159–168.
POPL-2013-LoschP #abstraction: Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.
RE-2013-0004CB #traceability: Foundations for an expert system in domain-specific traceability (JG, JCH, BB), pp. 42–51.
RE-2013-Cleland-HuangG #named #requirements: Ready-Set-Transfer: Technology transfer in the requirements engineering domain (JCH, SG), pp. 345–346.
RE-2013-NiknafsB #case study #effectiveness #elicitation #generative #idea #industrial #requirements: An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 279–283.
SAC-PL-J-2011-AcherCLF13 #domain-specific language #feature model #modelling #named #scalability: FAMILIAR: A domain-specific language for large scale management of feature models (MA, PC, PL, RBF), pp. 657–681.
SAC-2013-CataldiMA #network #social: Estimating domain-based user influence in social networks (MC, NM, MAA), pp. 1957–1962.
SAC-2013-GrueauA #modelling #towards: Towards a domain specific modeling language for agent-based models in land use science (CG, JA), pp. 83–85.
SAC-2013-PalomaresQFRG #content management #functional #requirements: A catalogue of functional software requirement patterns for the domain of content management systems (CP, CQ, XF, SR, CG), pp. 1260–1265.
SAC-2013-TranLZ #architecture #metadata #security: Derivation of domain-specific architectural knowledge views from governance and security compliance metadata (HT, IL, UZ), pp. 1728–1733.
SAC-2013-WoutersG #development #domain-specific language #empirical #metamodelling #modelling: Notation-driven vs metamodel-driven development of domain-specific modeling languages: an empirical study (LW, MPG), pp. 1145–1146.
ESEC-FSE-2013-ZervoudakisREF #model checking #verification: Cascading verification: an integrated method for domain-specific model checking (FZ, DSR, SGE, AF), pp. 400–410.
ICSE-2013-Carvalho #comprehension #concept #ontology #problem #tool support: An ontology toolkit for problem domain concept location in program comprehension (NRC), pp. 1415–1418.
ICSE-2013-DamianHKMK #communication #coordination: The role of domain knowledge and cross-functional communication in socio-technical coordination (DD, RH, IK, SM, BK), pp. 442–451.
ICSE-2013-RahmanARP #case study #on the: On the relationships between domain-based coupling and code clones: an exploratory study (MSR, AA, CKR, FP), pp. 1265–1268.
SLE-2013-FehrenbachEO #domain-specific language #evolution: Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.
SLE-2013-SobernigSB #domain-specific language #energy #scheduling: Developing a Domain-Specific Language for Scheduling in the European Energy Sector (SS, MS, AB), pp. 19–35.
SLE-2013-VacchiCPC #development #domain-specific language #variability: Variability Support in Domain-Specific Language Development (EV, WC, SP, BC), pp. 76–95.
PLEASE-2013-HuangYKHU #analysis #domain-specific language #mining #repository #towards: Domain analysis for mining software repositories: Towards feature-based DSL construction (CH, KY, YK, KH, NU), pp. 41–44.
PLEASE-2013-UrliMBC #how #multi #product line #question: How to exploit domain knowledge in Multiple Software Product Lines? (SU, SM, MBF, PC), pp. 13–16.
SPLC-2013-KoziolekGGDS #analysis #case study #experience #identification #reuse: Experiences from identifying software reuse opportunities by domain analysis (HK, TG, TdG, DD, SS), pp. 208–217.
SPLC-2013-MyllarniemiSM #case study #performance #product line #variability: Performance variability in software product lines: a case study in the telecommunication domain (VM, JS, TM), pp. 32–41.
CSL-2013-Maruyama #category theory #monad: Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad (YM), pp. 500–520.
ICST-2013-Torsel #domain-specific language #model checking #modelling #testing #using #web: A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker (AMT), pp. 383–390.
VMCAI-2013-PelleauMTB #abstract domain #constraints #theorem proving: A Constraint Solver Based on Abstract Domains (MP, AM, CT, FB), pp. 434–454.
VMCAI-2013-SeladjiB #abstract domain #analysis #fixpoint #tool support #using: Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (YS, OB), pp. 149–168.
VMCAI-2013-ToubhansCR #abstract domain: Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.
CBSE-2012-RouvoyM #agile #architecture #prototype: Rapid prototyping of domain-specific architecture languages (RR, PM), pp. 13–22.
WICSA-ECSA-2012-AstekinS #analysis #clone detection #detection #simulation: Utilizing Clone Detection for Domain Analysis of Simulation Systems (MA, HS), pp. 287–291.
WICSA-ECSA-2012-EdwardsBM #analysis #automation #code generation #modelling: Automated Analysis and Code Generation for Domain-Specific Models (GE, YB, NM), pp. 161–170.
WICSA-ECSA-2012-TauschPA #analysis #domain-specific language #named #traceability: TracQL: A Domain-Specific Language for Traceability Analysis (NT, MP, JA), pp. 320–324.
CASE-2012-QuangR #approach #implementation: Implementation of Time Domain Passivity Approach on Rate-Mode bilateral teleoperation (HVQ, JHR), pp. 846–850.
DAC-2012-GhasemiSSK #effectiveness #power management: Cost-effective power delivery to support per-core voltage domains for power-constrained processors (HRG, AAS, MJS, NSK), pp. 56–61.
DATE-2012-BrachtendorfBL #simulation: Simulation of the steady state of oscillators in the time domain (HGB, KB, RL), pp. 1355–1360.
DATE-2012-Chaturvedi #static analysis: Static analysis of asynchronous clock domain crossings (SC), pp. 1122–1125.
DATE-2012-KarimiCGP #fault #generative #testing: Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
DATE-2012-ZimmermannBR #analysis #multi #power management: Analysis of multi-domain scenarios for optimized dynamic power management strategies (JZ, OB, WR), pp. 862–865.
HT-2012-WalshOW #approach #evaluation: Evaluation of a domain-aware approach to user model interoperability (EW, AO, VW), pp. 197–206.
FASE-2012-LiT #domain-specific language #erlang #refactoring: A Domain-Specific Language for Scripting Refactorings in Erlang (HL, SJT), pp. 501–515.
ICSM-2012-HoraADA #question: Domain specific warnings: Are they any better? (AH, NA, SD, SA), pp. 441–450.
SCAM-2012-GethersAP #concept #database #dependence #detection: Combining Conceptual and Domain-Based Couplings to Detect Database and Code Dependencies (MG, AA, DP), pp. 144–153.
SAS-2012-ChengR #abstract domain #spreadsheet: An Abstract Domain to Infer Types over Zones in Spreadsheets (TC, XR), pp. 94–110.
SAS-2012-IoualalenM #abstract domain #representation: A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.
FLOPS-2012-Triska #constraints #finite #prolog #theorem proving: The Finite Domain Constraint Solver of SWI-Prolog (MT), pp. 307–316.
ICALP-v1-2012-ChenW: Computing the Visibility Polygon of an Island in a Polygonal Domain (DZC, HW), pp. 218–229.
FM-2012-CarlierDG #constraints #finite #theorem proving: A Certified Constraint Solver over Finite Domains (MC, CD, AG), pp. 116–131.
ICFP-2012-Olukotun #domain-specific language #embedded #performance: High performance embedded domain specific languages (KO), pp. 139–140.
ICGT-2012-WestfechtelN #evolution #graph transformation: Graph Transformations for Evolving Domain Knowledge (BW, MN), pp. 341–355.
CHI-2012-YuanW #web: Building the trail best traveled: effects of domain knowledge on web search trailblazing (XY, RW), pp. 1795–1804.
CSCW-2012-BartelD #collaboration #multi #towards: Towards multi-domain collaborative toolkits (JWB, PD), pp. 1297–1306.
CSCW-2012-McDonaldGZ #analysis #prototype #social #type system: Building for social translucence: a domain analysis and prototype system (DWM, SG, MZ), pp. 637–646.
HILT-2012-HardinSWP #domain-specific language #security: A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
ICEIS-J-2012-SilcherDMM12a #lifecycle: Advanced Product Lifecycle Management by Introducing Domain-Specific Service Buses (SS, MD, JM, BM), pp. 92–107.
ICEIS-J-2012-VianaPP12a #domain-specific language #framework #modelling: Building Domain-Specific Modeling Languages for Frameworks (MCV, RADP, AFdP), pp. 191–206.
ICEIS-v1-2012-KosorusBK #query #semantics #similarity #taxonomy #using: Semantic Similarity between Queries in QA System using a Domain-specific Taxonomy (HK, AB, JK), pp. 241–246.
ICEIS-v2-2012-VianaPP #domain-specific language #framework #generative #modelling #reuse: Generating Applications — Framework Reuse Supported by Domain-Specific Modeling Languages (MCV, RDP, AFdP), pp. 5–14.
CIKM-2012-DangKT #query #web: Domain dependent query reformulation for web search (VD, GK, ADT), pp. 1045–1054.
CIKM-2012-JiangCWYZY #multi #recommendation #relational #social: Social recommendation across multiple relational domains (MJ, PC, FW, QY, WZ, SY), pp. 1422–1431.
CIKM-2012-LiCLP #corpus #ontology #performance: Efficient extraction of ontologies from domain specific text corpora (TL, PC, LVSL, RP), pp. 1537–1541.
CIKM-2012-LongGXK #approach #design #using: A simple approach to the design of site-level extractors using domain-centric principles (CL, XG, CX, SK), pp. 1517–1521.
CIKM-2012-MehrotraAH #adaptation #representation #taxonomy: Dictionary based sparse representation for domain adaptation (RM, RA, SAH), pp. 2395–2398.
CIKM-2012-MorenoSRS #learning #multi #named: TALMUD: transfer learning for multiple domains (OM, BS, LR, GS), pp. 425–434.
CIKM-2012-QureshiOP #n-gram #using #wiki: Short-text domain specific key terms/phrases extraction using an n-gram model with wikipedia (MAQ, CO, GP), pp. 2515–2518.
CIKM-2012-SrinivasanBC #modelling #using: Segmenting web-domains and hashtags using length specific models (SS, SB, RC), pp. 1113–1122.
ECIR-2012-LungleyKS #adaptation #domain model #interactive #learning #modelling #web: Learning Adaptive Domain Models from Click Data to Bootstrap Interactive Web Search (DL, UK, DS), pp. 527–530.
ECIR-2012-SondhiVZ #predict #reliability: Reliability Prediction of Webpages in the Medical Domain (PS, VGVV, CZ), pp. 219–231.
ICML-2012-ChenXWS #adaptation: Marginalized Denoising Autoencoders for Domain Adaptation (MC, ZEX, KQW, FS), p. 212.
ICML-2012-DavisCBPPC #clustering #predict #relational: Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events (JD, VSC, EB, DP, PLP, MC), p. 172.
ICML-2012-DuanXT #adaptation #learning: Learning with Augmented Features for Heterogeneous Domain Adaptation (LD, DX, IWT), p. 89.
ICML-2012-HanLC #learning #modelling #multi: Cross-Domain Multitask Learning with Latent Probit Models (SH, XL, LC), p. 51.
ICML-2012-JanzaminA #composition #independence #markov: High-Dimensional Covariance Decomposition into Sparse Markov and Independence Domains (MJ, AA), p. 60.
ICML-2012-PachauriCS #analysis #problem: Incorporating Domain Knowledge in Matching Problems via Harmonic Analysis (DP, MDC, VS), p. 112.
ICML-2012-ShiS #adaptation #clustering #learning: Information-Theoretical Learning of Discriminative Clusters for Unsupervised Domain Adaptation (YS, FS), p. 166.
ICPR-2012-HanQC #adaptation #classification #image #representation: Group sparse representation of adaptive sub-domain selection for image classification (XHH, XQ, YWC), pp. 1431–1434.
ICPR-2012-LamSS #image #statistics #using: Denoising hyperspectral images using spectral domain statistics (AL, IS, YS), pp. 477–480.
ICPR-2012-LeeLHL #re-engineering #sequence #video: Super-resolution reconstruction of video sequences based on wavelet-domain spatial and temporal processing (CML, CJL, CYH, WNL), pp. 194–197.
ICPR-2012-RoyH #classification #component #detection #documentation #image #using: Text detection on camera acquired document images using supervised classification of connected components in wavelet domain (UR, GH), pp. 270–273.
ICPR-2012-SunLI #quality #scalability: A pixel-domain mode-mapping based SVC-to-AVC transcoder with coarse grain quality scalability (LS, ZL, TI), pp. 939–942.
ICPR-2012-TuS #adaptation #classification #learning: Dynamical ensemble learning with model-friendly classifiers for domain adaptation (WT, SS), pp. 1181–1184.
ICPR-2012-VazquezLP #adaptation #detection: Unsupervised domain adaptation of virtual and real worlds for pedestrian detection (DV, AML, DP), pp. 3492–3495.
ICPR-2012-Zheng0CP #adaptation #approach: A Grassmann manifold-based domain adaptation approach (JZ, MYL, RC, PJP), pp. 2095–2099.
KDD-2012-LappasVG #invariant #mining #performance: Efficient and domain-invariant competitor mining (TL, GV, DG), pp. 408–416.
KDD-2012-LiJPS #classification #learning #multi: Multi-domain active learning for text classification (LL, XJ, SJP, JTS), pp. 1086–1094.
KDD-2012-Mayer #identification #internet #multi: Bootstrapped language identification for multi-site internet domains (UFM), pp. 579–585.
KDD-2012-RitterMEC #twitter: Open domain event extraction from twitter (AR, M, OE, SC), pp. 1104–1112.
KDD-2012-TangWSS #collaboration #recommendation: Cross-domain collaboration recommendation (JT, SW, JS, HS), pp. 1285–1293.
KEOD-2012-ArtesCM #modelling #problem: Modeling Genealogical Domain — An Open Problem (JCA, JCC, EM), pp. 202–207.
KEOD-2012-BoinskiK #algorithm #ontology: Lexicon based Algorithm for Domain Ontology Merging and Alignment (TB, HK), pp. 321–326.
KEOD-2012-GirardiAG #framework #independence #ontology #using: An Ontology-based Data Acquisition Infrastructure — Using Ontologies to Create Domain-independent Software Systems (DG, KA, MG), pp. 155–160.
KEOD-2012-Otero-CerdeiraRVA #case study #industrial #multi #ontology: Multi-agent Systems and Ontologies Applied to New Industrial Domains — Case Study: Ornamental Plants (LOC, FJRM, TVR, LLA), pp. 357–364.
RecSys-2012-Heitmann #framework #graph #multi #personalisation #semantics: An open framework for multi-source, cross-domain personalisation with semantic interest graphs (BH), pp. 313–316.
SEKE-2012-ConradoC #domain-specific language #embedded #visual notation: Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml: Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SIGIR-2012-Hanbury #information retrieval: Medical information retrieval: an instance of domain-specific search (AH), pp. 1191–1192.
SIGIR-2012-KatoOT #adaptation #retrieval: Content-based retrieval for heterogeneous domains: domain adaptation by relative aggregation points (MPK, HO, KT), pp. 811–820.
SIGIR-2012-Lupu #information retrieval: Patent information retrieval: an instance of domain-specific search (ML), pp. 1189–1190.
ECMFA-2012-GoldschmidtM #domain-specific language #query: An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
ECMFA-2012-LaraG #metamodelling #modelling: Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.
ECMFA-2012-Seidewitz #execution #manycore #uml: Executable UML: From Multi-domain to Multi-core (ES), p. 1.
ECMFA-2012-VotintsevaWRS #case study #comparative #industrial #modelling #multi: Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings (AV, PW, NR, PES), pp. 20–31.
ICMT-2012-BosS #forensics #optimisation: Domain-Specific Optimization in Digital Forensics (JvdB, TvdS), pp. 121–136.
MoDELS-2012-RabbiM #agile #development #domain-specific language #workflow: T_□: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
MoDELS-2012-RabbiM #agile #development #domain-specific language #workflow: T_□: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
TOOLS-EUROPE-J-2011-RessiaBNR12 #modelling: Modeling Domain-Specific Profilers (JR, AB, ON, LR), pp. 1–21.
GPCE-2012-EfftingeEKZMHH #domain-specific language #implementation #java #named: Xbase: implementing domain-specific languages for Java (SE, ME, JK, SZ, RvM, WH, MH), pp. 112–121.
PADL-2012-BradyH #domain-specific language #embedded #programming: Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
RE-2012-NiknafsB #effectiveness #elicitation #generative #idea #requirements: The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 181–190.
SAC-2012-BromanFHA #comparison #domain-specific language #implementation: A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, JÅ), pp. 1919–1921.
SAC-2012-GriffithOS #collaboration #predict #rating: Investigations into user rating information and predictive accuracy in a collaborative filtering domain (JG, CO, HS), pp. 937–942.
SAC-2012-WinterB: Explicitly accommodating origin preference for inter-domain traffic engineering (RW, IvB), pp. 583–587.
ICSE-2012-AtkinsonGK #domain-specific language: Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
ICSE-2012-DevosPDBMA #case study #industrial #performance #reuse #smarttech: Efficient reuse of domain-specific test knowledge: An industrial case in the smart card domain (ND, CP, JCD, RB, BM, GA), pp. 1123–1132.
ICSE-2012-ForbesKR #challenge #navigation #open source #research: When open source turns cold on innovation — The challenges of navigating licensing complexities in new research domains (CF, IK, JR), pp. 1447–1448.
ICSE-2012-Westermann #developer #feedback #performance: A generic methodology to derive domain-specific performance feedback for developers (DW), pp. 1527–1530.
SLE-2012-Storey #challenge #design #ontology #social #using: Addressing Cognitive and Social Challenges in Designing and Using Ontologies in the Biomedical Domain (MADS), pp. 1–3.
PLEASE-2012-LeitnerWK #multi #optimisation #problem: Optimizing problem space representations through domain multi-modeling (AL, RW, CK), pp. 49–52.
SPLC-2012-HofmanSPKB #feature model #modelling #product line: Domain specific feature modeling for software product lines (PH, TS, TP, MK, AB), pp. 229–238.
PPoPP-2012-KamilCBCGHMF #domain-specific language #effectiveness #embedded #parallel #performance: Portable parallel performance from sequential, productive, embedded domain-specific languages (SK, DC, SB, HC, EG, JH, JM, AF), pp. 303–304.
CAV-2012-Venet #analysis #difference #invariant #linear #scalability: The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
ICLP-J-2012-MetodiC #compilation #constraints #finite #satisfiability: Compiling finite domain constraints to SAT with BEE (AM, MC), pp. 465–483.
ICST-2012-EnderlinDGB #grammarware #php #testing #using: Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
ICST-2012-MewsSW #modelling: From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain (MM, JS, SW), pp. 519–528.
VMCAI-2012-BouajjaniDES #abstract domain #automation #infinity #reasoning #source code: Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (AB, CD, CE, MS), pp. 1–22.
VMCAI-2012-GhorbalIBMG #abstract interpretation #performance: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
ECSA-2011-LulliMPR #resource management: Resource Management in the Air Traffic Domain (GL, RM, PP, CR), pp. 97–104.
ASE-2011-BokorKSS #partial order #reduction: Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
ASE-2011-GanovKP #alloy #analysis #incremental #performance: A case for alloy annotations for efficient incremental analysis via domain specific solvers (SRG, SK, DEP), pp. 464–467.
ASE-2011-Halfond #web: Domain and value checking of web application invocation arguments (WGJH), pp. 544–547.
DAC-2011-LiLZ #multi #scheduling: Optimal multi-domain clock skew scheduling (LL, YL, HZ), pp. 152–157.
DATE-2011-MeynardRFGHD: Enhancement of simple electro-magnetic attacks by pre-characterization in frequency domain and demodulation techniques (OM, DR, FF, SG, NH, JLD), pp. 1004–1009.
DATE-2011-WuDL #multi: Power-driven global routing for multi-supply voltage domains (THW, AD, JTL), pp. 443–448.
DATE-2011-ZhiLZYZZ #algorithm #multi #performance #scheduling: An efficient algorithm for multi-domain clock skew scheduling (YZ, WSL, HZ, CY, HZ, XZ), pp. 1364–1369.
ICDAR-2011-LundR #fault #multi: Error Correction with In-domain Training across Multiple OCR System Outputs (WBL, EKR), pp. 658–662.
SIGMOD-2011-BozzonBBCCFV #multi: Search computing: multi-domain search on ranked data (AB, DB, MB, SC, FC, PF, SV), pp. 1267–1270.
SIGMOD-2011-JinZD #database #web: Attribute domain discovery for hidden web databases (XJ, NZ, GD), pp. 553–564.
VLDB-2011-Cudre-MaurouxE #data transformation #graph: Graph Data Management Systems for New Application Domains (PCM, SE), pp. 1510–1511.
ITiCSE-2011-OliveiraMR #learning #problem #programming: From concrete to abstract?: problem domain in the learning of introductory programming (OLO, AMM, NTR), pp. 173–177.
ESOP-2011-ColonS: Generalizing the Template Polyhedral Domain (MC, SS), pp. 176–195.
FoSSaCS-2011-CousotCM #abstract domain: The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
CSMR-2011-HayaseKMI #source code: Building Domain Specific Dictionaries of Verb-Object Relation from Source Code (YH, YK, YM, KI), pp. 93–100.
SCAM-2011-KellyAAH #bibliography #topic: Recovering a Balanced Overview of Topics in a Software Domain (MBK, JSA, BA, AEH), pp. 135–144.
WCRE-2011-AbebeT #concept #identifier #towards: Towards the Extraction of Domain Concepts from the Identifiers (SLA, PT), pp. 77–86.
WCRE-2011-AryaniPLMN #dependence #predict #question #using: Can We Predict Dependencies Using Domain information? (AA, FP, ML, ANM, ON), pp. 55–64.
WCRE-2011-SajnaniNL #architecture #towards: Application Architecture Discovery — Towards Domain-driven, Easily-Extensible Code Structure (HS, RN, CVL), pp. 401–405.
SAS-2011-ElderLSAR #abstract domain: Abstract Domains of Affine Relations (ME, JL, TS, TA, TWR), pp. 198–215.
SAS-2011-EsparzaG #abstraction #probability: Probabilistic Abstractions with Arbitrary Domains (JE, AG), pp. 334–350.
CHI-2011-BillmanAFLST: Benefits of matching domain structure for planning software: the right stuff (DB, LA, MF, JL, AS, RT), pp. 2521–2530.
CHI-2011-LinGTMA #identification #people #question: Does domain highlighting help people identify phishing sites? (EL, SG, ET, DM, JA), pp. 2075–2084.
DUXU-v2-2011-BohmSW11a #adaptation #constraints #usability: Customized Usability Engineering for a Solar Control Unit: Adapting Traditional Methods to Domain and Project Constraints (PB, TS, CW), pp. 109–117.
DUXU-v2-2011-InversiniCB #analysis #assessment #case study #experience #risk management #usability #user interface: Connecting Usages with Usability Analysis through the User Experience Risk Assessment Model: A Case Study in the Tourism Domain (AI, LC, DB), pp. 283–293.
HCD-2011-ChoiS #approach #design #implementation #process: A Design-Supporting Tool for Implementing the Learning-Based Approach: Accommodating Users’ Domain Knowledge into Design Processes (JMC, KS), pp. 369–378.
CAiSE-2011-NobauerSMZ #elicitation #enterprise #named #requirements #using: S3C: Using Service Discovery to Support Requirements Elicitation in the ERP Domain (MN, NS, NAMM, KZ), pp. 18–32.
CAiSE-2011-SonnenbergHHMB #modelling: The REA-DSL: A Domain Specific Modeling Language for Business Models (CS, CH, BH, DM, AMB), pp. 252–266.
EDOC-2011-SchleicherFGLNSS #strict: Compliance Domains: A Means to Model Data-Restrictions in Cloud Environments (DS, CF, SG, FL, AN, PS, DS), pp. 257–266.
EDOC-2011-WoutersG #execution #modelling #named: xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
ICEIS-v1-2011-MeisenMSJ #integration #simulation #tool support: Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEIS-v3-2011-SchneiderCKZ #information management #integration #modelling: Domain-specific Modelling Applied to Integration of Smart Sensors into an Information System (JPS, JC, DK, OZ), pp. 253–259.
ICEIS-v3-2011-ShenYZT #analysis #documentation #security: Analysis of Core Documents in Information Security Based on Mapping Knowledge Domains (HZS, QJY, QJZ, LyT), pp. 421–427.
CIKM-2011-BhamidipatiK: A diversity measure leveraging domain specific auxiliary information (NB, NK), pp. 2213–2216.
CIKM-2011-BozzonBFT #multi #set: Diversification for multi-domain result sets (AB, MB, PF, MT), pp. 1905–1908.
CIKM-2011-GaoL #adaptation #analysis #classification #probability #sentiment #using: A cross-domain adaptation method for sentiment classification using probabilistic latent analysis (SG, HL), pp. 1047–1052.
CIKM-2011-GuoZGS #analysis #aspect-oriented #multi #sentiment: Domain customization for aspect-oriented opinion analysis with multi-level latent sentiment clues (HG, HZ, ZG, ZS), pp. 2493–2496.
CIKM-2011-LauLBW #learning #scalability #sentiment #web: Leveraging web 2.0 data for scalable semi-supervised learning of domain-specific sentiment lexicons (RYKL, CLL, PB, KFW), pp. 2457–2460.
CIKM-2011-Pasca11a #information management: Web-based open-domain information extraction (MP), pp. 2605–2606.
CIKM-2011-ShenRSS #categorisation #e-commerce: Item categorization in the e-commerce domain (DS, JDR, MS, NS), pp. 1921–1924.
CIKM-2011-ShiehLW #recommendation: Recommendation in the end-to-end encrypted domain (JRS, CYL, JLW), pp. 915–924.
CIKM-2011-WangBFG #clustering #information management: Filtering and clustering relations for unsupervised information extraction in open domain (WW, RB, OF, BG), pp. 1405–1414.
CIKM-2011-WeichselbraunGS #game studies #sentiment #using: Using games with a purpose and bootstrapping to create domain-specific sentiment lexicons (AW, SG, AS), pp. 1053–1060.
CIKM-2011-ZhaoYX #independence #information management #learning #web: Max margin learning on domain-independent web information extraction (BZ, XY, EPX), pp. 1305–1310.
ECIR-2011-CaiGWZ #adaptation #ranking: Weight-Based Boosting Model for Cross-Domain Relevance Ranking Adaptation (PC, WG, KFW, AZ), pp. 562–567.
ECIR-2011-KadarI #adaptation #categorisation: Domain Adaptation for Text Categorization by Feature Labeling (CK, JI), pp. 424–435.
ICML-2011-GlorotBB #adaptation #approach #classification #learning #scalability #sentiment: Domain Adaptation for Large-Scale Sentiment Classification: A Deep Learning Approach (XG, AB, YB), pp. 513–520.
ICML-2011-SujeethLBRCWAOO #domain-specific language #machine learning #named #parallel: OptiML: An Implicitly Parallel Domain-Specific Language for Machine Learning (AKS, HL, KJB, TR, HC, MW, ARA, MO, KO), pp. 609–616.
KDD-2011-ChattopadhyayYPFD #adaptation #detection #multi: Multi-source domain adaptation and its application to early detection of fatigue (RC, JY, SP, WF, ID), pp. 717–725.
KDD-2011-LowAS #multi #personalisation: Multiple domain user personalization (YL, DA, AJS), pp. 123–131.
KDIR-2011-BressoBSMKSND #mining #reduction: Use of Domain Knowledge for Dimension Reduction — Application to Mining of Drug Side Effects (EB, SB, MST, GM, ASK, MS, AN, MDD), pp. 271–276.
KDIR-2011-FangWLG #metric #network #statistics #wiki: Wikipedia as Domain Knowledge Networks — Domain Extraction and Statistical Measurement (ZF, JW, BL, WG), pp. 159–165.
KDIR-2011-SanJuan #graph: Mapping Knowledge Domains — Combining Symbolic Relations with Graph Theory (ES), pp. 527–536.
KEOD-2011-AhmedMB #approach #dependence #ontology: Existential Dependency Driven Approach for Extracting Views from Domain Ontology (SSA, MM, SMB), pp. 413–418.
KEOD-2011-FrikhDO #hybrid #ontology #web: A Hybrid Method for Domain Ontology Construction from the Web (BF, ASD, BO), pp. 285–292.
KEOD-2011-GaignardMWG #concept #parametricity #runtime #semantics: Characterizing Semantic Service Parameters with Role Concepts to Infer Domain-specific Knowledge at Runtime (AG, JM, BW, BG), pp. 59–70.
KEOD-2011-KhalidN #image #modelling #multi #ontology #retrieval: Ontology Modelling of Multimodality Image Retrieval System for Sport News Domain (YIAMK, SAN), pp. 400–406.
KEOD-2011-LepperT #2d #authoring #documentation #maintenance #named #prototype #robust #xml: D2d — A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts (ML, BTyW), pp. 449–456.
KEOD-2011-SchmidtKL #automation #documentation #domain-specific language: Domain Specific Language in Technical Solution Documents — Discussion of Two Approaches to Improve the Semi-automated Annotation (HXS, AK, UL), pp. 159–166.
KMIS-2011-BrandaoSRASS #named: SIOP-LEGIS: Thesaurus for Selection and Management of Brazilian Treasury Domain (SNB, TSdS, SR, LA, DS, JMdS), pp. 195–200.
SEKE-2011-GrolingerBC #ontology: From Glossaries to Ontologies: Disaster Management Domain(S) (KG, KPB, MAMC), pp. 402–407.
SEKE-2011-RadulovicG #modelling #quality #semantics: Extending Software Quality Models — A Sample In The Domain of Semantic Technologies (FR, RGC), pp. 25–30.
SEKE-2011-RomeikatBS #modelling #policy: Modeling of Domain-Specific ECA Policies (RR, BB, HS), pp. 52–58.
SEKE-2011-ZhouWC #information management #process: Knowledge Engineering in the domain of Carbon Dioxide Capture Process System (QZ, AJW, CWC), pp. 414–419.
SIGIR-2011-KarimiSCK #behaviour #topic: Domain expert topic familiarity and search behavior (SK, FS, AC, SK), pp. 1135–1136.
SIGIR-2011-Li11a #information retrieval #using: Domain-specific information retrieval using rcommenders (WL), pp. 1327–1328.
SIGIR-2011-ZhangCB #behaviour #predict: Predicting users’ domain knowledge from search behaviors (XZ, MJC, NJB), pp. 1225–1226.
ECMFA-2011-ElaasarBL #qvt #verification: Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.
ECMFA-2011-RumpeSVW #agile #development #domain-specific language: Agile Development with Domain Specific Languages (BR, MS, SV, IW), pp. 387–388.
ECMFA-2011-Tolvanen #domain-specific language #modelling: Creating Domain-Specific Modelling Languages That Work: Hands-On (JPT), pp. 393–394.
MoDELS-2011-FabryZG #case study #design #experience #interactive: Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.
MoDELS-2011-SteelD #model transformation: Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
MoDELS-2011-FabryZG #case study #design #experience #interactive: Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.
MoDELS-2011-SteelD #model transformation: Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
PLATEAU-2011-BarisicAGB #case study #domain-specific language #quality: Quality in use of domain-specific languages: a case study (AB, VA, MG, BB), pp. 65–72.
TOOLS-EUROPE-2011-BergelNRR #profiling: Domain-Specific Profiling (AB, ON, LR, JR), pp. 68–82.
GPCE-2011-LindemanKV #domain-specific language: Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
LOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation: Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
RE-2011-Cleland-HuangD #exclamation #requirements: Ready-set-transfer! Technology transfer in the requirements engineering domain (JCH, DD), pp. 327–328.
RE-2011-RaatikainenMTV #case study #challenge #energy #requirements: Challenges of requirements engineering — A case study in nuclear energy domain (MR, TM, TT, JV), pp. 253–258.
RE-2011-Regnell #evolution #mobile #problem #scalability: Large-scale feature evolution: Problems and solutions from the mobile domain (BR), p. 323.
SAC-2011-AcherCLF #domain-specific language #feature model #modelling: A domain-specific language for managing feature models (MA, PC, PL, RBF), pp. 1333–1340.
GTTSE-2011-MikhaielTNSX #difference #modelling #uml: Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method (RM, NT, NN, ES, ZX), pp. 159–196.
ICSE-2011-BosS #domain-specific language #forensics: Bringing domain-specific languages to digital forensics (JvdB, TvdS), pp. 671–680.
ICSE-2011-DIppolitoBPU #behaviour #modelling #synthesis: Synthesis of live behaviour models for fallible domains (ND, VAB, NP, SU), pp. 211–220.
ICSE-2011-Fant #design pattern: Building domain specific software architectures from software architectural design patterns (JSF), pp. 1152–1154.
ICSE-2011-LiNHK #requirements: A domain specific requirements model for scientific computing (YL, NN, JH, MK), pp. 848–851.
SLE-2011-StappersWRAN #case study #domain-specific language #formal method #industrial #using: Formalizing a Domain Specific Language Using SOS: An Industrial Case Study (FPMS, SW, MAR, SA, IN), pp. 223–242.
SPLC-2011-TischerMMK #case study #experience #product line #scalability: Experiences from a Large Scale Software Product Line Merger in the Automotive Domain (CT, AM, TM, RK), pp. 267–276.
SPLC-2011-TolvanenK #domain-specific language #modelling #product line: Creating Domain-Specific Modeling Languages for Product Lines (JPT, SK), p. 358.
SPLC-2011-VolterV #domain-specific language #product line #using: Product Line Engineering Using Domain-Specific Languages (MV, EV), pp. 70–79.
PPoPP-2011-ChafiSBLAO #approach #parallel: A domain-specific approach to heterogeneous parallelism (HC, AKS, KJB, HL, ARA, KO), pp. 35–46.
ICLP-J-2011-DrescherT #logic programming #named #prolog: ALPprolog — A new logic programming method for dynamic domains (CD, MT), pp. 451–468.
ICTSS-2011-PeleskaHLLSSVZ #benchmark #concurrent #metric #realtime #testing: A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain (JP, AH, FL, HL, HS, PS, EV, CZ), pp. 146–161.
LICS-2011-BirkedalMSS: First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
SAT-2011-TanjoTB #csp #encoding #finite #performance: A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
ECSA-2010-ElorantaK #architecture #evaluation #using: Using Domain Knowledge to Boost Software Architecture Evaluation (VPE, KK), pp. 319–326.
ASE-2010-AliHGH #specification #tool support #visual notation: End-user oriented critic specification for domain-specific visual language tools (NMA, JGH, JCG, JH), pp. 297–300.
ASE-2010-BergerSLWC #modelling #operating system #variability: Variability modeling in the real: a perspective from the operating systems domain (TB, SS, RL, AW, KC), pp. 73–82.
ASE-2010-WoollardMPM #architecture #named: Kadre: domain-specific architectural recovery for scientific software systems (DW, CM, DP, NM), pp. 325–328.
CASE-2010-MikosFBF #design #development #distributed #ontology #reuse #using: Development of a system for distributed sharing and reuse of design and manufacturing knowledge in the PFMEA domain using a description logics-based ontology (WLM, JCEF, PEAB, LSF), pp. 598–603.
DAC-2010-Agarwal #composition: Frequency domain decomposition of layouts for double dipole lithography (KA), pp. 404–407.
DAC-2010-CallegariDWA #classification #learning #using: Classification rule learning using subgroup discovery of cross-domain attributes responsible for design-silicon mismatch (NC, DGD, LCW, MSA), pp. 374–379.
DATE-2010-ChenDS #algorithm #analysis: Properties of and improvements to time-domain dynamic thermal analysis algorithms (XC, RPD, LS), pp. 1165–1170.
DATE-2010-ZebeleinFHTD #modelling #network #performance: Efficient High-Level modeling in the networking domain (CZ, JF, CH, JT, RD), pp. 1189–1194.
DATE-2010-ZhangLZMC #architecture #communication #generative: Domain specific architecture for next generation wireless communication (BZ, HL, HZ, FM, TC), pp. 1414–1419.
HT-2010-TamS #information retrieval: Webpage relationships for information retrieval within a structured domain (VWLT, JS), pp. 307–308.
SIGMOD-2010-MahmoudA #clustering #integration #multi #retrieval: Schema clustering and retrieval for multi-domain pay-as-you-go data integration systems (HAM, AA), pp. 411–422.
VLDB-2010-ChaytorW #privacy: Small Domain Randomization: Same Privacy, More Utility (RC, KW), pp. 608–618.
VLDB-2010-ZhangMKC #evaluation #order #performance: Efficient Skyline Evaluation over Partially Ordered Domains (SZ, NM, BK, DWLC), pp. 1255–1266.
WRLA-2010-RiveraDV #behaviour #domain-specific language #on the #realtime #semantics #visual notation: On the Behavioral Semantics of Real-Time Domain Specific Visual Languages (JER, FD, AV), pp. 174–190.
CSMR-2010-GarciaDFWGI #design #development #java #named #open source #reliability #web: ROMULUS: Domain Driven Design and Mashup Oriented Development Based on Open Source Java Metaframework for Pragmatic, Reliable and Secure Web Development (BG, JCD, JIFV, AW, MG, CAI), pp. 186–189.
ICPC-2010-BeronPOC #problem: SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains (MMB, MJVP, NO, DCdC), pp. 60–61.
ICPC-2010-LammelP #comprehension #domain-specific language: Vivisection of a Non-Executable, Domain-Specific Language — Understanding (the Usage of) the P3P Language (RL, EP), pp. 104–113.
ICPC-2010-OliveiraPCB #comprehension #visualisation: Influence of Synchronized Domain Visualizations on Program Comprehension (NO, MJVP, DCdC, MMB), pp. 192–195.
ICSM-2010-Alves #assessment #maintenance: Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
ICSM-2010-AryaniPH #analysis #case study #co-evolution #enterprise: Domain-based change propagation analysis: An enterprise system case study (AA, IDP, MH), pp. 1–9.
PEPM-2010-AndersonK #approximate #bound #termination: Regular approximation and bounded domains for size-change termination (HA, SCK), pp. 53–62.
SAS-2010-AmatoPS #abstract domain #analysis #component: Deriving Numerical Abstract Domains via Principal Component Analysis (GA, MP, FS), pp. 134–150.
SAS-2010-Chapoutot #abstract domain #float: Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
SAS-2010-GurfinkelC #abstract domain #named: Boxes: A Symbolic Abstract Domain of Boxes (AG, SC), pp. 287–303.
ICALP-v1-2010-Xia #artificial reality #reduction #theorem: Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems (MX), pp. 666–677.
ICFP-2010-BradyH #domain-specific language #implementation #partial evaluation #using: Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation (EB, KH), pp. 297–308.
ICGT-2010-LaraGBHT #graph transformation #simulation: Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
CHI-2010-ChilanaWK #comprehension #usability: Understanding usability practices in complex domains (PKC, JOW, AJK), pp. 2337–2346.
CHI-2010-KangFK #social: Exploiting knowledge-in-the-head and knowledge-in-the-social-web: effects of domain expertise on exploratory search in individual and social search environments (RK, WTF, TGK), pp. 393–402.
AdaEurope-2010-BurnsW #ada #multi #representation: Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (AB, AJW), pp. 41–53.
ICEIS-AIDSS-2010-SantosBC #composition #concept #named #ontology #plugin: FONTE — A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts (JS, LB, AGC), pp. 93–102.
ICEIS-DISI-2010-BarczynskiFBS #adaptation #concept #information management #modelling #named #using: AdaptIE — Using Domain Language Concept to Enable Domain Experts in Modeling of Information Extraction Plans (WMB, FF, FB, DS), pp. 249–256.
ICEIS-ISAS-2010-BoubakerBB #specification #uml: Specification and Instantiation of Domain Specific Patterns based on UML (SRB, NB, RB), pp. 230–235.
ICEIS-SAIC-2010-CanturkS #distributed #validation: Service Acquisition and Validation in a Distributed Service Discovery System Consisting of Domain-specific Sub-systems (DC, PS), pp. 93–99.
CIKM-2010-KouCZZ #learning #ranking: Learning to blend rankings: a monotonic transformation to blend rankings from heterogeneous domains (ZK, YC, ZZ, HZ), pp. 1921–1924.
CIKM-2010-MelliE #concept #identification #ontology: Supervised identification and linking of concept mentions to a domain-specific ontology (GM, ME), pp. 1717–1720.
CIKM-2010-MingCC: Exploring domain-specific term weight in archived question search (ZM, TSC, GC), pp. 1605–1608.
CIKM-2010-SlezakT #database #injection: Injecting domain knowledge into a granular database engine: a position paper (DS, GT), pp. 1913–1916.
CIKM-2010-SongH #graph #independence #rdf: Domain-independent entity coreference in RDF graphs (DS, JH), pp. 1821–1824.
CIKM-2010-ZhuangLSHXSX #classification #collaboration #mining #multi: Collaborative Dual-PLSA: mining distinction and commonality across multiple domains for text classification (FZ, PL, ZS, QH, YX, ZS, HX), pp. 359–368.
ICML-2010-CaoLY #learning #multi #predict: Transfer Learning for Collective Link Prediction in Multiple Heterogenous Domains (BC, NNL, QY), pp. 159–166.
ICPR-2010-DuYXGT #identification: Wavelet Domain Local Binary Pattern Features For Writer Identification (LD, XY, HX, ZG, YYT), pp. 3691–3694.
ICPR-2010-EzojiF #invariant #recognition: Diffusion-Based Face Selective Smoothing in DCT Domain to Illumination Invariant Face Recognition (ME, KF), pp. 1164–1167.
ICPR-2010-GriptonL #kernel #semistructured data #using: Kernel Domain Description with Incomplete Data: Using Instance-Specific Margins to Avoid Imputation (AG, WL), pp. 2921–2924.
ICPR-2010-JouiliTL #algorithm #clustering #graph: Median Graph Shift: A New Clustering Algorithm for Graph Domain (SJ, ST, VL), pp. 950–953.
ICPR-2010-KapotasS #sequence: Rate Control of H.264 Encoded Sequences by Dropping Frames in the Compressed Domain (SKK, ANS), pp. 2382–2385.
ICPR-2010-MurthyMRC #image: Image Retargeting in Compressed Domain (OVRM, KM, DR, LTC), pp. 4424–4427.
ICPR-2010-SaeediMA #dependence #fuzzy #image: Image Denoising Based on Fuzzy and Intra-scale Dependency in Wavelet Transform Domain (JS, MHM, AA), pp. 2672–2675.
ICPR-2010-StephaniJRH #automation #detection: Automatically Detecting Peaks in Terahertz Time-Domain Spectroscopy (HS, JJ, CR, BH), pp. 4468–4471.
ICPR-2010-SutthiwichaipornAJ #quality: Iterative Fingerprint Enhancement with Matched Filtering and Quality Diffusion in Spatial-Frequency Domain (PS, VA, SJ), pp. 1257–1260.
KEOD-2010-AnjumHY #ontology #verification: Cross Domain Knowledge Verification — Verifying Knowledge in Foundation Ontology based Domain Ontologies (NAA, JAH, BY), pp. 339–342.
KEOD-2010-FukumotoS #classification #identification: Identifying Domain-specific Senses and Its Application to Text Classification (FF, YS), pp. 263–268.
KEOD-2010-YilmazTA #forensics #named #ontology: BALLON — An Ontology for Forensic Ballistics Domain (AY, HT, SA), pp. 392–395.
KMIS-2010-ChateauBM: Computer Aided System for Managing Domain Knowledge — Application to Cultural Patrimony (SdC, DB, EML), pp. 240–245.
KMIS-2010-FogliP #collaboration #development #web: End-user Development for Knowledge Sharing — A Collaborative Web Mapping Application in the First Aid Domain (DF, LPP), pp. 5–14.
SEKE-2010-AmarGH #generative #ontology #standard #towards: Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.
SEKE-2010-LiLK #component #ontology #precise #semantics: Achieve Semantic-based Precise Component Selection via an Ontology Model Interlinking Application Domain and MVICS (CL, XL, JBK), pp. 692–697.
SEKE-2010-NunesBL #adaptation: An End-user Domain-specific Model to Drive Dynamic User Agents Adaptations (IN, SDJB, CJPdL), pp. 509–514.
SEKE-2010-VilaMF #adaptation #analysis #qvt #strict #using: Using QVT for adapting question analysis to restricted domain QA systems (KV, JNM, AF), pp. 335–338.
SIGIR-2010-GaoCWZ #learning #rank #using: Learning to rank only using training data from related domain (WG, PC, KFW, AZ), pp. 162–169.
SIGIR-2010-LiLX10a #identification #music #robust: Robust music identification based on low-order zernike moment in the compressed domain (WL, YL, XX), pp. 739–740.
SIGIR-2010-Pasca: Extraction of open-domain class attributes from text: building blocks for faceted search (MP), p. 909.
ECMFA-2010-Vallecillo #modelling #on the: On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.
ECMFA-2010-WalterPSE #domain model: Joint Language and Domain Engineering (TW, FSP, SS, JE), pp. 321–336.
ICMT-2010-AzanzaBDT #composition: Domain-Specific Composition of Model Deltas (MA, DSB, OD, ST), pp. 16–30.
OOPSLA-2010-DumitrasNT #multi #online: To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains (TD, PN, ET), pp. 865–876.
OOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive: A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.
TOOLS-EUROPE-2010-RenggliDGN #domain-specific language: Domain-Specific Program Checking (LR, SD, TG, ON), pp. 213–232.
TOOLS-EUROPE-2010-Xu #domain-specific language #embedded #generative #named: EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
GPCE-2010-HoferO #component #composition #domain-specific language #scala: Modular domain-specific language components in scala (CH, KO), pp. 83–92.
GPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing: Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
PADL-2010-WangG #approach #domain-specific language #implementation #protocol #stack: A Domain-Specific Language Approach to Protocol Stack Implementation (YW, VG), pp. 183–185.
RE-2010-MashkoorJ #domain model #lessons learnt: Domain Engineering with Event-B: Some Lessons We Learned (AM, JPJ), pp. 252–261.
REFSQ-2010-OmoronyiaSSBMS #elicitation #ontology #process #requirements: A Domain Ontology Building Process for Guiding Requirements Elicitation (IO, GS, TS, SB, TM, WDS), pp. 188–202.
SAC-OOPS-J-2008-LogozzoF10 #abstract domain #array #named #performance #relational #validation: Pentagons: A weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 796–807.
SAC-2010-AntonelliRL #domain model #identification: Early identification of crosscutting concerns in the domain model guided by states (LA, GR, JCSdPL), pp. 275–280.
SAC-2010-FautschS #adaptation #information retrieval: Adapting the tf idf vector-space model to domain specific information retrieval (CF, JS), pp. 1708–1712.
SAC-2010-HurnausP #automation #composition #contract #programming #verification: Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.
SAC-2010-LiuCXMBG #architecture #domain-specific language #question: Can domain-specific languages be implemented by service-oriented architecture? (SHL, AC, XX, MM, BRB, JG), pp. 2491–2492.
SAC-2010-ParkKYMY #approach #reuse: An approach to developing reusable domain services for service oriented applications (JP, JK, SY, MM, KY), pp. 2252–2256.
SAC-2010-ScheithauerKKHHW #case study #modelling #outsourcing: Business modeling for service engineering: a case study in the IT outsourcing domain (GS, HK, JK, SH, HH, GW), pp. 118–123.
SAC-2010-SpinolaPT #approach #named #requirements: UbiCheck: an approach to support requirements definition in the ubicomp domain (ROS, FCRP, GHT), pp. 306–310.
SAC-2010-ZambranoFJS #case study #experience #interactive #requirements: Expressing aspectual interactions in requirements engineering: experiences in the slot machine domain (AZ, JF, GJ, SEG), pp. 2161–2168.
ICSE-2010-GuoSZS #empirical #smell: Domain-specific tailoring of code smells: an empirical study (YG, CBS, NZ, FS), pp. 167–170.
LDTA-2009-KatsKV10 #composition #domain-specific language #editing #plugin: Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.
LDTA-2010-BrandMSH #case study #domain-specific language #experience: Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
LDTA-2010-Giavitto #domain-specific language #simulation: A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
SLE-2010-BraatzB #algebra #domain-specific language #graph transformation #modelling #rdf: Domain-Specific Modelling Languages with Algebraic Graph Transformations on RDF (BB, CB), pp. 82–101.
SLE-2010-MannadiarV #debugging #modelling: Debugging in Domain-Specific Modelling (RM, HV), pp. 276–285.
SPLC-2010-FurtadoSR #analysis #game studies #product line: Streamlining Domain Analysis for Digital Games Product Lines (AWBF, ALMS, GLR), pp. 316–330.
SPLC-2010-KaratasOD #constraints #feature model #finite #logic programming #modelling: Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains (ASK, HO, AHD), pp. 286–299.
SPLC-2010-MarinhoLFRMADVAT #mobile #product line: A Software Product Line for the Mobile and Context-Aware Applications Domain (FGM, FL, JBFF, LSR, MEFM, SBdA, VLLD, WV, RMCA, ET), pp. 346–360.
HPDC-2010-GehaniK #multi #named #trust #verification: Mendel: efficiently verifying the lineage of data modified in multiple trust domains (AG, MK), pp. 227–239.
ICLP-2010-Balduccini10 #heuristic #learning #set: Learning Domain-Specific Heuristics for Answer Set Solvers (MB), pp. 14–23.
LICS-2010-Goubault-Larrecq #probability: ω-QRB-Domains and the Probabilistic Powerdomain (JGL), pp. 352–361.
VMCAI-2010-ChenMWC #abstract domain #linear: An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
CBSE-2009-LauT #component #modelling: Domain-Specific Software Component Models (KKL, FMT), pp. 19–35.
ASE-2009-BiermannEEH #eclipse #framework #generative #modelling #simulation: Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework (EB, KE, CE, JH), pp. 625–629.
ASE-2009-LauenrothPT #model checking #product line: Model Checking of Domain Artifacts in Product Line Engineering (KL, KP, ST), pp. 269–280.
DATE-2009-FlynnGG #configuration management: Bitstream relocation with local clock domains for partially reconfigurable FPGAs (AF, AGR, ADG), pp. 300–303.
DATE-2009-MohammadZadehMJZ #multi #network: Multi-domain clock skew scheduling-aware register placement to optimize clock distribution network (NM, MM, AJ, MSZ), pp. 833–838.
ITiCSE-2009-Mirolo #analysis #modelling #problem #recursion: Mental models of recursive computations vs. recursive analysis in the problem domain (CM), p. 397.
FASE-2009-OldevikHM #confluence #independence #product line: Confluence in Domain-Independent Product Line Transformations (JO, ØH, BMP), pp. 34–48.
FoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural: Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
ICSM-2009-YoshikawaHS #natural language #ontology #source code #traceability #using: Recovering traceability links between a simple natural language sentence and source code using domain ontologies (TY, SH, MS), pp. 551–554.
SCAM-2009-KlintSV #analysis #domain-specific language #named #rascal #source code: RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation (PK, TvdS, JJV), pp. 168–177.
WCRE-1999-YangPZ99a #concept analysis #data access #feature model #multi #semantics #using: Domain Feature Model Recovery from Multiple Applications Using Data Access Semantics and Formal Concept Analysis (YY, XP, WZ), pp. 215–224.
SAS-2009-ChenMWC #abstract domain #linear: Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
LATA-2009-Llull-ChavarriaV #complexity #semantics #word: An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words (JLC, OV), pp. 530–541.
HCI-AUII-2009-SpiesABH #interactive #visualisation: Augmented Interaction and Visualization in the Automotive Domain (RS, MA, HB, WH), pp. 211–220.
HCI-NIMT-2009-PedroRBBA #domain-specific language #syntax #visual notation: Composing Visual Syntax for Domain Specific Languages (LP, MR, DB, BB, VA), pp. 889–898.
HCI-NT-2009-KleindienstCL #evaluation #named #towards: ADiEU: Toward Domain-Based Evaluation of Spoken Dialog Systems (JK, JC, ML), pp. 287–294.
HIMI-DIE-2009-Aviles-LopezG #physics: UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups (EAL, JAGM), pp. 466–474.
VISSOFT-2009-OliveiraPHC #behaviour #domain-specific language #source code #visualisation: Visualization of domain-specific programs’ behavior (NO, MJVP, PRH, DCdC), pp. 37–40.
CAiSE-2009-GiachettiMP #automation #domain-specific language #generative #modelling #uml #using: Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.
ICEIS-AIDSS-2009-Antunes #mining: Mining Patterns in the Presence of Domain Knowledge (CA), pp. 188–193.
ICEIS-DISI-2009-NunesAAS #domain-specific language #framework: A Domain Specific Language for the I* Framework (CN, JA, VA, CTLLS), pp. 158–163.
ICEIS-ISAS-2009-LeiteG #analysis #multi #process #requirements: A Process for Multi-agent Domain and Application Engineering — The Domain Analysis and Application Requirements Engineering Phases (AL, RG), pp. 156–161.
ICEIS-ISAS-2009-LopesGBF #case study #industrial #ontology #reverse engineering: Reverse Engineering a Domain Ontology to Uncover Fundamental Ontological Distinctions — An Industrial Case Study in the Domain of Oil and Gas Production and Exploration (ML, GG, FAB, RdAF), pp. 262–267.
ICEIS-ISAS-2009-PereiraSS #approach #concept #process #scalability #semantics: A Socio-semantic Approach to the Conceptualisation of Domains, Processes and Tasks in Large Projects (CP, CS, ALS), pp. 237–242.
ICEIS-J-2009-BenevidesG #concept #modelling #ontology: A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML (ABB, GG), pp. 528–538.
ICEIS-J-2009-NunesKNLC #analysis #approach #multi #product line: A Domain Analysis Approach for Multi-agent Systems Product Lines (IN, UK, CN, CJPdL, EC), pp. 716–727.
ICEIS-J-2009-SpahnW #analysis #development #information management #problem: End-User Development for Individualized Information Management: Analysis of Problem Domains and Solution Approaches (MS, VW), pp. 843–857.
CIKM-2009-ChenBRT #adaptation #effectiveness #on the #similarity: On domain similarity and effectiveness of adapting-to-rank (KC, JB, SR, BLT), pp. 1601–1604.
CIKM-2009-DewriRRW #identification #named: POkA: identifying pareto-optimal k-anonymous nodes in a domain hierarchy lattice (RD, IR, IR, DW), pp. 1037–1046.
CIKM-2009-DuT #sentiment: Building domain-oriented sentiment lexicon by improved information bottleneck (WD, ST), pp. 1749–1752.
CIKM-2009-GengYXH #adaptation #ranking: Ranking model adaptation for domain-specific search (BG, LY, CX, XSH), pp. 197–206.
CIKM-2009-KhaitanDGS #data-driven: Data-driven compound splitting method for english compounds in domain names (SK, AD, SG, AS), pp. 207–214.
CIKM-2009-LiuZ #classification #sentiment #using: Cross-domain sentiment classification using a two-stage method (KL, JZ), pp. 1717–1720.
CIKM-2009-LongLVZT #adaptation #framework: A risk minimization framework for domain adaptation (BL, SL, SV, YZ, BLT), pp. 1347–1356.
CIKM-2009-MabroukehE #mining #ontology #predict #semantics #using #web: Using domain ontology for semantic web usage mining and next page prediction (NRM, CIE), pp. 1677–1680.
CIKM-2009-PitonBBG #data mining #mining: Domain driven data mining to improve promotional campaign ROI and select marketing channels (TP, JB, HB, FG), pp. 1057–1066.
CIKM-2009-RanganathanRU #information retrieval: Mashup-based information retrieval for domain experts (AR, AR, OU), pp. 711–720.
CIKM-2009-WangTFCYL #ranking: Heterogeneous cross domain ranking in latent space (BW, JT, WF, SC, ZY, YL), pp. 987–996.
ECIR-2009-LungleyK #automation: Automatically Maintained Domain Knowledge: Initial Findings (DL, UK), pp. 739–743.
ECIR-2009-TanCWX #adaptation #analysis #naive bayes #sentiment: Adapting Naive Bayes to Domain Adaptation for Sentiment Analysis (ST, XC, YW, HX), pp. 337–349.
ICML-2009-AndrzejewskiZC #modelling #topic: Incorporating domain knowledge into topic modeling via Dirichlet Forest priors (DA, XZ, MC), pp. 25–32.
ICML-2009-DuanTXC #adaptation #classification #multi: Domain adaptation from multiple sources via auxiliary classifiers (LD, IWT, DX, TSC), pp. 289–296.
KDD-2009-ChenLTW #adaptation #concept #mining: Extracting discriminative concepts for domain adaptation in text mining (BC, WL, IWT, TLW), pp. 179–188.
KDD-2009-ZhongFPZRTV #adaptation #kernel: Cross domain distribution adaptation via kernel mapping (EZ, WF, JP, KZ, JR, DST, OV), pp. 1027–1036.
KDIR-2009-ClementeDCR #behaviour #classification #image: Behavior of Different Image Classifiers within a Broad Domain (BC, MLD, AC, PGR), pp. 278–283.
KEOD-2009-HermidaRMP #case study #modelling #ontology #owl #reuse #uml: Reusing UML Class Models to Generate OWL Ontologies — A Use Case in the Pharmacotherapeutic Domain (JMH, MTRF, AM, MP), pp. 281–286.
KEOD-2009-Kop #concept #ontology #owl #question #what: What are Main Concepts in an OWL Domain Ontology? (CK), pp. 404–407.
KEOD-2009-YiR #algorithm #clustering #ontology #using: Using a Clustering Algorithm for Domain Related Ontology Construction (HY, VJRS), pp. 336–341.
KEOD-2009-Zarri #concept #industrial #knowledge base: Creation and Management of a Conceptual Knowledge Base in an Industrial Domain (GPZ), pp. 214–219.
MLDM-2009-BarakatB: The Effect of Domain Knowledge on Rule Extraction from Support Vector Machines (NHB, APB), pp. 311–321.
MLDM-2009-FersiniMAA #approach #multi #recognition: Audio-Based Emotion Recognition in Judicial Domain: A Multilayer Support Vector Machines Approach (EF, EM, GA, FA), pp. 594–602.
RecSys-2009-CarolisNPG #comparative #generative: Generating comparative descriptions of places of interest in the tourism domain (BDC, NN, VLP, EG), pp. 277–280.
SEKE-2009-BifflSM #automation #ontology #semantic gap: Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas (SB, WDS, TM), pp. 233–239.
SEKE-2009-JiCXZ #analysis #clustering #novel: A Novel Method of Mutation Clustering Based on Domain Analysis (CJ, ZC, BX, ZZ), pp. 422–425.
SEKE-2009-MoserMSB #constraints #framework #semantics: Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints (TM, RM, WDS, SB), pp. 222–227.
SIGIR-2009-LiLLL #framework #information retrieval #probability #ranking #topic: A probabilistic topic-based ranking framework for location-sensitive domain information retrieval (HL, ZL, WCL, DLL), pp. 331–338.
SIGIR-2009-LiSDZ #classification #sentiment: Knowledge transformation for cross-domain sentiment classification (TL, VS, CHQD, YZ), pp. 716–717.
SIGIR-2009-WongLC #adaptation #detection #information management #mining: Mining employment market via text block detection and adaptive cross-domain information extraction (TLW, WL, BC), pp. 283–290.
ECMDA-FA-2009-IzquierdoM #domain-specific language #legacy #modelling: A Domain Specific Language for Extracting Models in Software Modernization (JLCI, JGM), pp. 82–97.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MoDELS-2009-HermansPD #case study #domain-specific language: Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
MoDELS-2009-MorinPLBVJ #metamodelling #variability #weaving: Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration: Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing: Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MoDELS-2009-WalterPS #domain-specific language #framework #named #ontology: OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MoDELS-2009-WienandsG #domain-specific language #industrial #visual notation: Anatomy of a Visual Domain-Specific Language Project in an Industrial Context (CW, MG), pp. 453–467.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MoDELS-2009-HermansPD #case study #domain-specific language: Domain-Specific Languages in Practice: A User Study on the Success Factors (FH, MP, AvD), pp. 423–437.
MoDELS-2009-MorinPLBVJ #metamodelling #variability #weaving: Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration: Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
MoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing: Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MoDELS-2009-WalterPS #domain-specific language #framework #named #ontology: OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MoDELS-2009-WienandsG #domain-specific language #industrial #visual notation: Anatomy of a Visual Domain-Specific Language Project in an Industrial Context (CW, MG), pp. 453–467.
TOOLS-EUROPE-2009-HovsepyanBBJ #domain-specific language #modelling #specification: Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages (AH, SVB, YB, WJ), pp. 116–135.
PADL-2009-TranNPS #consistency #declarative #performance #specification #static analysis: Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications (DVT, HKN, EP, TCS), pp. 239–253.
RE-2009-AdamDEG #requirements #using: Using Task-oriented Requirements Engineering in Different Domains (SA, JD, ME, AG), pp. 267–272.
RE-2009-NissenSJRDHR #development #domain model #evolution #modelling #requirements: Evolution in Domain Model-Based Requirements Engineering for Control Systems Development (HWN, DS, MJ, TR, PD, FJH, MR), pp. 323–328.
RE-2009-SalinesiDDMR #constraints #finite #modelling #product line #programming: Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models (CS, DD, OD, RM, CR), pp. 375–376.
REFSQ-2009-PenzenstadlerSP #modelling #requirements: A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain (BP, ES, KP), pp. 212–217.
SAC-2009-AthenikosHB #framework: A framework of a logic-based question-answering system for the medical domain (LOQAS-Med) (SJA, HH, ADB), pp. 847–851.
SAC-2009-RekapalliHZ #identification #named #scalability: HSP-HMMER: a tool for protein domain identification on a large scale (BR, CH, IBZ), pp. 766–770.
ESEC-FSE-2009-ZimmermannNGGM #empirical #fault #predict #process #scalability: Cross-project defect prediction: a large scale experiment on data vs. domain vs. process (TZ, NN, HG, EG, BM), pp. 91–100.
SLE-2009-LairdB #domain-specific language #evolution #towards: Towards Dynamic Evolution of Domain Specific Languages (PL, SB), pp. 144–153.
SLE-2009-MalletLAGT #automation #domain model #implementation #modelling #multi #process: An Automated Process for Implementing Multilevel Domain Models (FM, FL, CA, SG, FT), pp. 314–333.
SLE-2009-ZschalerKDPR #metamodelling: Domain-Specific Metamodelling Languages for Software Language Engineering (SZ, DSK, ND, RFP, AR), pp. 334–353.
SPLC-2009-Voelter #domain-specific language #product line #using: Using domain specific languages for product line engineering (MV), p. 329.
ASPLOS-2009-LenharthAK #operating system: Recovery domains: an organizing principle for recoverable operating systems (AL, VSA, STK), pp. 49–60.
CAV-2009-GhorbalGP #abstract domain: The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.
CAV-2009-JeannetM #abstract domain #library #named #static analysis: Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
CSL-2009-TurnerW #concurrent: Nominal Domain Theory for Concurrency (DT, GW), pp. 546–560.
LICS-2009-CarraroS #reflexive #λ-calculus: Reflexive Scott Domains are Not Complete for the Extensional λ Calculus (AC, AS), pp. 91–100.
ECSA-2008-DamaseviciusST #component #design #diagrams #feature model #generative #metaprogramming #ontology #using: Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques (RD, VS, JT), pp. 338–341.
ECSA-2008-FilhoCNOLAM #bibliography #design #perspective #using: Evaluating Domain Design Approaches Using Systematic Review (EDdSF, RdOC, DFSN, THBdO, LBL, ESdA, SRdLM), pp. 50–65.
ECSA-2008-LosavioMR #analysis #quality #standard #web #web service: Web Services Domain Analysis Based on Quality Standards (FL, AM, RR), pp. 354–358.
ASE-2008-Dominguez #detection #feature model #interactive: Feature Interaction Detection in the Automotive Domain (ALJD), pp. 521–524.
ASE-2008-EdwardsM #development #framework: A Methodology and Framework for Creating Domain-Specific Development Infrastructures (GE, NM), pp. 168–177.
DAC-2008-OgrasMM #adaptation #feedback #multi: Variation-adaptive feedback control for networks-on-chip with multiple clock domains (ÜYO, RM, DM), pp. 614–619.
DAC-2008-SauerGL #framework #functional #modelling #named #performance #using: SystemClick: a domain-specific framework for early exploration using functional performance models (CS, MG, HPL), pp. 480–485.
DATE-2008-CruzBCM #embedded #modelling #named #realtime #synthesis: ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis (FC, RSB, LCC, PRMM), pp. 1510–1515.
DATE-2008-ZhangZYZSPZCMSIC #multi #network: Finding the Worst Voltage Violation in Multi-Domain Clock Gated Power Network (WZ, YZ, WY, LZ, RS, HP, ZZ, LCE, RM, TS, NI, CKC), pp. 537–540.
VLDB-2008-BragaCDM #multi #optimisation #query #web: Optimization of multi-domain queries on the web (DB, SC, FD, DM), pp. 562–573.
ESOP-2008-Allamigeon #abstraction #array: Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
ESOP-2008-MartinFS #constraints #game studies: Playing with TOY: Constraints and Domain Cooperation (SEM, AJF, FSP), pp. 112–115.
FASE-2008-BergJR #similarity #state machine #testing #using: Regular Inference for State Machines Using Domains with Equality Tests (TB, BJ, HR), pp. 317–331.
FASE-2008-LagardeETAG #domain model #modelling #uml: Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.
FASE-2008-MohaGMD #algorithm #analysis #design #detection #fault: A Domain Analysis to Specify Design Defects and Generate Detection Algorithms (NM, YGG, AFLM, LD), pp. 276–291.
FoSSaCS-2008-Goubault-Larrecq08a: Prevision Domains and Convex Powercones (JGL), pp. 318–333.
CSMR-2008-RatiuFJ #api #ontology: Extracting Domain Ontologies from Domain Specific APIs (DR, MF, JJ), pp. 203–212.
ICPC-2008-HaiducM #on the #source code: On the Use of Domain Terms in Source Code (SH, AM), pp. 113–122.
ICPC-2008-PetrenkoRV #comprehension #evolution #maintenance: Partial Domain Comprehension in Software Evolution and Maintenance (MP, VR, RV), pp. 13–22.
ICPC-2008-RatiuJ #api #concept #representation: Evaluating the Reference and Representation of Domain Concepts in APIs (DR, JJ), pp. 242–247.
ICSM-2008-LinZKM #editing #graph #visualisation: A domain-customizable SVG-based graph editor for software visualizations (TL, FZ, HMK, HAM), pp. 466–467.
WCRE-2008-GeestVDV #domain-specific language #generative: Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
ICALP-B-2008-Martin #formal method #quantum: A Domain Theoretic Model of Qubit Channels (KM), pp. 283–297.
IFL-2008-SvenssonSC #embedded #named #parallel #programming: Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.
GT-VMT-2006-GuerraDL08 #domain-specific language #metric #specification #visual notation: Visual Specification of Metrics for Domain Specific Visual Languages (EG, PD, JdL), pp. 99–110.
CAiSE-2008-BoukadiGV #adaptation #approach #aspect-oriented: An Aspect Oriented Approach for Context-Aware Service Domain Adapted to E-Business (KB, CG, LV), pp. 64–78.
EDOC-2008-CarbonJMN #collaboration #development: A Method for Collaborative Development of Systems of Systems in the Office Domain (RC, GJ, DM, MN), pp. 339–345.
ICEIS-AIDSS-2008-BoglSPW #modelling #semantics: Semantic Annotation of EPC Models in Engineering Domains by Employing Semantic Patterns (AB, MS, GP, NW), pp. 106–115.
ICEIS-J-2008-BoglSPW08a #automation #identification #modelling #semantics: Semantic Annotation of EPC Models in Engineering Domains to Facilitate an Automated Identification of Common Modelling Practices (AB, MS, GP, NW), pp. 155–171.
ICEIS-J-2008-VlaanderenVP08a #modelling #research #web: Model-Driven Web Engineering in the CMS Domain: A Preliminary Research Applying SME (KV, FV, OP), pp. 226–237.
CIKM-2008-ArnoldC #adaptation: Intra-document structural frequency features for semi-supervised domain adaptation (AA, WWC), pp. 1291–1300.
CIKM-2008-CandanCQS #summary: Table summarization with the help of domain lattices (KSC, HC, YQ, MLS), pp. 1473–1474.
CIKM-2008-CustisA #corpus #query #statistics: Investigating external corpus and clickthrough statistics for query expansion in the legal domain (TC, KAK), pp. 1363–1364.
CIKM-2008-Ibekwe-SanjuanSV #composition #graph #information management: Decomposition of terminology graphs for domain knowledge acquisition (FIS, ES, MSEV), pp. 1463–1464.
CIKM-2008-KinneyHZ #how: How evaluator domain expertise affects search result relevance judgments (KAK, SBH, JZ), pp. 591–598.
CIKM-2008-LuoZHXH #learning #multi: Transfer learning from multiple source domains via consensus regularization (PL, FZ, HX, YX, QH), pp. 103–112.
ECIR-2008-MakrehchiK #automation #documentation: Automatic Extraction of Domain-Specific Stopwords from Labeled Documents (MM, MSK), pp. 222–233.
ICML-2008-KerstingD #parametricity #policy #relational: Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.
ICPR-2008-LiaoJ #learning #network #parametricity #semistructured data: Exploiting qualitative domain knowledge for learning Bayesian network parameters with incomplete data (WL, QJ), pp. 1–4.
KDD-2008-LingDXYY #learning: Spectral domain-transfer learning (XL, WD, GRX, QY, YY), pp. 488–496.
KDD-2008-Sindhgatta #developer #identification #source code: Identifying domain expertise of developers from source code (RS), pp. 981–989.
SEKE-2008-AlmeidaAGLFM #domain model #process: A Systematic Process for Domain Engineering (ESdA, AÁ, VCG, DL, RPdMF, SRdLM), pp. 655–660.
SEKE-2008-BelmonteD #automation #domain model #re-engineering: Automating a Domain Model Aware Reengineering Methodology (JB, PD), pp. 129–136.
SEKE-2008-BuchwalderP #modelling #named: MEtaGile: A Pragmatic Domain-specific Modeling Environment (OB, CP), pp. 764–768.
SEKE-2008-LiYB #aspect-oriented #owl: Translating OWL Specified Domain Knowledge to Aspect Oriented Model (JL, XY, XB), pp. 203–208.
SEKE-2008-Shaffer #domain model #security #source code #static analysis #verification: A Security Domain Model for Static Analysis and Verification of Software Programs (ABS), pp. 673–678.
SIGIR-2008-WangH #documentation #retrieval #using: Improving biomedical document retrieval using domain knowledge (SW, MH), pp. 785–786.
SIGIR-2008-XueDYY #classification #topic: Topic-bridged PLSA for cross-domain text classification (GRX, WD, QY, YY), pp. 627–634.
ECMDA-FA-2008-NogueraD #domain model #framework #modelling #using #validation: Annotation Framework Validation Using Domain Models (CN, LD), pp. 48–62.
ECMDA-FA-2008-SadilekW #domain-specific language #modelling #prototype #visual notation: Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages (DAS, GW), pp. 63–78.
TOOLS-EUROPE-2008-KrahnRV #composition #development #domain-specific language #named: MontiCore: Modular Development of Textual Domain Specific Languages (HK, BR, SV), pp. 297–315.
GPCE-2008-MercadalPCL #coordination #domain-specific language #named: Pantaxou: a domain-specific language for developing safe coordination services (JM, NP, CC, JLL), pp. 149–160.
PPDP-2008-FeydySS #constraints #difference #finite: Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
PPDP-2008-MartinFHRSV #constraints: Cooperation of constraint domains in the TOY system (SEM, AJF, MTHG, MRA, FSP, RdVV), pp. 258–268.
POPL-2008-GulwaniMT #logic #quantifier: Lifting abstract interpreters to quantified logical domains (SG, BM, AT), pp. 235–246.
RE-2008-FortunaWB #case study #domain model #modelling: Info Cases: Integrating Use Cases and Domain Models (MHF, CMLW, MRSB), pp. 81–84.
RE-2008-LauenrothP #consistency #product line #requirements: Dynamic Consistency Checking of Domain Requirements in Product Line Engineering (KL, KP), pp. 193–202.
REFSQ-2008-WelshS #adaptation #identification #problem: When to Adapt? Identification of Problem Domains for Adaptive Systems (KW, PS), pp. 198–203.
SAC-2008-EspinasseFF #information management #ontology #strict #web: Agent and ontology based information gathering on restricted web domains with AGATHE (BE, SF, FLGdF), pp. 2381–2386.
SAC-2008-KaiyaSOKK #analysis #quality #requirements #towards: Toward quality requirements analysis based on domain specific quality spectrum (HK, TS, AO, NK, KK), pp. 596–601.
SAC-2008-LogozzoF #abstract domain #array #named #performance #relational #validation: Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (FL, MF), pp. 184–188.
SAC-2008-Ngomo #multi: Knowledge-free discovery of domain-specific multiword units (ACNN), pp. 1561–1565.
SAC-2008-OsadaOKKK #diagrams #metric #using: Proposing metrics of difficulty of domain knowledge using usecase diagrams (AO, DO, NK, HK, KK), pp. 624–629.
SAC-2008-PeristerasLT #domain model #modelling #state of the art: Organizational engineering in public administration: the state of the art on eGovernment domain modeling (VP, NL, KAT), pp. 580–587.
SAC-2008-TanWWC #detection #problem #semantics #using: Using unlabeled data to handle domain-transfer problem of semantic detection (ST, YW, GW, XC), pp. 896–903.
LDTA-2007-HameyG08 #domain-specific language #experience #implementation #stratego #using: Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper (LGCH, SG), pp. 37–51.
SPLC-2008-AlvesSBRSRPR #analysis #case study #information retrieval: An Exploratory Study of Information Retrieval Techniques in Domain Analysis (VA, CS, LB, AR, PS, PR, CP, AR), pp. 67–76.
SPLC-2008-HaugenMOOS #domain-specific language #standard #variability: Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.
SPLC-2008-SantosKL #automation #domain-specific language #generative #modelling: Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
SPLC-2008-YoshimuraFMP #component #design #modelling #product line: Model-Based Design of Product Line Components in the Automotive Domain (KY, TF, DM, DP), pp. 170–179.
LCTES-2008-RajopadhyeGR #configuration management: A domain specific interconnect for reconfigurable computing (SVR, GG, LR), pp. 79–88.
CAV-2008-GulavaniG #abstract domain #abstraction #analysis: A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis (BSG, SG), pp. 370–384.
CSL-2008-HorbachW: Superposition for Fixed Domains (MH, CW), pp. 293–307.
CSL-2008-NakazawaTKN #λ-calculus: Undecidability of Type-Checking in Domain-Free Typed λ-Calculi with Existence (KN, MT, YK, HN), pp. 478–492.
ICLP-2008-Parisini #constraints: Bi-dimensional Domains for the Non-overlapping Rectangles Constraint (FP), pp. 811–812.
ICLP-2008-SchulteS #bound #dynamic analysis: Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.
ICLP-2008-Triska #constraints #finite #theorem proving: Generalising Constraint Solving over Finite Domains (MT), pp. 820–821.
WICSA-2007-AlmeidaAGNML #approach #architecture #design #towards: Designing Domain-Specific Software Architecture (DSSA): Towards a New Approach (ESdA, AÁ, VCG, LMN, SRdLM, DL), p. 30.
ASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation: Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.
ASE-2007-LagardeETG #concept #design #domain model #modelling #uml: Improving uml profile design practices by leveraging conceptual domain models (FL, HE, FT, SG), pp. 445–448.
CASE-2007-KavakliogluK #fuzzy: A Type-2 Fuzzy Planner with Semi Qualitative World Model for Robocup Domain (CK, OK), pp. 795–799.
DATE-2007-AndersKG #effectiveness #testing: Re-configuration of sub-blocks for effective application of time domain tests (JA, SK, GG), pp. 707–712.
DATE-2007-FengZTC #design #fault #metric #validation: Clock domain crossing fault model and coverage metric for validation of SoC design (YF, ZZ, DT, XC), pp. 1385–1390.
DATE-2007-Kopetz #architecture #embedded: The ARTEMIS cross-domain architecture for embedded systems (HK), pp. 1468–1469.
DATE-2007-ReshadiG #architecture #embedded #low level #programming: Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems (MR, DG), pp. 1337–1342.
DATE-2007-SirowyWLV07a #multi: Clock-frequency assignment for multiple clock domain systems-on-a-chip (SS, YW, SL, FV), pp. 397–402.
DRR-2007-LangleyB: Google Books: making the public domain universally accessible (AL, DSB).
SIGMOD-2007-LiCYSJ #adaptation #interface #named #natural language #query #xml: DaNaLIX: a domain-adaptive natural language interface for querying XML (YL, IC, HY, SPS, HVJ), pp. 1165–1168.
SIGMOD-2007-VardeRS #data mining #mining #named #optimisation #process #visual notation: AutoDomainMine: a graphical data mining system for process optimization (ASV, EAR, RDSJ), pp. 1103–1105.
VLDB-2007-BurdickDRV #constraints: OLAP over Imprecise Data with Domain Constraints (DB, AD, RR, SV), pp. 39–50.
VLDB-2007-LimWW #using: Unifying Data and Domain Knowledge Using Virtual Views (LL, HW, MW), pp. 255–266.
VLDB-2007-MorsePJ #performance: Efficient Skyline Computation over Low-Cardinality Domains (MDM, JMP, HVJ), pp. 267–278.
ESOP-2007-GaubertGTZ #policy #relational #static analysis: Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
SAS-2007-BanterleG #abstract domain #hardware #implementation #performance: A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
ILC-2007-AkashiTFHS #framework #lisp #network: Lisp-based agent platform and applications for inter-domain network management (OA, AT, KF, TH, TS), p. 14.
ILC-2007-MehnertB #domain-specific language: A domain-specific language for manipulation of binary data in Dylan (HM, AB), p. 22.
AGTIVE-2007-AndresLG #domain-specific language #visual notation: Domain Specific Languages with Graphical and Textual Views (FPA, JdL, EG), pp. 82–97.
AGTIVE-2007-DenningerGG: Applications and Rewriting of Omnigraphs — Exemplified in the Domain of MDD (OD, TG, RG), pp. 168–183.
AGTIVE-2007-TaentzerCSE #editing #generative: Generating Domain-Specific Model Editors with Complex Editing Commands (GT, AC, RS, CE), pp. 98–103.
AGTIVE-2007-TaentzerMM #graph transformation #refactoring #specification: Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation (GT, DM, TM), pp. 104–119.
HCI-MIE-2007-Velez-LangsA #adaptation #development #domain model #modelling: Adaptation in Intelligent Tutoring Systems: Development of Tutoring and Domain Models (OVL, XA), pp. 527–534.
HIMI-MTT-2007-AblassmeierPRR #network #using: Context-Aware Information Agents for the Automotive Domain Using Bayesian Networks (MA, TP, SR, GR), pp. 561–570.
ICEIS-EIS-2007-MarquesRFRAAM #analysis #aspect-oriented: Aspect-Oriented Analysis Applied to the Space Domain (AM, RR, RF, RAR, SA, JA, AMDM), pp. 71–79.
ICEIS-HCI-2007-FilipeMM #adaptation: An Adaptive Domain Knowledge Manager for Dialogue Systems (PPF, LM, NJM), pp. 45–52.
ICEIS-SAIC-2007-DrumondGL #case study #modelling #recommendation #specification: A Case Study on the Application of the MAAEM Methodology for the Specification Modeling of Recommender Systems in the Legal Domain (LD, RG, AL), pp. 155–160.
CIKM-2007-AltingovdeOCYU #approach #automation #web: An automatic approach to construct domain-specific web portals (ISA, RO, SC, HY, ÖU), pp. 849–852.
CIKM-2007-ChevalletLL #concept #multi: Domain knowledge conceptual inter-media indexing: application to multilingual multimedia medical reports (JPC, JHL, DTHL), pp. 495–504.
CIKM-2007-JiangZ #adaptation #approach #classification #statistics: A two-stage approach to domain adaptation for statistical classifiers (JJ, CZ), pp. 401–410.
CIKM-2007-PriceNDV #component #documentation #retrieval #semantics: Semantic components enhance retrieval of domain-specific documents (SP, MLN, LMLD, PV), pp. 429–438.
CIKM-2007-TanWTC #analysis #novel #problem #sentiment: A novel scheme for domain-transfer problem in the context of sentiment analysis (ST, GW, HT, XC), pp. 979–982.
ICML-2007-TaylorS #learning: Cross-domain transfer for reinforcement learning (MET, PS), pp. 879–886.
KDD-2007-DaiXYY #classification #clustering #documentation: Co-clustering based classification for out-of-domain documents (WD, GRX, QY, YY), pp. 210–219.
KDD-2007-PanZZPSPY #mining #modelling #network: Domain-constrained semi-supervised mining of tracking models in sensor networks (RP, JZ, VWZ, JJP, DS, SJP, QY), pp. 1023–1027.
RecSys-2007-BerkovskyKR #collaboration #distributed: Distributed collaborative filtering with domain specialization (SB, TK, FR), pp. 33–40.
SEKE-2007-EnsanD #development #framework #maintenance #ontology #towards: Towards Domain-Centric Ontology Development and Maintenance Frameworks (FE, WD), pp. 622–627.
SEKE-2007-GirardiL #domain model #multi #named: ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain Engineering (RG, AL), pp. 559–564.
SEKE-2007-KuoSSTZ #random testing #source code #testing: Enhanced Random Testing for Programs with High Dimensional Input Domains (FCK, KYS, CaS, SFT, ZZ), pp. 135–140.
SIGIR-2007-OlssonO #classification: Improving text classification for oral history archives with temporal domain knowledge (JSO, DWO), pp. 623–630.
ECMDA-FA-2007-AchilleosGY #development #framework #modelling #open source #tool support: An Open Source Domain-Specific Tools Framework to Support Model Driven Development of OSS (AA, NG, KY), pp. 1–16.
ECMDA-FA-2007-Warmer #domain-specific language #modelling #using: A Model Driven Software Factory Using Domain Specific Languages (JW), pp. 194–203.
MoDELS-2007-BatoriTA #configuration management #modelling: Domain Specific Modeling Methodology for Reconfigurable Networked Systems (GB, ZT, DA), pp. 316–330.
MoDELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow: Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
MoDELS-2007-HessellundCW #development #domain-specific language #multi: Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.
MoDELS-2007-SmialekBNAS #case study: Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.
MoDELS-2007-BatoriTA #configuration management #modelling: Domain Specific Modeling Methodology for Reconfigurable Networked Systems (GB, ZT, DA), pp. 316–330.
MoDELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow: Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
MoDELS-2007-HessellundCW #development #domain-specific language #multi: Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.
MoDELS-2007-SmialekBNAS #case study: Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.
ECOOP-2007-LinB #data flow #domain-specific language #named: DirectFlow: A Domain-Specific Language for Information-Flow Systems (CKL, APB), pp. 299–322.
OOPSLA-2007-LeffR #domain-specific language #named #relational #visual notation: Webrb: evaluating a visual domain-specific language for building relational web-applications (AL, JTR), pp. 281–300.
REFSQ-2007-RegnellHB #analysis #mobile #non-functional #performance #quality #requirements: A Quality Performance Model for Cost-Benefit Analysis of Non-functional Requirements Applied to the Mobile Handset Domain (BR, MH, RBS), pp. 277–291.
SAC-2007-Al-MubaidN #concept #distance #framework #semantics: Semantic distance of concepts within a unified framework in the biomedical domain (HAM, HAN), pp. 142–143.
SAC-2007-ForteCSPS #adaptation #component #framework #internet: A component-based framework for the internet content adaptation domain (MF, RATC, WLdS, AFdP, LHZS), pp. 1450–1455.
SAC-2007-KuoCLC #adaptation #random testing #testing: Enhancing adaptive random testing in high dimensional input domains (FCK, TYC, HL, WKC), pp. 1467–1472.
SAC-2007-WuJN #approach: An approach for indexing, storing and retrieving domain knowledge (HW, HJ, XN), pp. 1381–1382.
SAC-2007-ZhangXLY #clustering #modelling: Improved structural modeling based on conserved domain clusters and structure-anchored alignments (FZ, LX, ZL, BY), pp. 128–132.
ESEC-FSE-2007-HarmanHLMW #generative #reduction #search-based #testing: The impact of input domain reduction on search-based test data generation (MH, YH, KL, PM, JW), pp. 155–164.
ESEC-FSE-2007-HartmanKP #automation #testing: Domain specific approaches to software test automation (AH, MK, AMP), pp. 621–622.
GTTSE-2007-Visser #case study #domain-specific language #named: WebDSL: A Case Study in Domain-Specific Language Engineering (EV), pp. 291–373.
GTTSE-2007-Wachsmuth #domain-specific language #modelling #semantics: Modelling the Operational Semantics of Domain-Specific Modelling Languages (GW), pp. 506–520.
ICSE-2007-GrundyH #diagrams #sketching #visual notation: Supporting Generic Sketching-Based Input of Diagrams in a Domain-Specific Visual Language Meta-Tool (JCG, JGH), pp. 282–291.
ICSE-2007-KarailaS #case study #experience #industrial #metaprogramming #visual notation: Applying Template Meta-Programming Techniques for a Domain-Specific Visual Language — An Industrial Experience Report (MK, TS), pp. 571–580.
SPLC-2007-KimKK #experience #legacy #product line #video: Building Software Product Line from the Legacy Systems “Experience in the Digital Audio and Video Domain” (KK, HK, WK), pp. 171–180.
SPLC-2007-TischerMKG #product line #why: Why does it take that long? Establishing Product Lines in the Automotive Domain (CT, AM, MK, LG), pp. 269–274.
HPCA-2007-JinKY #design #network #scalability: A Domain-Specific On-Chip Network Design for Large Scale Cache Systems (YJ, EJK, KHY), pp. 318–327.
SMT-J-2006-GanaiTG07 #difference #encoding #integration #lazy evaluation #logic #named: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic (MKG, MT, AG), pp. 91–114.
CAV-2007-GulwaniT #abstract domain #bytecode #low level: An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software (SG, AT), pp. 379–392.
MBT-2007-RaimondiPB #model checking #testing: Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.
TLCA-2007-JiangZ: Weakly Distributive Domains (YJ, GQZ), pp. 194–206.
VMCAI-2007-PeronH #abstract domain #bound #constraints #matrix: An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (MP, NH), pp. 268–282.
ASE-2006-GrundyHZL #editing #generative #specification #visual notation: Generating Domain-Specific Visual Language Editors from High-level Tool Specifications (JCG, JGH, NZ, NL), pp. 25–36.
ASE-2006-RobbyDH #framework #model checking #using: Domain-specific Model Checking Using The Bogor Framework (R, MBD, JH), pp. 369–370.
DATE-2006-Muller-Glaser #design #modelling: Domain specific model driven design for automotive electronic control units (KDMG), p. 557.
DATE-2006-YonedaMF #multi #scheduling: Power-constrained test scheduling for multi-clock domain SoCs (TY, KM, HF), pp. 297–302.
DATE-2006-ZengFSCZC #domain model #order #reduction: Time domain model order reduction by wavelet collocation method (XZ, LF, YS, WC, DZ, CC), pp. 21–26.
DATE-2006-ZhouSMS #analysis #composition #grid #power management #scalability #using: Large power grid analysis using domain decomposition (QZ, KS, KM, DCS), pp. 27–32.
ITiCSE-2006-HigginsB #assessment #diagrams: Formative computer based assessment in diagram based domains (CAH, BB), pp. 98–102.
TACAS-2006-GanaiTG #encoding #integration #lazy evaluation #logic #named: SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in a Separation Logic Solver (MKG, MT, AG), pp. 135–150.
PLDI-2006-JohnsonE #algorithm #composition #independence: Context-sensitive domain-independent algorithm composition and selection (TAJ, RE), pp. 181–192.
SAS-2006-AmiranoffCF #abstract domain #relational: Beyond Iteration Vectors: Instancewise Relational Abstract Domains (PA, AC, PF), pp. 161–180.
SAS-2006-SankaranarayananISG #static analysis: Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.
ICALP-v2-2006-Mogelberg #formal method #modelling #morphism #parametricity #polymorphism: Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
FM-2006-Boute #formal method #independence #problem #using: Using Domain-Independent Problems for Introducing Formal Methods (RTB), pp. 316–331.
FM-2006-Zave #composition #network: Compositional Binding in Network Domains (PZ), pp. 332–347.
ICEIS-AIDSS-2006-SombattheeraG #algorithm #distributed #linear: A Distributed Algorithm for Coalition Formation in Linear Production Domain (CS, AG), pp. 17–22.
ICEIS-ISAS-2006-ReiterKRSS #framework #generative #model transformation: A Generator Framework for Domain-Specific Model Transformation Languages (TR, EK, WR, WS, MS), pp. 27–35.
ICEIS-ISAS-2006-SturmDS #domain model #modelling: Domain Modeling with Object-Process Methodology (AS, DD, OS), pp. 144–151.
ICEIS-J-2006-BarresiRLM #integration #semantics: Semantic Resources Integration and Interoperability in the Construction Domain (SB, YR, CL, FM), pp. 336–347.
ICEIS-SAIC-2006-MartinelliSS #using: E-Procurement Adoption among Italian Firms by Using Domain Names (MM, IS, MS), pp. 124–131.
CIKM-2006-KimC #concept #mining #named #similarity #taxonomy: CP/CV: concept similarity mining without frequency information from domain describing taxonomies (JWK, KSC), pp. 483–492.
CIKM-2006-YanSL #concept #documentation #information retrieval #readability: Concept-based document readability in domain specific information retrieval (XY, DS, XL), pp. 540–549.
ICPR-v1-2006-KimC #ambiguity #clustering #permutation: ICA-Based Clustering for Resolving Permutation Ambiguity in Frequency-Domain Convolutive Source Separation (MK, SC), pp. 950–954.
ICPR-v1-2006-LlanoVKM #representation #verification: An Illumination Insensitive Representation for Face Verification in the Frequency Domain (EGL, HMV, JK, KM), pp. 215–218.
ICPR-v2-2006-JuszczakTVD: Domain Based LDA and QDA (PJ, DMJT, SV, RPWD), pp. 788–791.
ICPR-v3-2006-GunselK #learning: Perceptual Audio Watermarking by Learning in Wavelet Domain (BG, SK), pp. 383–386.
ICPR-v3-2006-JayalakshmiMD: Digital Watermarking in Contourlet Domain (MJ, SNM, UBD), pp. 861–864.
ICPR-v3-2006-LiuWL #estimation #performance: Winner Update on Walsh-Hadamard Domain for Fast Motion Estimation (SWL, SDW, SHL), pp. 794–797.
ICPR-v3-2006-LiWG #algorithm #novel: A Novel Blind Watermarking Algorithm in Contourlet Domain (HL, JW, HG), pp. 639–642.
ICPR-v4-2006-MbonyeF #estimation #parametricity #visual notation: Attentive Visual Servoing in the MPEG compressed domain for Un-calibrated Motion Parameter Estimation of Road Traffic (KPM, FPF), pp. 908–911.
KDD-2006-Cavaretta #challenge #data mining #mining: Data mining challenges in the automotive domain (MC), p. 836.
KDD-2006-VirdhagriswaranD #detection: Camouflaged fraud detection in domains with complex relationships (SV, GD), pp. 941–947.
SEKE-2006-FarenhorstBDLV #architecture #domain model #question #what: What’s in Constructing a Domain Model for Sharing Architectural Knowledge? (RF, RCdB, RD, PL, HvV), pp. 108–113.
SEKE-2006-JavedMSB #context-free grammar #domain-specific language #incremental: Incrementally Inferring Context-Free Grammars for Domain-Specific Languages (FJ, MM, APS, BRB), pp. 363–368.
SIGIR-2006-DayanikLMMG #classification: Constructing informative prior distributions from domain knowledge in text classification (AAD, DDL, DM, VM, AG), pp. 493–500.
SIGIR-2006-LinD #case study #concept #information management #retrieval: The role of knowledge in conceptual retrieval: a study in the domain of clinical medicine (JJL, DDF), pp. 99–106.
ECMDA-FA-2006-BraheO #modelling #process #uml: Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles (SB, KØ), pp. 241–255.
MoDELS-2006-HafnerAB #architecture #modelling #qvt #security #towards: Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MoDELS-2006-RashidM #domain model #modelling: Domain Models Are NOT Aspect Free (AR, AMDM), pp. 155–169.
MoDELS-2006-HafnerAB #architecture #modelling #qvt #security #towards: Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MoDELS-2006-RashidM #domain model #modelling: Domain Models Are NOT Aspect Free (AR, AMDM), pp. 155–169.
GPCE-2006-BarronC #domain-specific language #named #pervasive: YABS: a domain-specific language for pervasive computing based on stigmergy (PB, VC), pp. 285–294.
LOPSTR-2006-BagnaraDHMZ #named: Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.
PADL-2006-HawkinsS #constraints #finite #hybrid #satisfiability #theorem proving: A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.
RE-2006-KaiyaS #elicitation #ontology #requirements #using: Using Domain Ontology as Domain Knowledge for Requirements Elicitation (HK, MS), pp. 186–195.
SAC-2006-DelavalR #domain-specific language #generative #synthesis: A domain-specific language for task handlers generation, applying discrete controller synthesis (GD, ÉR), pp. 901–905.
SAC-2006-GiegerichS #challenge #compilation #domain-specific language #programming: Challenges in the compilation of a domain specific language for dynamic programming (RG, PS), pp. 1603–1609.
SAC-2006-KornerW #evaluation #multi: Bias-free hypothesis evaluation in multirelational domains (CK, SW), pp. 639–640.
SAC-2006-Wang #case study #domain-specific language #modelling: Modeling and analyzing applications with domain-specific languages by reflective rewriting: a case study (BYW), pp. 1773–1778.
SAC-2006-ZytnickiGS #consistency #csp: A new local consistency for weighted CSP dedicated to long domains (MZ, CG, TS), pp. 394–398.
LDTA-2006-ZengME #data flow #domain-specific language #generative: A Domain-Specific Language for Generating Dataflow Analyzers (JZ, CM, SAE), pp. 103–119.
SPLC-2006-Tolvanen #code generation #modelling #product line: Domain-Specific Modeling and Code Generation for Product Lines (JPT), p. 229.
HPDC-2006-XuRRKG #adaptation #distributed #framework #multi: Autonomic Adaptation of Virtual Distributed Environments in a Multi-Domain Infrastructure (DX, PR, JR, RK, SG), pp. 317–320.
LCTES-2006-CoopriderR #abstract domain #embedded: Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
CSL-2006-BodirskyC #constraints #quantifier: Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.
CSL-2006-LowS #modelling: Universality Results for Models in Locally Boolean Domains (TL, TS), pp. 456–470.
ICLP-2006-MantsivodaLM #logic programming: Logic Programming in Knowledge Domains (AM, VL, AM), pp. 451–452.
LICS-2006-CoquandS #normalisation #proving #using: A Proof of Strong Normalisation using Domain Theory (TC, AS), pp. 307–316.
SAT-2006-MorgadoMMM #integer #modelling: Counting Models in Integer Domains (AM, PJM, VMM, JPMS), pp. 410–423.
VMCAI-2006-Mine #abstract domain #precise: Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
WICSA-2005-Riva #architecture #logic #re-engineering: Bridging the Concrete and Logical Domains for Software Architecture Reconstruction (CR), pp. 263–264.
ASE-2005-WuG #automation #domain-specific language #generative #testing #tool support: Automated generation of testing tools for domain-specific languages (HW, JG), pp. 436–439.
CASE-2005-BonfeFS #modelling #multi #object-oriented: Object-oriented modeling of multi-domain systems (MB, CF, CS), pp. 363–368.
CASE-2005-ZhuD #design #layout #synthesis: Grasp synthesis and fixture layout design in discrete domain (XZ, HD), pp. 73–78.
DAC-2005-SauerGS #composition #embedded #framework #implementation: Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.
DATE-2005-KimKPJC #architecture #configuration management #optimisation #pipes and filters #resource management: Resource Sharing and Pipelining in Coarse-Grained Reconfigurable Architecture for Domain-Specific Optimization (YK, MK, CP, JJ, KC), pp. 12–17.
DATE-2005-MartensG #integration #orthogonal #polynomial #simulation #using: Time-Domain Simulation of Sampled Weakly Nonlinear Systems Using Analytical Integration and Orthogonal Polynomial Series (EM, GGEG), pp. 120–125.
DATE-2005-VandersteenLJRP #framework #modelling #scalability: Estimating Scalable Common-Denominator Laplace-Domain MIMO Models in an Errors-in-Variables Framework (GV, LDL, SJ, YR, RP), pp. 1076–1081.
DocEng-2005-Oda: A system of collecting domain-specific jargons (HO), p. 29.
SIGMOD-2005-ChanET: Stratified Computation of Skylines with Partially-Ordered Domains (CYC, PKE, KLT), pp. 203–214.
SIGMOD-2005-LeFevreDR #named #performance: Incognito: Efficient Full-Domain K-Anonymity (KL, DJD, RR), pp. 49–60.
VLDB-2005-ZhangHC #database #on the fly #query #web: Light-weight Domain-based Form Assistant: Querying Web Databases On the Fly (ZZ, BH, KCCC), pp. 97–108.
PLDI-2005-FisherG #ad hoc #domain-specific language #named: PADS: a domain-specific language for processing ad hoc data (KF, RG), pp. 295–304.
SAS-2005-JungKSY #analysis #c #statistics: Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis (YJ, JK, JS, KY), pp. 203–217.
ICALP-2005-Mislove #random: Discrete Random Variables over Domains (MWM), pp. 1006–1017.
IFM-2005-BodeveixFLM #domain-specific language #formal method: Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
EDOC-2005-GovernatoriM #contract #domain-specific language: Dealing with contract violations: formalism and domain specific language (GG, ZM), pp. 46–57.
ICEIS-v5-2005-DexterP #assurance #quality: Cross-Domain Mapping: Quality Assurance and E-Learning Provision (HD, JP), pp. 199–205.
CIKM-2005-WuLBC: Domain-specific keyphrase extraction (YfBW, QL, RSB, XC), pp. 283–284.
ICML-2005-SunD #approach #learning: Explanation-Augmented SVM: an approach to incorporating domain knowledge into SVM learning (QS, GD), pp. 864–871.
KDD-2005-WangLLMZ #using #web: Web object indexing using domain knowledge (MW, ZL, LL, WYM, NZ), pp. 294–303.
LSO-2005-DingsoyrB #using: Using Open Space Technology as a Method to Share Domain Knowledge (TD, FOB), pp. 102–106.
MLDM-2005-GillamA #mining: Pattern Mining Across Domain-Specific Text Collections (LG, KA), pp. 570–579.
SEKE-2005-AvesaniBPS #requirements: Exploiting Domain Knowledge in Requirements Prioritization (PA, CB, AP, AS), pp. 467–472.
SEKE-2005-ChiangTK #classification #multi #performance #using: Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain (TWC, TT, LJK), pp. 689–694.
SEKE-2005-HamzaF #reuse: Stable Atomic Knowledge Pattern (SAK) — Enabling Inter-Domain Knowledge Reuse (HSH, MEF), pp. 127–132.
SIGIR-2005-HernandezMP #information management: Customizing information access according to domain and task knowledge: the ontoExplo system (NH, JM, SP), pp. 607–608.
ECMDA-FA-2005-BurgstallerWFBF #development #distributed #monitoring #using: Using Domain Driven Development for Monitoring Distributed Systems (RB, EW, LF, MB, TF), pp. 19–24.
ECMDA-FA-2005-ChanP #approach #contract #design #metamodelling: Designing a Domain-Specific Contract Language: A Metamodelling Approach (ZEC, RFP), pp. 175–189.
MoDELS-2005-EstublierVI #domain-specific language #re-engineering: Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.
MoDELS-2005-GuizzardiPS #approach #modelling #ontology: An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages (GG, LFP, MvS), pp. 691–705.
MoDELS-2005-Steimann #domain model #modelling: Domain Models Are Aspect Free (FS), pp. 171–185.
MoDELS-2005-Tolvanen #modelling: Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.
MoDELS-2005-VokacG #case study #challenge #domain-specific language #experience #multi #tool support #using: Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application — Experiences and Challenges (MV, JMG), pp. 492–506.
MoDELS-2005-WalshBS #configuration management #domain model: A Domain Model for Dynamic System Reconfiguration (DW, FB, BS), pp. 553–567.
MoDELS-2005-EstublierVI #domain-specific language #re-engineering: Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.
MoDELS-2005-GuizzardiPS #approach #modelling #ontology: An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages (GG, LFP, MvS), pp. 691–705.
MoDELS-2005-Steimann #domain model #modelling: Domain Models Are Aspect Free (FS), pp. 171–185.
MoDELS-2005-Tolvanen #modelling: Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.
MoDELS-2005-VokacG #case study #challenge #domain-specific language #experience #multi #tool support #using: Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application — Experiences and Challenges (MV, JMG), pp. 492–506.
MoDELS-2005-WalshBS #configuration management #domain model: A Domain Model for Dynamic System Reconfiguration (DW, FB, BS), pp. 553–567.
GPCE-2005-AliasB #domain-specific language #on the #re-engineering: On Domain-Specific Languages Reengineering (CA, DB), pp. 63–77.
GPCE-2005-LawallDMM #composition #domain-specific language: Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language (JLL, HD, GM, AFLM), pp. 78–93.
GPCE-2005-MossM #code generation #domain-specific language #performance: Efficient Code Generation for a Domain Specific Language (AM, HLM), pp. 47–62.
LOPSTR-2005-GallagherPA #abstract domain #type system: Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.
RE-2005-SvetinovicBG #analysis #concept #identification #object-oriented #student #why: Concept Identification in Object-Oriented Domain Analysis: Why Some Students Just Don’t Get It (DS, DMB, MWG), pp. 189–198.
SAC-2005-DavidssonHS #predict #sequence: Comparing approaches to predict transmembrane domains in protein sequences (PD, JH, KS), pp. 185–189.
SAC-2005-TrainaFT #formal method #image #retrieval: Image domain formalization for content-based image retrieval (CTJ, JMdF, AJMT), pp. 604–609.
SAC-2005-WangG #approach #domain-specific language #framework #implementation #prototype #semantics: Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach (QW, GG), pp. 1419–1426.
SAC-2005-WuGRM #debugging #domain-specific language #weaving: Weaving a debugging aspect into domain-specific language grammars (HW, JGG, SR, MM), pp. 1370–1374.
GTTSE-2005-BravenboerGV #domain-specific language #stratego #using: MetaBorg in Action: Examples of Domain-Specific Language Embedding and Assimilation Using Stratego/XT (MB, RdG, EV), pp. 297–311.
LDTA-2005-CrepinsekMBJS #context-free grammar #domain-specific language: Inferring Context-Free Grammars for Domain-Specific Languages (MC, MM, BRB, FJ, APS), pp. 99–116.
SPLC-2005-ErikssonBB #approach #case study #domain model #modelling: The PLUSS Approach — Domain Modeling with Features, Use Cases and Use Case Realizations (ME, JB, KB), pp. 33–44.
SPLC-2005-TolvanenK #case study #domain-specific language #experience #modelling: Defining Domain-Specific Modeling Languages to Automate Product Derivation: Collected Experiences (JPT, SK), pp. 198–209.
HPCA-2005-WuJMC #adaptation #multi: Voltage and Frequency Control With Adaptive Reaction Time in Multiple-Clock-Domain Processors (QW, PJ, MM, DWC), pp. 178–189.
SAT-J-2004-AnsoteguiM05 #problem: Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables (CA, FM), pp. 1–15.
LICS-2005-EdalatP: Inverse and Implicit Functions in Domain Theory (AE, DP), pp. 417–426.
LICS-2005-EscardoK #programming language: Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.
TLCA-2005-BoveC #higher-order #recursion: Recursive Functions with Higher Order Domains (AB, VC), pp. 116–130.
VMCAI-2005-Feret #abstract domain #geometry: The Arithmetic-Geometric Progression Abstract Domain (JF), pp. 42–58.
DAC-2004-KulkarniBS #domain-specific language #framework: Mapping a domain specific language to a platform FPGA (CK, GJB, GS), pp. 924–927.
DAC-2004-MeiRCHD #performance #robust: Robust, stable time-domain methods for solving MPDEs of fast/slow systems (TM, JSR, TSC, SAH, DMD), pp. 848–853.
DAC-2004-ParthasarathyICW #constraints #performance #theorem proving: An efficient finite-domain constraint solver for circuits (GP, MKI, KTC, LCW), pp. 212–217.
DATE-DF-2004-RenWBLLD #design: A Domain-Specific Cell Based ASIC Design Methodology for Digital Signal Processing Applications (BR, AW, JB, KL, WL, WWMD), pp. 280–285.
DATE-DF-2004-Tissafi-DrissiOG #automation #design #framework #multi #named #performance: RUNE: Platform for Automated Design of Integrated Multi-Domain Systems. Application to High-Speed CMOS Photoreceiver Front-Ends (FTD, IO, FG), pp. 16–21.
DATE-v1-2004-WilsonRBKB #behaviour #modelling #performance: Efficient Mixed-Domain Behavioural Modeling of Ferromagnetic Hysteresis Implemented in VHDL-AMS (PRW, JNR, ADB, TJK, JB), pp. 742–743.
DATE-v1-2004-XuN #design #multi #testing: Wrapper Design for Testing IP Cores with Multiple Clock Domains (QX, NN), pp. 416–421.
DATE-v2-2004-KhawamBPAAAW #array #configuration management #implementation #mobile #performance #video: Efficient Implementations of Mobile Video Computations on Domain-Specific Reconfigurable Arrays (SK, SB, AP, IA, NA, TA, FW), pp. 1230–1235.
DATE-v2-2004-ReedLBMC #algorithm #parallel #simulation: An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation (DKR, SPL, JB, JAM, DMC), pp. 1356–1357.
VLDB-2004-WangWLM #database #query #web: Instance-based Schema Matching for Web Databases by Domain-specific Query Probing (JW, JRW, FHL, WYM), pp. 408–419.
CSEET-2004-Kaner #education #testing: Teaching Domain Testing: A Status Report (CK), pp. 112–117.
ESOP-2004-Mine #abstract domain #detection #fault #float #relational #runtime: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors (AM), pp. 3–17.
TACAS-2004-GopanDDRS: Numeric Domains with Summarized Dimensions (DG, FD, ND, TWR, SS), pp. 512–529.
ICSM-2004-GirardVG #evolution #experience #metric #monitoring #object-oriented: Monitoring the Evolution of an OO System with Metrics: An Experience from the Stock Market Software Domain (JFG, MV, DG), pp. 360–367.
SAS-2004-ClarisoC #abstract domain: The Octahedron Abstract Domain (RC, JC), pp. 312–327.
ICALP-2004-EdalatP #theorem: A Domain Theoretic Account of Picard’s Theorem (AE, DP), pp. 494–505.
EDOC-2004-HoffnerFF #flexibility #type system: Strong and Flexible Domain Typing for Dynamic E-Business (YH, SF, CF), pp. 98–107.
ICEIS-v1-2004-BaiHM #query #semantics #using: Improving View Selection in Query Rewriting Using Domain Semantics (QB, JH, MFM), pp. 177–183.
ICEIS-v3-2004-KaletasAH: A Methodology for Integrating New Scientific Domains and Applications in a Virtual Laboratory Environment (ECK, HA, LOH), pp. 265–272.
ICEIS-v3-2004-Ovaska #case study #e-commerce #evolution: Measuring Requirement Evolution — A Case Study in the E-Commerce Domain (PO), pp. 669–673.
ICEIS-v3-2004-SchuetzelhoferG #domain model #modelling #specification #verification #xml: Formal Specification and Verification of XML-Based Business Domain Models (WS, KMG), pp. 209–216.
ICEIS-v3-2004-VasconcelosPST #architecture #information management #research #roadmap: Open Issues on Information System Architecture Research Domain: The Vision (AV, CMP, PMAS, JMT), pp. 273–282.
ECIR-2004-JijkounR #multi: Answer Selection in a Multi-stream Open Domain Question Answering System (VJ, MdR), pp. 99–111.
ICPR-v1-2004-MansillaH #classification #on the: On Classifier Domains of Competence (EBiM, TKH), pp. 136–139.
ICPR-v2-2004-BriassouliA #analysis: Fusion of Frequency and Spatial Domain Information for Motion Analysis (AB, NA), pp. 175–178.
ICPR-v3-2004-CastelanH #constraints #fourier: Combining Data-Closeness and Fourier Domain Integrability Constraints in Shape-from-Shading (MC, ERH), pp. 115–118.
ICPR-v4-2004-BoubchirFB #approximate #using: Bayesian Denoising in the Wavelet-Domain Using an Analytical Approximate a-Stable Prior (LB, MJF, DB), pp. 889–892.
ICPR-v4-2004-HaritC #using #video: Video Shot Interpretation using Principles of Perceptual Prominence and Perceptual Grouping in Spatio-Temporal Domain (GH, SC), pp. 256–259.
ICPR-v4-2004-SialaCCB #detection: Moving Shadow Detection with Support Vector Domain Description in the Color Ratios Space (KS, MC, FC, OB), pp. 384–387.
KR-2004-Barrett #compilation #hybrid: From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
KR-2004-DelgrandeST #reasoning: Domain-Specific Preferences for Causal Reasoning and Planning (JPD, TS, HT), pp. 673–682.
SEKE-2004-Chan #automation #information management #pipes and filters: Automated Support for Knowledge Engineering for A Natural Gas Pipeline Domain (CWC), pp. 86–91.
SIGIR-2004-KruschwitzA #automation #named: UKSearch: search with automatically acquired domain knowledge (UK, HAB), p. 599.
SIGIR-2004-RogatiY #information retrieval: Resource selection for domain-specific cross-lingual IR (MR, YY), pp. 154–161.
SIGIR-2004-RoussinovR #learning #web: Learning patterns to answer open domain questions on the web (DR, JARF), pp. 500–501.
SIGIR-2004-Willett #information retrieval #named: Chemoinformatics: an application domain for information retrieval techniques (PW0), p. 393.
UML-2004-Reinhartz-BergerS #analysis #approach #behaviour #domain model #modelling: Behavioral Domain Analysis — The Application-Based Domain Modeling Approach (IRB, AS), pp. 410–424.
ECOOP-2004-AldrichC #alias #policy: Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.
OOPSLA-2004-BravenboerV #domain-specific language #strict #syntax: Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (MB, EV), pp. 365–383.
PADL-2004-Fall #declarative #nondeterminism: Supporting Decisions in Complex, Uncertain Domains with Declarative Languages (AF), pp. 16–22.
RE-2004-GordijnKSWA: Developing a Domain-Specific Cross-Organizational RE Method (JG, VK, JS, RW, HA), pp. 134–143.
SAC-2004-Guo #algorithm #clustering #evaluation #framework #functional: A new framework for clustering algorithm evaluation in the domain of functional genomics (AG), pp. 143–146.
SPLC-2004-Greenfield04a #domain-specific language #framework #tool support #using: Using Domain-Specific Languages, Patterns, Frameworks, and Tools to Assemble Applications (JG), p. 324.
ASPLOS-2004-WuJMC #multi #online: Formal online methods for voltage/frequency control in multiple clock domain microprocessors (QW, PJ, MM, DWC), pp. 248–259.
HPDC-2004-GullapalliDHMPS #grid: Showcasing the Features and Capabilities of NEESgrid: A Grid Based System for the Earthquake Engineering Domain (SG, SD, PH, DM, LP, CS), pp. 268–269.
LCTES-2004-ConwayE #domain-specific language #named: NDL: a domain-specific language for device drivers (CLC, SAE), pp. 30–36.
ICLP-2004-GallagherH #abstract domain: Abstract Domains Based on Regular Types (JPG, KSH), pp. 27–42.
ICLP-2004-JiaYY #set #source code: Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.
IJCAR-2004-GilHSZ #algorithm #constraints #finite #order #performance #problem: Efficient Algorithms for Constraint Description Problems over Finite Totally Ordered Domains: Extended Abstract (ÀJG, MH, GS, BZ), pp. 244–258.
SAT-2004-AnsoteguiM #problem: Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables (CA, FM), pp. 111–119.
VMCAI-2004-BagnaraHZ #set: Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.
ASE-2003-ChoiH #abstraction #model checking #reduction #requirements #specification #using: Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.
DATE-2003-BombanaB #synthesis: SystemC-VHDL Co-Simulation and Synthesis in the HW Domain (MB, FB), pp. 20101–20105.
DATE-2003-EbadiI #comparison #implementation #multi: Time Domain Multiplexed TAM: Implementation and Comparison (ZSE, AI), pp. 10732–10737.
DATE-2003-GerlingSSMT #multi #simulation: Improved Time Domain Simulation of Optical Multimode Intrasystem Interconnects (JG, OS, JS, GM, JT), pp. 11110–11111.
DATE-2003-MangerucaFSPP #case study #design #detection #embedded: System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain (LM, AF, ALSV, AP, MP), pp. 20232–20237.
DATE-2003-VanasscheGS #analysis #detection #domain model #modelling: Time-Varying, Frequency-Domain Modeling and Analysis of Phase-Locked Loops with Sampling Phase-Frequency Detectors (PV, GGEG, WMCS), pp. 10238–10243.
DRR-2003-ArensB #information management #internet: Domain-oriented information extraction from the Internet (AA, KHB), pp. 286–293.
DRR-2003-HurstB #health: Unconstrained invoice processing in the health insurance domain (MH, DB), pp. 172–178.
IWPC-2003-IvkovicG #architecture: Enhancing Domain-Specific Software Architecture Recovery (II, MWG), pp. 266–273.
SCAM-2003-BaggeKHV #c++ #design #optimisation #source code: Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs (OSB, KTK, MH, EV), p. 65–?.
AGTIVE-2003-HaaseMBG #agile #architecture #graph grammar #prototype: A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars (TH, OM, BB, FHG), pp. 236–242.
CHI-2003-BhavnaniCJLPSS: Strategy hubs: next-generation domain portals with search procedures (SKB, CKB, TMJ, RJL, FAP, JLS, VJS), pp. 393–400.
ICEIS-v1-2003-EzeifeU #independence #profiling: Data Position and Profiling in Domain-Independent Warehouse Cleaning (CIE, AU), pp. 232–238.
ICEIS-v2-2003-MadeiraMM #multi #named: Star — A Multiple Domain Dialog Manager (PM, MM, NJM), pp. 490–494.
ICEIS-v3-2003-AnzbockD #workflow: Interorganizational Workflow in the Medical Imaging Domain (RA, SD), pp. 292–300.
ICEIS-v3-2003-BrowneSW #workflow: A Two Tier, Goal-Driven Workflow Model for the Healthcare Domain (EDB, MS, JRW), pp. 32–39.
ICEIS-v4-2003-ZlatevE #information management: An Investigation of the Negotiation Domain for Electronic Commerce Information Systems (ZZ, PvE), pp. 386–394.
ECIR-2003-AhmadTVH #image #retrieval: Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains (KA, MT, BV, CH), pp. 502–510.
ICML-2003-FanLM: Utilizing Domain Knowledge in Neuroevolution (JF, RL, RM), pp. 170–177.
ICML-2003-WinnerV #learning #named: DISTILL: Learning Domain-Specific Planners by Example (EW, MMV), pp. 800–807.
SEKE-2003-Pittarello #3d #information management: 3D Time-pillars: an information access metaphor for the TV Domain (FP), pp. 555–560.
SIGIR-2003-JiZ #independence #programming #segmentation #using: Domain-independent text segmentation using anisotropic diffusion and dynamic programming (XJ, HZ), pp. 322–329.
SIGIR-2003-YangCWK: Structured use of external knowledge for event-based open domain question answering (HY, TSC, SW, CKK), pp. 33–40.
GPCE-2003-GrayBNSGN #approach #aspect-oriented #domain model #modelling: An Approach for Supporting Aspect-Oriented Domain Modeling (JG, TB, SN, DCS, ASG, BN), pp. 151–168.
GPCE-2003-HammondM #domain-specific language #embedded #named #realtime: Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
PPDP-2003-PaluDPR #constraints #finite #set: Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
SAC-2003-AvanciniLMSZ #categorisation: Expanding Domain-Specific Lexicons by Term Categorization (HA, AL, BM, FS, RZ), pp. 793–797.
SAC-2003-NgZT #approach #interactive: Integrative Approach for Computationally Inferring Protein Domain Interactions (SKN, ZZ, SHT), pp. 115–121.
CAV-2003-HungarNS #automaton #learning #optimisation: Domain-Specific Optimization in Automata Learning (HH, ON, BS), pp. 315–327.
VMCAI-2003-GiacobazziM #abstraction: Domain Compression for Complete Abstractions (RG, IM), pp. 146–160.
ASE-2002-RosuW #towards: Towards Certifying Domain-Specific Properties of Synthesized Code (GR, JW), pp. 289–294.
DAC-2002-Casinovi #algorithm #analysis: An algorithm for frequency-domain noise analysis in nonlinear systems (GC), pp. 514–517.
DAC-2002-Roychowdhury: A time-domain RF steady-state method for closely spaced tones (JSR), pp. 510–513.
DAC-2002-SanderJ #communication #design #refinement: Transformation based communication and clock domain refinement for system design (IS, AJ), pp. 281–286.
DAC-2002-YangP #component #multi #simulation #using: Time-domain steady-state simulation of frequency-dependent components using multi-interval Chebyshev method (BY, JRP), pp. 504–509.
DATE-2002-ChenBKR #reduction #using: Model Reduction in the Time-Domain Using Laguerre Polynomials and Krylov Methods (YC, VB, CKK, KR), pp. 931–935.
VLDB-2002-ConradGJM #database #logic #physics #using: Database Selection Using Actual Physical and Acquired Logical Collection Resources in a Massive Domain-specific Operational Environment (JGC, XSG, PJ, MM), pp. 71–82.
SAS-2002-Mine #abstract domain #graph #relational: A Few Graph-Based Relational Numerical Abstract Domains (AM), pp. 117–132.
STOC-2002-FischerLNRRS #testing: Monotonicity testing over general poset domains (EF, EL, IN, SR, RR, AS), pp. 474–483.
FLOPS-2002-Garcia-DiazN #constraints #quantifier: Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms (MGD, SN), pp. 103–118.
CAiSE-2002-PrakashB #modelling: Generic Models for Engineering Methods of Diverse Domains (NP, MPSB), pp. 612–625.
CAiSE-2002-TorchianoB #modelling #uml: Domain-Specific Instance Models in UML (MT, GB), pp. 774–777.
ICEIS-2002-Abe #analysis #domain model #information management #modelling: Applying Domain Modeling and SECI Theory in Knowledge Management for Information Systems Analysis (AA), pp. 725–731.
ECIR-2002-FinnKS #classification #information management: Genre Classification and Domain Transfer for Information Filtering (AF, NK, BS), pp. 353–362.
ICML-2002-GambergerL #case study #induction: Descriptive Induction through Subgroup Discovery: A Case Study in a Medical Domain (DG, NL), pp. 163–170.
ICML-2002-PerkinsP #fixpoint #on the: On the Existence of Fixed Points for Q-Learning and Sarsa in Partially Observable Domains (TJP, MDP), pp. 490–497.
ICPR-v1-2002-LamarreC #modelling #using: Background Subtraction Using Competing Models in the Block-DCT Domain (ML, JJC), pp. 299–302.
ICPR-v1-2002-LiH #approach #recognition: Recognition of Human Periodic Motion — A Frequency Domain Approach (BL, HH), pp. 311–314.
ICPR-v1-2002-LuWL #detection: A Target Detection Method in Range-Doppler Domain from SAR Echo Data (LL, RW, WL), pp. 91–94.
ICPR-v2-2002-LuCLF #realtime #video: Real-Time MPEG2 Video Watermarking in the VLC Domain (CSL, JRC, HYML, KCF), p. 552–?.
ICPR-v2-2002-WasikS #robust #segmentation: Robust Color Segmentation for the RoboCup Domain (ZW, AS), pp. 651–650.
ICPR-v3-2002-DeschenesZF #estimation: Homotopy-Based Estimation of Depth Cues in Spatial Domain (FD, DZ, PF), pp. 627–630.
KDD-2002-AntalGF #clustering #learning #network #on the: On the potential of domain literature for clustering and Bayesian network learning (PA, PG, GF), pp. 405–414.
KDD-2002-TejadaKM #identification #independence #learning #string: Learning domain-independent string transformation weights for high accuracy object identification (ST, CAK, SM), pp. 350–359.
KR-2002-Broxvall #constraints #infinity: Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints (MB), pp. 509–520.
SEKE-2002-BarberHB #architecture #evaluation #performance: Performance evaluation of domain reference architectures (KSB, JH, GB), pp. 225–232.
SEKE-2002-BarbutiTBF #bytecode #java #verification: Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.
SEKE-2002-FalboGD #approach #domain model #ontology: An ontological approach to domain engineering (RdAF, GG, KCD), pp. 351–358.
SEKE-2002-Fernandez-CondeG #analysis #framework #object-oriented: Domain analysis of object-oriented frameworks in FrameDoc (CFC, PAGC), pp. 27–33.
SEKE-2002-WangCH #approach #design #knowledge-based: Design of knowledge-based systems with the ontology-domain-system approach (XW, CWC, HJH), pp. 233–236.
UML-2002-AnidoCRS #concept #corba: Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning (LEAR, MC, JSR, JMS), pp. 321–335.
UML-2002-VarroP #framework #metamodelling #modelling #precise #semantics #uml #visual notation: Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models (DV, AP), pp. 18–33.
LOPSTR-2002-SimonKH #abstract domain #difference #linear: Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
PPDP-2002-PembeciNH #domain-specific language #functional #integration: Functional reactive robotics: an exercise in principled integration of domain-specific languages (IP, HN, GDH), pp. 168–179.
RE-2002-Cysneiros #health #requirements: Requirements Engineering in the Health Care Domain (LMC), pp. 350–356.
RE-2002-JohnMST #analysis #evolution #performance: Efficient and Systematic Software Evolution through Domain Analysis (IJ, DM, PS, ET), pp. 237–246.
SAC-2002-HaddadT #approach #reuse: Reusable subsystems: domain-based approach (HH, HT), pp. 971–975.
ICSE-2002-Silva #approach #requirements #specification: Requirements, domain and specifications: a viewpoint-based approach to requirements engineering (AS), pp. 94–104.
LDTA-2002-Consel #domain-specific language #how #what #why: Domain-Specific Languages: What, Why, How (CC), p. 1.
SPLC-2002-VogetB #product line: Establishing a Software Product Line in an Immature Domain (SV, MB), pp. 60–67.
HPCA-2002-SemeraroMBADS #design #energy #multi #scalability #using: Energy-Efficient Processor Design Using Multiple Clock Domains with Dynamic Voltage and Frequency Scaling (GS, GM, RB, DHA, SD, MLS), pp. 29–42.
CADE-2002-MouraRS #bound #infinity #lazy evaluation #model checking #proving #theorem proving: Lazy Theorem Proving for Bounded Model Checking over Infinite Domains (LMdM, HR, MS), pp. 438–455.
ICLP-2002-Angelopoulos #bibliography #finite #perspective #probability: Probabilistic Finite Domains: A Brief Overview (NA), p. 475.
ICLP-2002-FerrandL #approximate #finite #logic programming #reduction: A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
ICLP-2002-Thielscher #constraints #finite #reasoning: Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.
ISSTA-2002-Stoller #clustering: Domain partitioning for open reactive systems (SDS), pp. 44–54.
LICS-2002-EdalatL #calculus #difference: Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.
CBSE-2001-Wile #architecture #using: Ensuring General-Purpose and Domain-Specific Properties Using Architectural Styles (DSW), p. 6.
ASE-2001-Kong #implementation #interactive #specification: Implementation of Specification Conjunction and Domain Interaction in Rosetta (CK), p. 435.
ASE-2001-LowryPR #policy: Certifying Domain-Specific Policies (MRL, TP, GR), pp. 81–90.
DAC-2001-KudlugiST #functional #multi #scheduling #verification: Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.
DATE-2001-Burdiek #generative #programming #using: Generation of optimum test stimuli for nonlinear analog circuits using nonlinear — programming and time-domain sensitivities (BB), pp. 603–609.
DATE-2001-VanasscheGS #exponential #performance #simulation #using: Efficient time-domain simulation of telecom frontends using a complex damped exponential signal model (PV, GGEG, WMCS), pp. 169–175.
ICDAR-2001-KieningerD #recognition: Applying the T-Recs Table Recognition System to the Business Letter Domain (TK, AD), pp. 518–522.
VLDB-2001-Huyn: Scientific OLAP for the Biotech Domain (NH), pp. 645–648.
CSMR-2001-PoelsD #domain model #inheritance #modelling #object-oriented: Evaluating the Effect of Inheritance on the Modifiability of Object-Oriented Business Domain Models (GP, GD), pp. 20–29.
WCRE-2001-Mine #abstract domain: The Octagon Abstract Domain (AM), p. 310–?.
SVIS-2001-Tal #algorithm #animation: Algorithm Animation Systems for Constrained Domains (AT), pp. 101–112.
ICEIS-v1-2001-HengP #resource management: Domain Knowledge as Corporate Resource of Financial Firms (MSHH, SCAP), pp. 69–74.
ICEIS-v2-2001-FilhoOL #framework: Domain Oriented Framework Construction (IMF, TCdO, CJPdL), pp. 599–607.
ICEIS-v2-2001-MorilloFD #analysis #named: RSHP: A Scheme to Classify Information in a Domain Analysis Environment (JLM, JMF, ID), pp. 686–690.
CIKM-2001-FeldmanALASR #independence #information management: A Domain Independent Environment for Creating Information Extraction Modules (RF, YA, YL, KA, YS, BR), pp. 586–588.
ICML-2001-ZhangL #naive bayes: Learnability of Augmented Naive Bayes in Nonimal Domains (HZ, CXL), pp. 617–623.
LSO-2001-Henninger #learning: Organizational Learning in Dynamic Domains (SH), pp. 8–16.
SEKE-2001-AlonsoCGM #data mining #mining: Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain (FA, JPCV, ÁLG, CM), pp. 412–419.
SEKE-2001-BarberGH #architecture #correctness #model checking #simulation #using: Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking (KSB, TJG, JH), pp. 19–28.
SEKE-2001-CasanovaWD #information management: Explicit Domain Knowledge Model in Geographic Information Systems (MC, TW, MD), pp. 331–340.
SEKE-2001-TalensBD #multi #reuse: Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context (GT, DB, ID), pp. 95–101.
SIGIR-2001-Zechner #automation #generative #strict #summary: Automatic Generation of Concise Summaries of Spoken Dialogues in Unrestricted Domains (KZ), pp. 199–207.
ECOOP-2001-PolletCC #java #source code #static analysis: Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.
TOOLS-USA-2001-Arsanjani #approach #architecture #component #design #enterprise: A Domain-Language Approach to Designing Dynamic Enterprise Component-Based Architectures to Support Business Services (AA), pp. 130–142.
PPDP-2001-GiavittoM #approximate #data type #declarative: Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.
PPDP-2001-SchulteS #bound #question: When Do Bounds and Domain Propagation Lead to the Same Search Space? (CS, PJS), pp. 115–126.
RE-2001-JarzabekZ #domain model #modelling #requirements #xml: XML-Based Method and Tool for Handling Variant Requirements in Domain Models (SJ, HZ), pp. 166–173.
RE-2001-RidaoDL #independence: Domain Independent Regularities in Scenarios (MR, JHD, JCSdPL), pp. 120–127.
ESEC-FSE-2001-LippertR #adaptation #agile: Adapting XP to complex application domains (ML, SR), pp. 316–317.
ICSE-2001-Shepard #performance #set #source code: An Efficient Set of Software Degree Programs for One Domain (TS), pp. 623–632.
IJCAR-2001-CerritoM #logic #quantifier: Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation (SC, MCM), pp. 137–151.
IJCAR-2001-HaarslevMW #approach #logic #motivation: The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach (VH, RM, MW), pp. 29–44.
IJCAR-2001-Lutz #logic: NEXPTIME-Complete Description Logics with Concrete Domains (CL), pp. 45–60.
IJCAR-2001-LutzSWZ #constant #logic: Tableaux for Temporal Description Logic with Constant Domains (CL, HS, FW, MZ), pp. 121–136.
CBSE-2000-HallsteinsenDJO #architecture #component: A Component Oriented Domain Architecture for Fish Farming (SH, ØD, MJ, JOO), p. 5.
ASE-2000-MorisioTS #analysis #uml: Extending UML to Support Domain Analysis (MM, GT, MES), pp. 321–324.
DAC-2000-TsaiK #performance #reduction #simulation: Fast temperature calculation for transient electrothermal simulation by mixed frequency/time domain thermal model reduction (CHT, SMK), pp. 750–755.
HT-2000-LiKVT #logic #web: Defining logical domains in a web site (WSL, OK, QV, HT), pp. 123–132.
HT-2000-MillardMDR #hypermedia #named: FOHM: a fundamental open hypertext model for investigating interoperability between hypertext domains (DEM, LM, HCD, SR), pp. 93–102.
VLDB-2000-SrinivasanDFCJYKTDB: Oracle8i Index-Organized Table and Its Application to New Domains (JS, SD, CF, EIC, MJ, AY, RK, ATT, SD, JB), pp. 285–296.
VLDB-2000-Tsur #data mining #mining: Data Mining in the Bioinformatics Domain (ST), pp. 711–714.
ESOP-2000-HeatonHK #abstract domain: Abstract Domains for Universal and Existential Properties (AH, PMH, AK), pp. 150–164.
FASE-2000-AnlauffKPS #component #composition #domain-specific language #using: Using Domain-Specific Languages for the Realization of Component Composition (MA, PWK, AP, AS), pp. 112–126.
WRLA-2000-Ringeissen #finite #rule-based: Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.
SAS-2000-Scozzari #abstract domain #analysis #semantics: Abstract Domains for Sharing Analysis by Optimal Semantics (FS), pp. 397–412.
ICALP-2000-Martin #metric #process: The Measurement Process in Domain Theory (KM), pp. 116–126.
CIKM-2000-Zaki #category theory #constraints #mining #sequence: Sequence Mining in Categorical Domains: Incorporating Constraints (MJZ), pp. 422–429.
ICML-2000-BrutlagM #challenge #classification #email: Challenges of the Email Domain for Text Classification (JDB, CM), pp. 103–110.
ICML-2000-SlatteryM #relational #testing: Discovering Test Set Regularities in Relational Domains (SS, TMM), pp. 895–902.
ICPR-v1-2000-YoonDD #detection #video: Event Detection from MPEG Video in the Compressed Domain (KY, DD, DSD), pp. 1819–1822.
ICPR-v3-2000-PorterMT #correlation #detection #using #video: Video Cut Detection using Frequency Domain Correlation (SVP, MM, BTT), pp. 3413–3416.
ICPR-v3-2000-SteinbachG #3d #cost analysis #estimation: An Image-Domain Cost Function for 3-D Rigid Body Motion Estimation (EGS, BG), pp. 3823–3826.
KR-2000-SchulzH #experience #information management #reuse #scalability: Knowledge Engineering by Large-Scale Knowledge Reuse — Experience from the Medical Domain (SS, UH), pp. 601–610.
SIGIR-2000-FukumotoS #dependence: Event tracking based on domain dependency (FF, YS), pp. 57–64.
ECOOP-2000-Duggan #approach #domain-specific language #mixin #programming language #reuse #semantics: A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages (DD), pp. 179–200.
TOOLS-EUROPE-2000-Dujmovic #automation #configuration management #framework #industrial: An Understandable and Configurable Domain-Specific Framework for Industrial Automation Applications (SD), pp. 348–358.
PPDP-2000-GiacobazziM #semantics #symmetry: A characterization of symmetric semantics by domain complementation (RG, IM), pp. 115–126.
SAIG-2000-Kieburtz #domain-specific language #implementation: Implementing Closed Domain-Specific Languages (RBK), pp. 1–2.
SAC-2000-Wyk #domain-specific language: Domain Specific Meta Languages (EVW), pp. 799–803.
SPLC-2000-ArdisDDLNOP #domain model: Domain engineered configuration control (MAA, PD, LD, WJL, LHN, RGO, PMP), pp. 479–494.
SPLC-2000-LeeKKCKC: Domain-oriented engineering of elevator control software (KL, KCK, EK, WC, BK, BWC), pp. 3–22.
CL-2000-HuiG #approach #constraints #finite: Developing Finite Domain Constraints — A Data Model Approach (KyH, PMDG), pp. 448–462.
ISSTA-2000-WoodwardA #fault #testing: Testability, fault size and the domain-to-range ratio: An eternal triangle (MRW, ZAAK), pp. 168–172.
WICSA-1999-Pronk #architecture #product line: Domain-Specific Architectures and Product Families (BJP), pp. 357–367.
WICSA-1999-RiegelKS #architecture #modelling #using: Modeling Software Architecture Using Domain-Specific Patterns (JPR, CK, MS), pp. 273–292.
ASE-1999-ReyesR #generative #named: Siddhartha: A Method for Developing Domain-Specific Test Driver Generators (AAR, DJR), p. 81–?.
DAC-1999-Bergamaschi #behaviour #graph #logic #network #synthesis: Behavioral Network Graph: Unifying the Domains of High-Level and Logic Synthesis (RAB), pp. 213–218.
DATE-1999-Kuchcinski #constraints #finite #graph #scheduling #using: Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints (KK), pp. 772–773.
ICDAR-1999-CesariniFGS #approach #comprehension #documentation #multi: A Two Level Knowledge Approach for Understanding Documents of a Multi-Class Domain (FC, EF, MG, GS), pp. 135–138.
SIGMOD-1999-LometT #logic: Logical Logging to Extend Recovery to New Domains (DBL, MRT), pp. 73–84.
CSMR-1999-KrikhaarPZ #resource management: Employing Use-cases and Domain Knowledge for Comprehending Resource Usage (RLK, MP, JZ), pp. 14–21.
WCRE-1999-FreitasL #reuse #reverse engineering #tool support: Reusing Domains for the Construction of Reverse Engineering Tools (FGdF, JCSdPL), p. 24–?.
AGTIVE-1999-Mens #evolution #graph grammar #independence: Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution (TM), pp. 127–143.
HCI-CCAD-1999-Davies #visualisation: Expertise in a complex domain: supporting creativity through knowledge visualisation and re-description (SPD), pp. 112–116.
HCI-CCAD-1999-PatelKR #learning: Cognitive apprenticeship based learning environment in numeric domains (AP, K, DR), pp. 637–641.
HCI-CCAD-1999-RashevOS #design #education #towards: Computer aided design in medical domain: a new viewpoint towards computer aided education (RR, RO, HS), pp. 621–625.
HCI-CCAD-1999-VirvouM #algebra #authoring: An authoring tool for algebra-related domains (MV, MM), pp. 647–651.
HCI-EI-1999-Brandt-PookFWS #recognition #speech: Integrated Recognition and Interpretation of Speech for a Construction Task Domain (HBP, GAF, SW, GS), pp. 550–554.
HCI-EI-1999-Fach #design pattern: Design Patterns: Bridges Between Application Domain and Software Labs (PWF), pp. 909–912.
CAiSE-1999-LesperanceKMY #modelling: Modeling Dynamic Domains with ConGolog (YL, TGK, JM, ESKY), pp. 365–380.
EDOC-1999-NublingPZ #process: OMF-an object request broker for the process control application domain (MN, CP, CZ), pp. 126–134.
ICEIS-1999-KiniSJ #analysis #visualisation: A System for Analysis & Visualization of Domain Specific Data (SNK, S, KPJ), pp. 82–90.
ICEIS-1999-ReisM99a #modelling #multi: Task Modelling in a Multi-Agent Logistic Domain (JR, NJM), p. 769.
CIKM-1999-YoonHPM #information management #using: Using Domain Knowledge in Knowledge Discovery (SCY, LJH, EKP, SAMM), pp. 243–250.
ICML-1999-GambergerLG: Experiments with Noise Filtering in a Medical Domain (DG, NL, CG), pp. 143–151.
UML-1999-Herzberg #embedded #modelling #realtime #uml: UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain (DH), pp. 330–338.
TOOLS-ASIA-1999-HansenT #architecture #domain model #interactive #nondeterminism: The “Domain Model Concealer” and “Application Moderator” Patterns: Addressing Architectural Uncertainty in Interactive Systems (KMH, MT), pp. 177–190.
TOOLS-PACIFIC-1999-MahemoffJ #multi #mvc: Handling Multiple Domain Objects with Model-View-Controller (MM, LJ), pp. 28–39.
TOOLS-USA-1999-Arsanjani #analysis #design #distributed #framework #implementation #java #using: Analysis, Design and Implementation of Distributed Java Business Frameworks Using Domain Patterns (AA), pp. 490–500.
GCSE-1999-BayerMW #analysis: Customizable Domain Analysis (JB, DM, TW), pp. 178–194.
GCSE-1999-DHondtMW #logic programming #using: Using Reflective Logic Programming to Describe Domain Knowledge as an Aspect (MD, WDM, RW), pp. 16–23.
LOPSTR-1999-HoweK #source code #using: Specialising Fininte Domain Programs Using Polyhedra (JMH, AK), pp. 118–135.
LOPSTR-1999-SmausHK #analysis #logic programming #source code: Mode Analysis Domains for Typed Logic Programs (JGS, PMH, AK), pp. 82–101.
PPDP-1999-Ruiz-AndinoASR #constraints #execution #finite #modelling #parallel #programming: Parallel Execution Models for Constraint Programming over Finite Domains (ARA, LA, FS, JJR), pp. 134–151.
ICSE-1999-FregoneseZC #architecture #framework #modelling: Architectural Framework Modeling in Telecommunication Domain (GF, AZ, GC), pp. 526–534.
HPDC-1999-SchnaidtHFKJ #adaptation #independence #message passing #monitoring #performance: Passive, Domain-Independent, End-to-End Message Passing Performance Monitoring to Support Adaptive Applications in MSHN (MCS, DAH, JF, TK, DSJ), pp. 337–338.
CAV-1999-BozgaM #on the #representation: On the Representation of Probabilities over Structured Domains (MB, OM), pp. 261–273.
CAV-1999-PnueliRSS #similarity: Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
ICLP-1999-GavanelliLMM: Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.
ASE-1998-BlaineGLSW #named #synthesis: Planware — Domain-Specific Synthesis of High-Performance Schedulers (LB, LG, JL, DRS, SJW), p. 270–?.
ASE-1998-ClaytonRW #framework #named: Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts (RC, SR, LMW), p. 204–?.
DAC-1998-LiuPS #modelling #named #order: ftd: An Exact Frequency to Time Domain Conversion for Reduced Order RLC Interconnect Models (YL, LTP, AJS), pp. 469–472.
DAC-1998-ZhongAMM #case study #configuration management #problem #satisfiability #using: Using Reconfigurable Computing Techniques to Accelerate Problems in the CAD Domain: A Case Study with Boolean Satisfiability (PZ, PA, SM, MM), pp. 194–199.
SIGMOD-1998-Cohen #database #integration #query #semistructured data #similarity #using: Integration of Heterogeneous Databases Without Common Domains Using Queries Based on Textual Similarity (WWC), pp. 201–212.
FoSSaCS-1998-Mislove: Generalizing Domain Theory (MWM), pp. 1–19.
SAS-1998-Giacobazzi #abstract interpretation #tutorial: A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.
FM-1998-KutterST #design #domain-specific language #lifecycle: Integrating Domain Specific Language Design in the Software Life Cycle (PWK, DS, LT), pp. 196–212.
CSCW-1998-MoranMC #tool support: Tailorable Domain Objects as Meeting Tools for an Electronic Whiteboard (TPM, WvM, PC), pp. 295–304.
CAiSE-1998-SteinerKN #java #named: OMS/Java: Model Extensibility of OODBMS for Advanced Application Domains (AS, AK, MCN), pp. 115–138.
CIKM-1998-ClairLP #process: Attribute Weighting: A Method of Applying Domain Knowledge in the Decision Tree Process (CSC, CL, NP), pp. 259–266.
ICML-1998-PendrithM #analysis #learning #markov: An Analysis of Direct Reinforcement Learning in Non-Markovian Domains (MDP, MM), pp. 421–429.
UML-1998-KandeMPSW #design #uml: Applying UML to Design an Inter-domain Service Management Application (MMK, SM, OP, LS, MW), pp. 200–214.
TOOLS-ASIA-1998-JacobsenKN #abstraction #development #modelling: Models, Domains and Abstraction in Software Development (EEJ, BBK, PN), pp. 28–42.
TOOLS-ASIA-1998-LuJLFCXW #domain model #modelling #named: OSNET — A Language for Domain Modeling (RL, ZJ, LL, GF, GC, XX, SW), p. 83–?.
TOOLS-ASIA-1998-Poo #policy: Policy Definition in Application-Domain-Related Classes (DCCP), pp. 94–103.
ALP-PLILP-1998-LeviS #empirical #logic programming #refinement #source code: An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs (GL, FS), pp. 152–169.
LOPSTR-1998-BaalenR #deduction #synthesis #using: Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.
LOPSTR-1998-GabricGS #analysis #constraints #strict #theorem proving: Strictness Analysis as Finite-Domain Constraint Solving (TG, KG, HS), pp. 255–270.
ICSE-1998-ShimizuFH #approach #development: A Systematic Approach to Domain-Oriented Software Development (YS, NF, MH), pp. 499–502.
ISSTA-1998-HajnalF #algorithm #fault #generative #testing: An Applicable Test Data Generation Algorithm for Domain Errors (ÁH, IF), pp. 63–72.
JICSLP-1998-CollavizzaDR #consistency: Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.
JICSLP-1998-Zhou #algorithm #compilation #constraints: A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
LICS-1998-CattaniFW #concurrent #formal method #recursion: A Theory of Recursive Domains with Applications to Concurrency (GLC, MPF, GW), pp. 214–225.
ASE-1997-Birk #modelling #re-engineering: Modeling the Application Domains of Software Engineering Technologies (AB), pp. 291–292.
ASE-1997-LamJ #analysis #requirements #reuse: Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology (WL, SJ), pp. 303–304.
ASE-1997-PautlerWQ #simulation #specification: Exploiting Domain-Specific Knowledge to Refine Simulation Specifications (DP, SW, AQ), p. 117–?.
DAC-1997-AluruW #algorithm #simulation: Algorithms for Coupled Domain MEMS Simulation (NRA, JW), pp. 686–690.
DAC-1997-GoodbyO: Frequency-Domain Compatibility in Digital Filter BIST (LG, AO), pp. 540–545.
DAC-1997-KarypisAKS #clustering #multi: Multilevel Hypergraph Partitioning: Application in VLSI Domain (GK, RA, VK, SS), pp. 526–529.
DAC-1997-TianS #agile #fault #parametricity #simulation: Rapid Frequency-Domain Analog Fault Simulation Under Parameter Tolerances (MWT, CJRS), pp. 275–280.
ICDAR-1997-StuckelbergPH #architecture #recognition #using: An Architecture for Musical Score Recognition using High-Level Domain Knowledge (MVS, CP, MH), pp. 813–818.
WCRE-1997-DeBaud #named #re-engineering: DARE: Domain-Augmented ReEngineering (JMD), p. 164–?.
WCRE-1997-MooreR #analysis #reuse: Domain Analysis for Transformational Reuse (MMM, SR), pp. 156–163.
WPC-1997-ClaytonRTW #case study #comprehension: A Case Study of Domain-based Program Understanding (RC, SR, LT, LMW), pp. 102–110.
ICALP-1997-GiacobazziR #abstract domain: Refining and Compressing Abstract Domains (RG, FR), pp. 771–781.
HCI-CC-1997-Pejtersen #approach #communication #information retrieval #network #semantics: A Cognitive Engineering Approach to Cross Disciplinary Exploration of Work Domains and Semantic Information Retrieval in Communication Networks (AMP), pp. 69–72.
TRI-Ada-1997-RileyDP #analysis #implementation #verification: An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation (JDR, SD, WP), pp. 273–278.
EDOC-1997-ThanhA #matter: Mobility Support: A Mutil-Domain Bridging Matter (DVT, JAA), pp. 348–353.
PLILP-1997-CarlssonOC #constraints #finite #theorem proving: An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.
SAC-1997-DamianiT #analysis #clustering: Dynamic clustering for technology-based domain analysis (TDA) (ED, ADT), pp. 204–206.
SAC-1997-GoliP #data mining #mining #multi: Application of domain vector perfect hash join for multimedia data mining (VNRG, WP), pp. 334–339.
SAC-1997-Rine #reuse: Success factors for software reuse that are applicable across domains and businesses (DCR), pp. 182–186.
SAC-1997-SabharwalQ #algorithm #performance: An efficient algorithm for direct computation of adjacent block coefficients in the transformed domain (CLS, BQ), pp. 515–520.
ICLP-1997-SmausHK #analysis #logic programming #source code: Domain Construction for Mode Analysis of Typed Logic Programs (JGS, PMH, AK), p. 418.
LICS-1997-FiorePP #axiom #set: Complete Cuboidal Sets in Axiomatic Domain Theory (MPF, GDP, AJP), pp. 268–278.
TLCA-1997-Buciarelli #logic #re-engineering: Logical Reconstruction of Bi-domains (AB), pp. 99–111.
DAC-1996-LeeHCF #design #modelling #synthesis #using: Domain-Specific High-Level Modeling and Synthesis for ATM Switch Design Using VHDL (MTCL, YCH, BC, MF), pp. 585–590.
CSEE-1996-ShepardBS #automation #education #scalability #tool support: Use of Large, Domain Specific CASE tools in Undergraduate Curricula (TS, BB, MS), pp. 144–148.
ICSM-1996-GloverB #agile #approach #domain model #evolution: An Agent-Based Approach to Rapid Software Evolution Based on a Domain Model (SJG, KHB), pp. 228–237.
WCRE-1996-DeBaud #lessons learnt #re-engineering: Lessons from a Domain-Based Reengineering Effort (JMD), pp. 217–226.
WPC-1996-Bull #comprehension #domain-specific language #safety #using: Comprehension of Safety-Critical Systems Using Domain-Specific Languages (TB), pp. 108–122.
SAS-1996-Venet #alias #analysis #source code: Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs (AV), pp. 366–382.
TRI-Ada-1996-KlinglerS #architecture #implementation #named #process: DAGAR: A Process for Domain Architecture Definition and Asset Implementation (CDK, JS), pp. 231–245.
ICML-1996-BoyanM #evaluation #learning #scalability: Learning Evaluation Functions for Large Acyclic Domains (JAB, AWM), pp. 63–70.
ICML-1996-OkamotoY #analysis #classification #nearest neighbour: Theoretical Analysis of the Nearest Neighbor Classifier in Noisy Domains (SO, NY), pp. 355–363.
ICML-1996-TadepalliO #approximate #domain model #learning #modelling #scalability: Scaling Up Average Reward Reinforcement Learning by Approximating the Domain Models and the Value Function (PT, DO), pp. 471–479.
ICML-1996-ZuckerG #learning #performance #representation: Representation Changes for Efficient Learning in Structural Domains (JDZ, JGG), pp. 543–551.
ICPR-1996-ThayerG #constraints #design #using: Designing stereo heads using task domain constraints (SMT, CSG), pp. 820–824.
ICPR-1996-Zhang96a #on the #parametricity: On the discretization of parameter domain in Hough transformation (MZ), pp. 527–531.
KDD-1996-Rymon: SE-Trees Outperform Decision Trees in Noisy Domains (RR), pp. 331–334.
KR-1996-Sandewall #constraints: Assessments of Ramification Methods that Use Static Domain Constraints (ES), pp. 99–110.
SEKE-1996-AgyapongB #case study #elicitation: Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System (OAA, POB), pp. 129–135.
SEKE-1996-Robertson96a #problem: Domain Specific Problem Description (DR), pp. 206–213.
ALP-1996-Marchiori96a #abstract domain #first-order #logic #using: Prime Factorizations of Abstract Domains Using First Order Logic (EM), pp. 209–223.
PLILP-1996-Fecht #logic programming #performance #precise #source code: An Efficient and Precise Sharing Domain for Logic Programs (CF), pp. 469–470.
ICRE-1996-KostersSV #analysis #requirements #user interface: Combined Analysis of User Interface and Domain Requirements (GK, HWS, JV), pp. 199–207.
ICSE-1996-Fischer #design: Domain-Oriented Design Environments (Extended Abstract) (GF), pp. 517–520.
ICSE-1996-Kaindl #domain model #how #identification #modelling: How to Identify Binary Relations for Domain Models (HK), pp. 28–36.
CADE-1996-DenzingerS #learning #proving #theorem proving: Learning Domain Knowledge to Improve Theorem Proving (JD, SS), pp. 62–76.
CSL-1996-FioreP #axiom #modelling: An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (MPF, GDP), pp. 129–149.
JICSLP-1996-FileR #abstract domain: Complementation of Abstract Domains made Easy (GF, FR), pp. 348–362.
LICS-1996-Stark #abstract domain #domain model #π-calculus: A Fully Abstract Domain Model for the π-Calculus (IS), pp. 36–42.
KBSE-1995-LowryB #domain-specific language #named #performance #synthesis: META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.
KBSE-1995-SatoTYWH #process #re-engineering #synthesis: Domain-Oriented Software Process Re-engineering with Software Synthesis Shell SOFTEX/S (AS, MT, TY, MW, MH), pp. 97–104.
ICSM-1995-DeBaudR #domain model #modelling #re-engineering #using: A software re-engineering method using domain models (JMD, SR), pp. 204–213.
ICSM-1995-Tilley #modelling #reverse engineering: Domain-retargetable reverse engineering. III. Layered modeling (SRT), p. 52–?.
ICALP-1995-DiekertG #concurrent #termination: A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract) (VD, PG), pp. 15–26.
TRI-Ada-1995-Sanden95a #modelling #problem: Modeling Problem-Domain Asynchrony (BS), pp. 27–69.
CAiSE-1995-GibsonC #requirements #reuse: Domain Knowledge Reuse During Requirements Engineering (MDG, KC), pp. 283–296.
CIKM-1995-AnandBH #data mining #mining: The Role of Domain Knowledge in Data Mining (SSA, DAB, JGH), pp. 37–43.
ICML-1995-Blum #algorithm #empirical #scheduling: Empirical Support for Winnow and Weighted-Majority Based Algorithms: Results on a Calendar Scheduling Domain (AB), pp. 64–72.
KDD-1995-DjokoCH: Analyzing the Benefits of Domain Knowledge in Substructure Discovery (SD, DJC, LBH), pp. 75–80.
SEKE-1995-LiangT #domain model #learning #modelling: Apprenticeship Learning of Domain Models (YL, GT), pp. 54–62.
SAC-1995-PerrizoG #query: Domain vector hashing for earth system data querying (WP, VNRG), pp. 71–75.
ESEC-1995-Matsumoto: Quantitative Evaluations of Software Built in with Domain-specific Disciplines (MJM), pp. 438–456.
ICSE-1995-HenningerLR #analysis #approach #learning: An Organizational Learning Approach to Domain Analysis (SH, KL, AR), pp. 95–104.
ICLP-1995-BarthB #finite: Finite Domain and Cutting Plane Techniques in CLP(PB) (PB, AB), pp. 133–147.
ICLP-1995-CarlsonC #compilation #constraints #finite: Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ICLP-1995-ShiraiH #constraints #problem: Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.
ICLP-1995-SubrahmanianZ #modelling: Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.
LICS-1995-Edalat #probability #process: Domain Theory in Stochastic Processes (AE), pp. 244–254.
LICS-1995-PalmgrenS: Logically Presented Domains (EP, VSH), pp. 455–463.
RTA-1995-Kahrs #proving #termination #towards: Towards a Domain Theory for Termination Proofs (SK), pp. 241–255.
DAC-1994-HaqueEC #megamodelling #multi #simulation: A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections (MH, AEZ, SC), pp. 628–633.
EDAC-1994-WangFF: An Accurate Time-Domain Current Waveform Simulator for VLSI Circuits (JHW, JTF, WSF), pp. 562–566.
KBSE-1994-LowryPPU94a #approach #design #formal method: A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.
ICSM-1994-DeBaudMR #analysis #reverse engineering: Domain Analysis and Reverse Engineering (JMD, BM, SR), pp. 326–335.
ICSM-1994-MayrhauserMW #testing: Domain Based Regression Testing (AvM, RTM, JW), pp. 26–35.
ICSM-1994-Tilley #personalisation #reverse engineering #user interface: Domain-Retargetable Reverse Engineering II: Personalized User Interfaces (SRT), pp. 336–342.
SAS-1994-BoulangerB #abstract domain: A Systematic Construction of Abstract Domains (DB, MB), pp. 61–77.
ICALP-1994-Brauner #logic: A Model of Intuitionistic Affine Logic From Stable Domain Theory (TB), pp. 340–351.
CHI-1994-EisenbergF94a #design #programmable #programming: Programmable design environments: integrating end-user programming with domain-oriented assistance (ME, GF), pp. 431–437.
CIKM-1994-KwonKC #adaptation #query #using: Query Expansion Using Domain Adapted, Weighted Thesaurus in an Extended Boolean Model (OWK, MCK, KSC), pp. 140–146.
ICML-1994-Asker: Improving Accuracy of Incorrect Domain Theories (LA), pp. 19–27.
ICML-1994-Gil #incremental #learning #refinement: Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.
KDD-1994-ChiangBS #database #information management #relational #semantics: Extracting Domain Semantics for Knowledge Discovery in Relational Databases (RHLC, TMB, VCS), pp. 299–310.
SIGIR-1994-Anick #adaptation #information retrieval: Adapting a Full-text Information Retrieval System to the Computer Troubleshooting Domain (PGA), pp. 349–358.
OOPSLA-1994-BogleL #using: Reducing Cross Domain Call Overhead using Batched Futures (PB, BL), pp. 341–354.
TOOLS-EUROPE-1994-SappinoVBGMC #lifecycle #object-oriented: Experiencing Full Object-Oriented Lifecycle in a Complex Financial Domain (SS, BV, EB, VG, DM, GC), pp. 217–224.
POPL-1994-CortesiCH #abstract domain #logic programming: Combinations of Abstract Domains for Logic Programming (AC, BLC, PVH), pp. 227–239.
ICRE-1994-HollandSCC #analysis #case study #information management: The directorate information system at St Thomas’ hospital: a study in domain analysis (JH, PHS, ERC, BC), pp. 102–109.
ICRE-1994-MaidenS #abstraction #requirements #using: Requirements critiquing using domain abstractions (NAMM, AGS), pp. 184–193.
SAC-1994-Arango #analysis: A brief introduction to domain analysis (GA), pp. 42–46.
SAC-1994-GrissW #flexibility #hybrid: Hybrid domain-specific kits for a flexible software factory (MLG, KDW), pp. 47–52.
SAC-1994-Poulin #library #reuse #scalability: Balancing the need for large corporate and small domain-specific reuse libraries (JSP), pp. 88–93.
HPDC-1994-NguyenZZ #distributed #problem #using: Distributed Computation of Electromagnetic Scattering Problems Using Finite-Difference Time-Domain Decompositions (SN, BJZ, XZ), pp. 85–89.
CADE-1994-Slaney94a #finite #named: FINDER: Finite Domain Enumerator — System Description (JKS), pp. 798–801.
ICLP-1994-CarlsonCD #constraints #finite: Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
ICLP-1994-Gervet #constraints #finite #named #set: Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ICLP-1994-KirchnerR #algebra #constraints #theorem proving: Constraint Solving by Narrowing in Combined Algebraic Domains (HK, CR), pp. 617–631.
ILPS-1994-Gervet #constraints #finite #logic programming #named #set: Conjunto: Constraint Logic Programming with Finite Set Domains (CG), pp. 339–358.
LICS-1994-Edalat #integration: Domain Theory and Integration (AE), pp. 115–124.
LICS-1994-FioreP #axiom #formal method #modelling: An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.
DAC-1993-HeebPR #modelling #using: Frequency Domain Microwave Modeling Using Retarded Partial Element Equivalent Circuits (HH, SP, AER), pp. 702–706.
ICDAR-1993-CaesarGM93a #adaptation #classification #scalability #set: Utilization of large disordered sample sets for classifier adaptation in complex domains (TC, JMG, EM), pp. 790–793.
PODS-1993-Gelder #estimation #multi: Multiple Join Size Estimation by Virtual Domains (AVG), pp. 180–189.
VLDB-1993-PoulovassilisS #approach #database #functional #logic: A Domain-theoretic Approach to Integrating Functional and Logic Database Languages (AP, CS), pp. 416–428.
CSM-1993-TilleyMWW #reverse engineering: Domain-Retargetable Reverse Engineering (SRT, HAM, MJW, KW), pp. 142–151.
WCRE-1993-CutilloFV #component #identification #independence #scalability #source code: Identification and Extraction of “Domain Independent” Components in Large Programs (FC, PF, GV), pp. 83–92.
PEPM-1993-CharlierH #analysis #evaluation #implementation #prolog: Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop (BLC, PVH), pp. 99–110.
PEPM-1993-CodishMBBH #abstract interpretation: Improving Abstract Interpretations by Combining Domains (MC, AM, MB, MJGdlB, MVH), pp. 194–205.
ICALP-1993-BrachoD #automaton #concurrent: From Domains to Automata with Concurrency (FB, MD), pp. 669–681.
ICALP-1993-DolevM #algorithm #distributed #on the: On Distributed Algorithms in a Broadcast Domain (DD, DM), pp. 371–387.
HCI-SHI-1993-BroomeA #independence #information management: Knowledge Acquisition for a Domain-Independent Intelligent Training System (RWB, MFA), pp. 338–343.
HCI-SHI-1993-Lowgren #editing #using #visual notation: Using Domain Knowledge to Support Graphical Editing (JL), pp. 421–426.
INTERCHI-1993-Repenning #named #programming #visual notation: Agentsheets: a tool for building domain-oriented visual programming environments (AR), pp. 142–143.
TRI-Ada-1993-CommonsG #architecture #reuse: A Model for Analyzing Megaprogramming, Reuse and Domain Specific Software Architectures (JCC, MG), pp. 58–64.
TRI-Ada-1993-GrossmanKE #ada #approach #automation #programming: Automating the Ada Programming Rrocess: A Domain-Specific Approach (FG, RJK, CBEJ), pp. 302–311.
TRI-Ada-1993-Salant #reuse: The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems (NS), pp. 170–179.
CIKM-1993-PissinouM #database #representation #semantics: Separating Semantics from Representation in a Temporal Object Database Domain (NP, KM), pp. 295–304.
ICML-1993-Gil #independence #performance: Efficient Domain-Independent Experimentation (YG), pp. 128–134.
ICML-1993-Kaelbling #learning #probability: Hierarchical Learning in Stochastic Domains: Preliminary Results (LPK), pp. 167–173.
SEKE-1993-Pirlein #independence #knowledge base #reuse #scalability: Reusing a Large Domain-Independent Knowledge Base (TP), pp. 474–482.
ECOOP-1993-BirrerE #case study #experience #framework: Frameworks in the Financial Engineering Domain — An Experience Report (AB, TE), pp. 21–35.
TOOLS-EUROPE-1993-HillG #animation #multi #object-oriented #simulation: A Multi-Domain Tool for Object-Oriented Simulation Animation (DRCH, MG), pp. 181–195.
PLILP-1993-CorsiniMRC #abstract interpretation #bottom-up #constraints #finite #performance #prolog #theorem proving: Efficient Bottom-up Abstract Interpretation of Prolog by Means of Constraint Solving over Symbolic Finite Domains (MMC, KM, AR, BLC), pp. 75–91.
RE-1993-Easterbrook #domain model #modelling: Domain modelling with hierarchies of alternative viewpoints (SME), pp. 65–72.
RE-1993-Feather #requirements: Requirements reconnoitring at the juncture of domain and instance (MSF), pp. 73–76.
RE-1993-JacksonZ: Domain descriptions (MJ, PZ), pp. 56–64.
RE-1993-PartridgeGBK #question: Should we specify systems or domain? (DP, DG, DRB, JK), pp. 77–80.
SAC-1993-GallionSCB #algorithm #learning: Dynamic ID3: A Symbolic Learning Algorithm for Many-Valued Attribute Domains (RG, CLS, DCSC, WEB), pp. 14–20.
SAC-1993-LungU #analysis #approach #integration #reuse: Integration of Domain Analysis and Analogical Approach for Software Reuse (CHL, JEU), pp. 48–53.
ESEC-1993-JarkePJBAHWRPSSJMTVCS #process #representation #requirements: Requirements Engineering: An Integrated View of Representation, Process, and Domain (MJ, KP, SJ, JABJ, PA, PH, BW, CR, VP, JRS, AGS, SJ, NAMM, DT, YV, PC, GS), pp. 100–114.
ICSE-1993-Iscoe #bibliography #domain model #modelling #research: Domain Modeling — Overview & Ongoing Research at EDS (NI), pp. 198–200.
SOSP-1993-DruschelP #named: Fbufs: A High-Bandwidth Cross-Domain Transfer Facility (PD, LLP), pp. 189–202.
KBSE-1992-Fischer #design: Domain Oriented Design Environments (Keynote) (GF), p. 32.
KBSE-1992-FischerR #design #prototype: Prototypes of Domain-Oriented Design Environments (Demonstration) (GF, DR), p. 13.
KBSE-1992-MaidenS #abstraction #approach #requirements: Domain Abstractions in Requirements Engineering: A Exemplar Approach (NM, AS), p. 19.
KBSE-1992-MatwinB #database #query #reuse: Reusing Database Queries in Analogical Domains (SM, HOB), p. 16.
PODS-1992-Meyden #complexity #order #query: The Complexity of Querying Indefinite Data about Linearly Ordered Domains (RvdM), pp. 331–345.
WSA-1992-BagnaraGL #source code #static analysis: Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.
WSA-1992-CorsiniMR #calculus #finite #prolog #semantics #μ-calculus: The μ-Calculus over Finite Domains as an Abstract Semantics of Prolog (MMC, KM, AR), pp. 51–59.
ICALP-1992-Zhang: Disjunctive Systems and L-Domains (GQZ), pp. 284–295.
LFP-1992-ChuangG #approach #finite #fixpoint: A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.
TRI-Ada-C-1992-Gordon #ada #library #reuse #user interface #visual notation: A Graphical User Interface in Ada for Domain-Specific Reuse Libraries (DG), pp. 309–320.
CAiSE-1992-HofstedePW #modelling: Data Modelling in Complex Application Domains (AHMtH, HAP, TPvdW), pp. 364–377.
ML-1992-LiuS #natural language: Augmenting and Efficiently Utilizing Domain Theory in Explanation-Based Natural Language Acquisition (RLL, VWS), pp. 282–289.
SEKE-1992-Eichmann #multi #repository #reuse: Supporting Multiple Domains in a Single Reuse Repository (DE), pp. 164–169.
OOPSLA-1992-EggenschwilerG #using: ET++ Swaps Manager: Using Object Technology in the Financial Engineering Domain (TE, EG), pp. 166–177.
KBSE-1991-CabralD #concept: Domain-Specific Representations in the KBSA Concept Demo (GC, MD), pp. 97–106.
KBSE-1991-Iscoe #domain model #evolution #modelling #research: Domain Modeling — Evolving Research (NI), pp. 234–236.
KBSE-1991-Schoen #domain model #modelling: Active Assistance for Domain Modeling (ES), pp. 26–35.
KBSE-1991-Setliff #using: Using Domain Knowledge to Synthesize Routing Software (DES), pp. 77–82.
VLDB-1991-Kent #database #object-oriented #problem #programming language: Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language (WK), pp. 147–160.
ESOP-J-1990-Heckmann91: Power Domain Constructions (RH), pp. 77–117.
PEPM-1991-CortesiF #abstract domain #abstract interpretation #analysis #logic programming #source code: Abstract Interpretation of Logic Programs: An Abstract Domain for Groundness, Sharing, Freeness and Compoundness Analysis (AC, GF), pp. 52–61.
ICALP-1991-ChenH #logic programming: Logic Programming with Recurrence Domains (HC, JH), pp. 20–34.
VDME-1991-1-SchmidtH #compilation #generative #library: The VDM Domain Compiler: A VDM Class Library Generator (US, HMH), pp. 675–676.
KDD-1991-BergadanoGSBM #learning: Integrated Learning in a Real Domain (FB, AG, LS, FB, DDM), pp. 277–288.
KDD-1991-Frawley #induction #statistics #using: Using Functions to Encode Domain and Contextual Knowledge in Statistical Induction (WJF), pp. 261–276.
KDD-1991-Schaffer #evaluation #independence #on the: On Evaluation of Domain-Independent Scientific Function-Finding Systems (CS), pp. 93–106.
ML-1991-AllenT #concept #probability #relational: Probabilistic Concept Formation in Relational Domains (JAA, KT), pp. 375–379.
ML-1991-Cain: The DUCTOR: A Theory Revision System for Propositional Domains (TC), pp. 485–489.
ML-1991-FeldmanSK #approximate #incremental #refinement: Incremental Refinement of Approximate Domain Theories (RF, AMS, MK), pp. 500–504.
ML-1991-Gil #effectiveness #framework #independence: A Domain-Independent Framework for Effective Experimentation in Planning (YG), pp. 13–17.
ML-1991-MaclinS #automaton #finite: Refining Domain Theories Expressed as Finite-State Automata (RM, JWS), pp. 524–528.
ML-1991-OurstonM #multi: Improving Shared Rules in Multiple Category Domain Theories (DO, RJM), pp. 534–538.
ML-1991-RaoLS #equation #knowledge-based: Knowledge-Based Equation Discovery in Engineering Domains (RBR, SCYL, RES), pp. 630–634.
ML-1991-WhitehallL #case study #how #knowledge-based #learning: A Study of How Domain Knowledge Improves Knowledge-Based Learning Systems (BLW, SCYL), pp. 559–563.
ML-1991-Wogulis #relational: Revising Relational Domain Theories (JW), pp. 462–466.
OOPSLA-1991-HelmM #information retrieval #library #object-oriented: Integrating Information Retrieval and Domain Specific Approaches for Browsing and Retrieval in Object-Oriented Class Libraries (RH, YSM), pp. 47–61.
PLILP-1991-HentenryckD #constraints #finite #logic programming #semantics: Operational Semantics of Constraint Logic Programming over Finite Domains (PVH, YD), pp. 395–406.
ICSE-1991-IscoeWA #domain model #modelling #re-engineering: Domain Modeling for Software Engineering (NI, GBW, GA), pp. 340–343.
ISLP-1991-Caseau #abstract interpretation #constraints #order: Abstract Interpretation of Constraints on Order-Sorted Domains (YC), pp. 435–452.
LICS-1991-CortesiFW #abstract domain #analysis: Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.
LICS-1991-Taylor #fixpoint: The Fixed Point Property in Synthetic Domain Theory (PT0), pp. 152–160.
ESOP-1990-Heckmann #set: Set Domains (RH), pp. 177–196.
ESOP-1990-SchreyePRB #constraints #implementation #logic programming #prolog: Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism (DDS, DP, JR, MB), pp. 106–117.
ICALP-1990-Droste #automaton #concurrent: Concurrency, Automata and Domains (MD), pp. 195–208.
ICALP-1990-JagadeesanP #calculus #formal method #higher-order #process: A Domain-Theoretic Model for a Higher-Order Process Calculus (RJ, PP), pp. 181–194.
VDME-1990-SchmidtH #programming: Programming with VDM Domains (US, HMH), pp. 122–134.
VDME-1990-TarleckiW: A Naive Domain Universe for VDM (AT, MW), pp. 552–579.
CSCW-1990-Engelbart: Knowledge-Domain Interoperability and an Open Hyperdocument System (DCE), pp. 143–156.
ML-1990-BergadanoGSMB #learning: Integrated Learning in a real Domain (FB, AG, LS, DDM, FB), pp. 322–329.
ML-1990-Epstein #learning: Learning Plans for Competitive Domains (SLE), pp. 190–197.
ML-1990-Flann #abstraction: Applying Abstraction and Simplification to Learn in Intractable Domains (NSF), pp. 277–285.
ML-1990-LairdHYT #using: Correcting and Extending Domain Knowledge using Outside Guidance (JEL, MH, ESY, CMT), pp. 235–243.
ALP-1990-ZhouM: Domain Theory for Nonmonotonic Functions (YZ, RM), pp. 144–157.
POPL-1990-SekarPR #analysis #performance #strict: Small Domains Spell Fast Strictness Analysis (RCS, SP, IVR), pp. 169–183.
LICS-1990-DrosteG #formal method #programming language #semantics: Universal Domains in the Theory of Denotational Semantics of Programming Languages (MD, RG), pp. 19–34.
LICS-1990-Jung #classification: The Classification of Continuous Domains (Extended Abstract) (AJ), pp. 35–40.
LICS-1990-Phoa #effectiveness: Effective Domains and Intrinsic Structure (WP), pp. 366–377.
HT-1989-Young #challenge #hypermedia: Hypertext Challenges in the Auditing Domain (LDY), pp. 169–180.
ICALP-1989-Zhang #information management: DI-Domains as Information Systems (Extended Abstract) (GQZ), pp. 773–788.
ML-1989-Ali: Augmenting Domain Theory for Explanation-Based Generalization (KMA), pp. 40–42.
ML-1989-FriedrichN #algorithm #induction #learning #using: Using Domain Knowledge to Improve Inductive Learning Algorithms for Diagnosis (GF, WN), pp. 75–77.
ML-1989-GamsK #empirical #learning: New Empirical Learning Mechanisms Perform Significantly Better in Real Life Domains (MG, AK), pp. 99–103.
ML-1989-GrosofR #bias #declarative: Declarative Bias for Structural Domains (BNG, SJR), pp. 480–482.
ML-1989-Pazzani #learning: Explanation-Based Learning with Week Domain Theories (MJP), pp. 72–74.
ML-1989-Rose #using: Using Domain Knowledge to Aid Scientific Theory Revision (DR), pp. 272–277.
ML-1989-RudyK #learning: Learning to Plan in Complex Domains (DR, DFK), pp. 180–182.
ML-1989-TecuciK #learning #multi: Multi-Strategy Learning in Nonhomongeneous Domain Theories (GT, YK), pp. 14–16.
ML-1989-WilkinsT #consistency #knowledge base #refinement: Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.
ASPLOS-1989-Karger #performance #using: Using Registers to Optimize Cross-Domain Call Performance (PAK), pp. 194–204.
CSL-1989-DrosteG #effectiveness #information management: Effectively Given Information Systems and Domains (MD, RG), pp. 116–142.
LICS-1989-Scott #logic: Domains and Logics (Extended Abstract) (DSS), pp. 4–5.
SIGMOD-1988-Naeymi-RadCTGWE #database #design #knowledge base #multi #relational #standard: A Relational Database Design in Support of Standard Medical Terminology in Multi-domain Knowledge Bases (FNR, LAC, DAT, CG, MHW, MWE), p. 203.
VDME-1988-Haxthausen #algebra #equation #recursion: Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.
ML-1988-Mel #modelling #using: Building and Using Mental Models in a Sensory-Motor Domain (BWM), pp. 207–213.
ML-1988-Spackman #category theory #learning: Learning Categorical Decision Criteria in Biomedical Domains (KAS), pp. 36–46.
ML-1988-TanE #classification #network #using: Using Weighted Networks to Represent Classification Knowledge in Noisy Domains (MT, LJE), pp. 121–134.
LICS-1988-GunterJ #consistency: Coherence and Consistency in Domains (Extended Outline) (CAG, AJ), pp. 309–317.
ICLP-1987-MorishitaNH87 #logic programming: Symbolical Construction of Truth Value Domain for Logic Program (SM, MN, SH), pp. 533–555.
LICS-1987-Abramsky #logic: Domain Theory in Logical Form (SA), pp. 47–53.
SIGIR-1986-Croft #documentation #retrieval: User-Specified Domain Knowledge for Document Retrieval (WBC), pp. 201–206.
LICS-1986-AmadioBL #equation #higher-order #λ-calculus: The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations (RMA, KBB, GL), pp. 122–130.
LICS-1986-Gunter #axiom: The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains (CAG), pp. 142–148.
STOC-1985-BruceL #equation #modelling #morphism: Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) (KBB, GL), pp. 263–272.
ICALP-1985-Gunter: A Universal Domain Technique for Profinite Posets (CAG), pp. 232–243.
ICALP-1985-KarlssonMR #bound #nearest neighbour #problem: The Nearest Neighbor Problem on Bounded Domains (RGK, JIM, ELR), pp. 318–327.
ICALP-1984-Dybjer #algebra: Domain Algebras (PD), pp. 138–150.
SIGMOD-1983-MissikoffS #query #relational: Relational Queries in a Domain Based DBMS (MM, MS), pp. 219–227.
ICALP-1983-MycroftN #abstract interpretation #using: Strong Abstract Interpretation Using Power Domains (Extended Abstract) (AM, FN), pp. 536–547.
ICALP-1983-Smyth #perspective: Power Domains and Predicate Transformers: A Topological View (MBS), pp. 662–675.
SIGMOD-1982-Missikoff #database #relational: A Domain Based Internal Schema for Relational Database Machines (MM), pp. 215–224.
VLDB-1982-LouisP #calculus #relational #semantics: A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus (GL, AP), pp. 348–356.
ICALP-1982-Scott #semantics: Domains for Denotational Semantics (DSS), pp. 577–613.
DAC-1981-McDermott81a #design #process: Domain knowledge and the design process (JM), pp. 580–588.
POPL-1981-RamanathanS #development #modelling #problem: Modeling of Problem Domains for Driving Program Development Systems (JR, CJS), pp. 28–40.
SOSP-1979-Cook #operating system: In Support of Domain Structure for Operating Systems (DC), pp. 128–130.
STOC-1978-ScioreT: Computability Theory in Admissible Domains (ES, AT), pp. 95–104.
VLDB-1977-LacroixP #relational: Domain-Oriented Relational Languages (ML, AP), pp. 370–378.
SOSP-1977-CaseyS #distributed: A Domain Structure for Distributed Computer Systems (LMC, NHS), pp. 101–108.
DAC-1976-Misra #algorithm #design #problem: A principle of algorithm design on limited problem domain (JM), pp. 479–483.
SOSP-1975-Janson #multi #process: Dynamic Linking and Environment Initialization in a Multi-Domain Process (PAJ), pp. 43–50.
POPL-1973-FischerF: Mode Modules as Representations of Domains (AEF, MJF), pp. 139–143.
SOSP-1973-SpierHC #architecture #implementation #kernel: An Experimental Implementation on the Kernel/Domain Architecture (MJS, TNH, DNC), pp. 8–21.