BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
specif (328)
model (255)
languag (199)
use (146)
base (144)

Stem domain$ (all stems)

1393 papers:

CBSECBSE-2015-KitPMBK #communication #component #optimisation
Employing Domain Knowledge for Optimizing Component Communication (MK, FP, VM, TB, OK), pp. 59–64.
ECSAECSA-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.
WICSAWICSA-2015-EliassonHPL #architecture
Architecting in the Automotive Domain: Descriptive vs Prescriptive Architecture (UE, RH, PP, JL), pp. 115–118.
DACDAC-2015-ChenSZDJ #optimisation
Optimizing data placement for reducing shift operations on domain wall memories (XC, EHMS, QZ, PD, WJ), p. 6.
DACDAC-2015-ChungRPG #energy #memory management
Domain wall memory based digital signal processors for area and energy-efficiency (JC, KR, JP, SG), p. 6.
DACDAC-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.
DACDAC-2015-KlineXMJ #energy #memory management
Domain-wall memory buffer for low-energy NoCs (DKJ, HX, RGM, AKJ), p. 6.
DATEDATE-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.
DATEDATE-2015-LiuHDCPKKTR
Clock domain crossing aware sequential clock gating (JL, MSH, KTD, JYC, JP, MK, MK, NT, AR), pp. 1–6.
DATEDATE-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.
DATEDATE-2015-SamieBHH #multi #online
Online binding of applications to multiple clock domains in shared FPGA-based systems (FS, LB, CMH, JH), pp. 25–30.
DATEDATE-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.
TACASTACAS-2015-Urban #abstract domain #contest #named #termination
FuncTion: An Abstract Domain Functor for Termination — (Competition Contribution) (CU), pp. 464–466.
SANERSANER-2015-AggarwalRTHGS #debugging #detection #re-engineering
Detecting duplicate bug reports with software engineering domain knowledge (KA, TR, FT, AH, RG, ES), pp. 211–220.
SANERSANER-2015-Erfani #metamodelling #ontology #towards
Towards an ontology-based context-aware meta-model for the software domain (ME), pp. 605–606.
SANERSANER-2015-MattsenWS #abstract domain #analysis
A non-convex abstract domain for the value analysis of binaries (SM, AW, SS), pp. 271–280.
SASSAS-2015-ChenC #abstract domain
A Binary Decision Tree Abstract Domain Functor (JC, PC), pp. 36–53.
ICALPICALP-v1-2015-MitchellPSW #algorithm
An Optimal Algorithm for Minimum-Link Rectilinear Paths in Triangulated Rectilinear Domains (JSBM, VP, MS, HW), pp. 947–959.
FMFM-2015-AmatoMMS #abstract domain
Narrowing Operators on Template Abstract Domains (GA, SDNDM, MCM, FS), pp. 57–72.
SEFMSEFM-2015-ClarisoGC #bound #ocl #refinement #towards #uml #verification
Towards Domain Refinement for UML/OCL Bounded Verification (RC, CAG, JC), pp. 108–114.
GaMGaM-2015-RadwanH #detection #refactoring #smell
Detecting and Refactoring Operational Smells within the Domain Name System (MR, RH), pp. 113–128.
CHICHI-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.
HCIHIMI-IKD-2015-AlmAHU #ontology #visualisation
Annotated Domain Ontologies for the Visualization of Heterogeneous Manufacturing Data (RA, MA, SH, BU), pp. 3–14.
ICEISICEIS-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.
ICEISICEIS-v1-2015-SilvaBZ
Indirect Normative Conflict — Conflict that Depends on the Application Domain (VTdS, CB, JdOZ), pp. 452–461.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2015-CruzV #architecture #enterprise #towards
Towards a Reference Enterprise Application Architecture for the Customer Relationship Management Domain (AC, AV), pp. 185–195.
ECIRECIR-2015-RuotsaloH #semantics
Exploiting Semantic Annotations for Domain-Specific Entity Search (TR, EH), pp. 358–369.
ECIRECIR-2015-TannebaumR #database #named
PatNet: A Lexical Database for the Patent Domain (WT, AR), pp. 550–555.
ICMLICML-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.
ICMLICML-2015-GaninL #adaptation
Unsupervised Domain Adaptation by Backpropagation (YG, VSL), pp. 1180–1189.
ICMLICML-2015-LiuHW #collaboration
Non-Linear Cross-Domain Collaborative Filtering via Hyper-Structure Transfer (YFL, CYH, SHW), pp. 1190–1198.
RecSysRecSys-2015-Bourke #multi #recommendation
The Application of Recommender Systems in a Multi Site, Multi Domain Environment (SB), p. 229.
RecSysRecSys-2015-SahebiB #collaboration
It Takes Two to Tango: An Exploration of Domain Pairs for Cross-Domain Collaborative Filtering (SS, PB), pp. 131–138.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2015-Pal #multi
Discovering Experts across Multiple Domains (AP), pp. 923–926.
SIGIRSIGIR-2015-ZhangCQZL #multi #personalisation #recommendation #similarity
When Personalization Meets Conformity: Collective Similarity based Multi-Domain Recommendation (XZ, JC, SQ, ZZ, HL), pp. 1019–1022.
ECMFAECMFA-J-2012-LaraGC15 #metamodelling #modelling
Model-driven engineering with domain-specific meta-modelling languages (JdL, EG, JSC), pp. 429–459.
ECMFAECMFA-2015-BousseMCB #approach #generative #metamodelling
A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
MoDELSMoDELS-2015-EichlerMSGD #graph grammar #term rewriting
Enhanced graph rewriting systems for complex software domains (SoSyM abstract) (CE, TM, PS, LAG, KD), p. 447.
MoDELSMoDELS-2015-HolldoblerRW #model transformation
Systematically deriving domain-specific transformation languages (KH, BR, IW), pp. 136–145.
MoDELSMoDELS-2015-PescadorGGCL #development #domain-specific language #modelling
Pattern-based development of Domain-Specific Modelling Languages (AP, AG, EG, JSC, JdL), pp. 166–175.
OOPSLAOOPSLA-2015-BrandauerCW #alias #fine-grained
Disjointness domains for fine-grained aliasing (SB, DC, TW), pp. 898–916.
GPCEGPCE-2015-AdamS #domain-specific language #tool support #towards
Towards tool support for spreadsheet-based domain-specific languages (SA, UPS), pp. 95–98.
SACSAC-2015-AbdiAM #algorithm #robust #video
A robust video watermarking algorithm in H.264/AVC compressed domain (LA, FBA, AM), pp. 1291–1293.
SACSAC-2015-KassingOBH #community #social
Locating domain-specific contents and experts on social bookmarking communities (SK, JO, AB, GJH), pp. 747–752.
SACSAC-2015-MedinaCP #evaluation #web
Evaluation of web accessibility on the maps domain (JLM, MIC, DMBP), pp. 157–162.
SACSAC-2015-SantosPFGMMC #framework #named
MyHealth: a cross-domain platform for healthcare (MYS, CGP, BF, LG, GM, AJCM, JAC), pp. 40–46.
SACSAC-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-FSEESEC-FSE-2015-Olajubu #domain-specific language #modelling
A textual domain specific language for requirement modelling (OO), pp. 1060–1062.
ICSEICSE-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.
SLESLE-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.
SLESLE-2015-Lopez-Fernandez #validation #visual notation
Example-based validation of domain-specific visual languages (JJLF, EG, JdL), pp. 101–112.
SLESLE-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.
SPLCSPLC-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.
SPLCSPLC-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.
HPCAHPCA-2015-NachiappanYSSKI #energy #knowledge base
Domain knowledge based energy management in handhelds (NCN, PY, NS, AS, MTK, RI, CRD), pp. 150–160.
ICSTICST-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.
LICSLICS-2015-Edalat #calculus #difference
Extensions of Domain Maps in Differential and Integral Calculus (AE), pp. 426–437.
LICSLICS-2015-HeunenL #algebra #commutative
Domains of Commutative C-Subalgebras (CH, BL), pp. 450–461.
RTARTA-2015-Waldmann #matrix
Matrix Interpretations on Polyhedral Domains (JW), pp. 318–333.
VMCAIVMCAI-2015-Ferrara0N #automation
Automatic Inference of Heap Properties Exploiting Value Domains (PF, PM, MN), pp. 393–411.
ASEASE-2014-0004MPC #towards #traceability
Towards an intelligent domain-specific traceability solution (JG, NM, CP, JCH), pp. 755–766.
ASEASE-2014-MolotnikovVR #automation #c #verification
Automated domain-specific C verification with mbeddr (ZM, MV, DR), pp. 539–550.
DACDAC-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.
DACDAC-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.
DATEDATE-2014-KatzschkeSOBTB #constraints #design
Application of Mission Profiles to enable cross-domain constraint-driven design (CK, MPS, MO, VMzB, MT, EB), pp. 1–6.
DATEDATE-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.
SIGMODSIGMOD-2014-ChengMZK #flexibility #named
SerpentTI: flexible analytics of users, boards and domains for pinterest (AC, MM, CZ, NK), pp. 1075–1078.
ESOPESOP-2014-UrbanM #abstract domain #ranking
An Abstract Domain to Infer Ordinal-Valued Ranking Functions (CU, AM), pp. 412–431.
SANERCSMR-WCRE-2014-KlammerP #legacy #tool support #towards
Towards tool support for analyzing legacy systems in technical domains (CK, JP), pp. 371–374.
SANERCSMR-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.
ICPCICPC-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.
SASSAS-2014-ChenLMKW #abstract domain #constraints
An Abstract Domain to Infer Octagonal Constraints with Absolute Value (LC, JL, AM, DK, JW), pp. 101–117.
SASSAS-2014-ToubhansCR #abstract domain #abstraction #combinator #memory management
An Abstract Domain Combinator for Separately Conjoining Memory Abstractions (AT, BYEC, XR), pp. 285–301.
SASSAS-2014-UrbanM #abstract domain #proving #termination
A Decision Tree Abstract Domain for Proving Conditional Termination (CU, AM), pp. 302–318.
ICALPICALP-v2-2014-Heunen #algebra
Piecewise Boolean Algebras and Their Domains (CH), pp. 208–219.
ICFPICFP-2014-GibbonsW #domain-specific language #functional
Folding domain-specific languages: deep and shallow embeddings (functional Pearl) (JG, NW), pp. 339–347.
IFLIFL-2014-AronssonAS #domain-specific language #embedded
Stream Processing for Embedded Domain Specific Languages (MA, EA, MS), p. 8.
CHICHI-2014-SondereggerUPS #testing #usability
The influence of aesthetics in usability testing: the case of dual-domain products (AS, AU, MP, JSS), pp. 21–30.
HCIDUXU-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.
HCIDUXU-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.
HCIHCI-TMT-2014-LuzSN #generative #human-computer #ontology #workflow
Generating Human-Computer Micro-task Workflows from Domain Ontologies (NL, NS, PN), pp. 98–109.
VISSOFTVISSOFT-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.
CAiSECAiSE-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.
EDOCEDOC-2014-SchutzS #modelling
Customization of Domain-Specific Reference Models for Data Warehouses (CGS, MS), pp. 61–70.
ICEISICEIS-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.
ICEISICEIS-v1-2014-HuangZZ #clustering #generative #multi
Multi-domain Schema Clustering and Hierarchical Mediated Schema Generation (QH, CZ, JZ), pp. 111–118.
ICEISICEIS-v1-2014-KozievitchHNT #data fusion #image #retrieval
Exploring Data Fusion under the Image Retrieval Domain (NPK, CSH, JN, RdST), pp. 171–178.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v2-2014-SouzaVS #ontology
Domain Ontology for Time Series Provenance (LdS, MSMGV, MSS), pp. 217–224.
ICEISICEIS-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.
CIKMCIKM-2014-LinLYC #classification #modelling #sentiment
Exploring Ensemble of Models in Taxonomy-based Cross-Domain Sentiment Classification (CKL, YYL, CHY, HHC), pp. 1279–1288.
CIKMCIKM-2014-MukherjeeAJ #corpus #framework #ontology
Domain Cartridge: Unsupervised Framework for Shallow Domain Ontology Construction from Corpus (SM, JA, SJ), pp. 929–938.
CIKMCIKM-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.
CIKMCIKM-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.
ECIRECIR-2014-LiEV #microblog
Geo-spatial Domain Expertise in Microblogs (WL, CE, APdV), pp. 487–492.
ECIRECIR-2014-LoniSLH #collaboration
Cross-Domain Collaborative Filtering with Factorization Machines (BL, YS, ML, AH), pp. 656–661.
ECIRECIR-2014-YatesGF
Relevance-Ranked Domain-Specific Synonym Discovery (AY, NG, OF), pp. 124–135.
ICMLICML-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.
ICMLICML-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.
ICPRICPR-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.
ICPRICPR-2014-FangZ #classification #learning
Cross Domain Shared Subspace Learning for Unsupervised Transfer Classification (ZF, ZZ), pp. 3927–3932.
ICPRICPR-2014-HongZP #analysis #estimation #image
Pose Estimation via Complex-Frequency Domain Analysis of Image Gradient Orientations (XH, GZ, MP), pp. 1740–1745.
ICPRICPR-2014-HouYW #adaptation #learning #recognition #self
Domain Adaptive Self-Taught Learning for Heterogeneous Face Recognition (CAH, MCY, YCFW), pp. 3068–3073.
ICPRICPR-2014-HtikeH #adaptation #detection #performance #video
Efficient Non-iterative Domain Adaptation of Pedestrian Detectors to Video Scenes (KKH, DCH), pp. 654–659.
ICPRICPR-2014-JiangMVP #recognition
Decision Level Fusion of Domain Specific Regions for Facial Action Recognition (BJ, BM, MFV, MP), pp. 1776–1781.
ICPRICPR-2014-RebetezTC #adaptation #correlation #image
Network-Based Correlated Correspondence for Unsupervised Domain Adaptation of Hyperspectral Satellite Images (JR, DT, NC), pp. 3921–3926.
ICPRICPR-2014-SariE #analysis #detection #fault #independence #using
Texture Defect Detection Using Independent Vector Analysis in Wavelet Domain (LS, AE), pp. 1639–1644.
ICPRICPR-2014-VilaltaGM #adaptation #classification
Domain Adaptation under Data Misalignment: An Application to Cepheid Variable Star Classification (RV, KDG, LM), pp. 3660–3665.
ICPRICPR-2014-XuRVL #adaptation #multi
Cost-Sensitive Structured SVM for Multi-category Domain Adaptation (JX, SR, DV, AML), pp. 3886–3891.
KDDKDD-2014-LiL #quality #recommendation
Matching users and items across domains to improve the recommendation quality (CYL, SDL), pp. 801–810.
KDDKDD-2014-SarawagiC #modelling #query #web
Open-domain quantity queries on web tables: annotation, response, and consensus models (SS, SC), pp. 711–720.
KDDKDD-2014-ZhouC #adaptation #documentation #learning #rank
Unifying learning to rank and domain adaptation: enabling cross-task document scoring (MZ, KCCC), pp. 781–790.
KDIRKDIR-2014-DomeniconiMPS #category theory #classification
Cross-domain Text Classification through Iterative Refining of Target Categories Representations (GD, GM, RP, CS), pp. 31–42.
KEODKEOD-2014-SongJ #empirical
A Task-Aware Empirical Know-How Map Built on Domain Q&A (BS, ZJ), pp. 410–416.
KRKR-2014-BelleL #how
How to Progress Beliefs in Continuous Domains (VB, HJL).
MLDMMLDM-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.
RecSysRecSys-2014-CantadorC #recommendation #tutorial
Tutorial on cross-domain recommender systems (IC, PC), pp. 401–402.
RecSysRecSys-2014-CremonesiQ #question #recommendation
Cross-domain recommendations without overlapping data: myth or reality? (PC, MQ), pp. 297–300.
RecSysRecSys-2014-Stettinger #independence #named #towards
Choicla: towards domain-independent decision support for groups of users (MS), pp. 425–428.
RecSysRecSys-2014-TrevisiolASJ #graph #recommendation
Cold-start news recommendation with domain-dependent browse graph (MT, LMA, RS, AJ), pp. 81–88.
SEKESEKE-2014-DaubalDDA #concept
Tracing Domain Data Concepts in Layered Applications (MD, ND, DBD, HUA), pp. 292–297.
SEKESEKE-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.
SIGIRSIGIR-2014-GoeuriotKL #analysis #information retrieval #query
An analysis of query difficulty for information retrieval in the medical domain (LG, LK, JL), pp. 1007–1010.
SIGIRSIGIR-2014-LagunA
Effects of task and domain on searcher attention (DL, EA), pp. 1087–1090.
SIGIRSIGIR-2014-NieLASC #named
WenZher: comprehensive vertical search for healthcare domain (LN, TL, MA, JS, TSC), pp. 1245–1246.
SIGIRSIGIR-2014-ZhangZSLWY #online
Cross-domain and cross-category emotion tagging for comments of online news (YZ, NZ, LS, YL, QW, XY), pp. 627–636.
SKYSKY-2014-ExmanI #generative #named #ontology
Apogee: Application Ontology Generation from Domain Ontologies (IE, DI), pp. 31–42.
SKYSKY-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.
ECMFAECMFA-2014-CuadradoGL #model transformation #towards
Towards the Systematic Construction of Domain-Specific Transformation Languages (JSC, EG, JdL), pp. 196–212.
ECMFAECMFA-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.
ECMFAECMFA-2014-LogreMCR #approach #variability #visualisation
Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability (IL, SM, PC, MR), pp. 101–116.
MODELSMoDELS-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.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MODELSMoDELS-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.
MODELSMoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy
Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
MODELSMoDELS-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.
MODELSMoDELS-2014-KrikavaCF #domain-specific language #named #scala
SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations (FK, PC, RBF), pp. 569–585.
MODELSMoDELS-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.
MODELSMoDELS-2014-SongZFCS0 #adaptation #constraints #modelling #policy
Modelling Adaptation Policies as Domain-Specific Constraints (HS, XZ, NF, FC, AS, GH), pp. 269–285.
OnwardOnward-2014-AcherCC #domain-specific language
Metamorphic Domain-Specific Languages: A Journey into the Shapes of a Language (MA, BC, PC), pp. 243–253.
GPCEGPCE-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.
GPCEGPCE-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.
RERE-2014-FilipovikjNR #approach #formal method #requirements
Reassessing the pattern-based approach for formalizing requirements in the automotive domain (PF, MN, GRN), pp. 444–450.
RERE-2014-MaalejG #lessons learnt
Capturing and sharing domain knowledge with business rules lessons learned from a global software vendor (WM, SG), pp. 364–373.
SACSAC-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.
SACSAC-2014-KrikavaCF #adaptation #architecture #modelling #named #self
ACTRESS: domain-specific modeling of self-adaptive software architectures (FK, PC, RBF), pp. 391–398.
SACSAC-2014-KrikavaCF14a #domain-specific language #modelling #using
Manipulating models using internal domain-specific languages (FK, PC, RBF), pp. 1612–1614.
SACSAC-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.
SACSAC-2014-Rohrig #domain-specific language #process #scheduling
A domain specific language for process scheduling (DR), pp. 1550–1551.
FSEFSE-2014-YeBL #debugging #learning #rank #using
Learning to rank relevant files for bug reports using domain knowledge (XY, RCB, CL), pp. 689–699.
LDTALDTA-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.
SLESLE-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.
SLESLE-2014-ChisGN #debugging #framework
The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers (AC, TG, ON), pp. 102–121.
SLESLE-2014-MeyersDLSVW #framework #generative #named
ProMoBox: A Framework for Generating Domain-Specific Property Languages (BM, RD, LL, ES, HV, MW), pp. 1–20.
SPLCSPLC-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.
SPLCSPLC-2014-Reinhartz-Berger #automation #domain model #modelling
Can domain modeling be automated?: levels of automation in domain modeling (IRB), p. 359.
ASPLOSASPLOS-2014-LinWZ #mobile #named #operating system
K2: a mobile operating system for heterogeneous coherence domains (FXL, ZW, LZ), pp. 285–300.
CGOCGO-2014-HongSWO #domain-specific language #graph #scalability
Simplifying Scalable Graph Processing with a Domain-Specific Language (SH, SS, JW, KO), p. 208.
PPoPPPPoPP-2014-Olukotun #domain-specific language #parallel #programming
Beyond parallel programming with domain specific languages (KO), pp. 179–180.
ICLPICLP-J-2014-Jackson #domain-specific language
A Module System for Domain-Specific Languages (EKJ), pp. 771–785.
LICSLICS-CSL-2014-BilokonE #approach #probability #process
A domain-theoretic approach to Brownian motion and general continuous stochastic processes (PB, AE), p. 10.
VMCAIVMCAI-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.
ASEASE-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.
DACDAC-2013-YeWHL #parallel #segmentation #simulation
Time-domain segmentation based massively parallel simulation for ADCs (ZY, BW, SH, YL), p. 6.
DATEDATE-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.
DocEngDocEng-2013-Rinaldi #challenge #editing #motivation
Assisted editing in the biomedical domain: motivation and challenges (FR), pp. 197–200.
ICDARICDAR-2013-ItaniHI #using
Text Line Extraction Method Using Domain-Based Active Contour Model (YI, TH, JI), pp. 1230–1234.
ICDARICDAR-2013-RebeloC #detection
Staff Line Detection and Removal in the Grayscale Domain (AR, JSC), pp. 57–61.
ICDARICDAR-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.
VLDBVLDB-2013-Madaan #documentation #multi #query #repository
Domain Specific Multi-stage Query Language for Medical Document Repositories (AM), pp. 1410–1415.
TACASTACAS-2013-Minamide #automaton
Weighted Pushdown Systems with Indexed Weight Domains (YM), pp. 230–244.
CSMRCSMR-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.
ICSMEICSM-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.
ICSMEICSM-2013-KlintLV #domain model
Exploring the Limits of Domain Model Recovery (PK, DL, JJV), pp. 120–129.
WCREWCRE-2013-KomondoorBDK #domain model #modelling #using
Using relationships for matching textual domain models with existing code (RK, IB, DD, SK), pp. 371–380.
PEPMPEPM-2013-OliveiraL #domain-specific language #graph #syntax
Abstract syntax graphs for domain specific languages (BCdSO, AL), pp. 87–96.
PLDIPLDI-2013-ElmasBNS #concurrent #debugging #domain-specific language #named
CONCURRIT: a domain specific language for reproducing concurrency bugs (TE, JB, GCN, KS), pp. 153–164.
SASSAS-2013-0001MP #abstract domain #automaton #quantifier
Quantified Data Automata on Skinny Trees: An Abstract Domain for Lists (PG, PM, GP), pp. 172–193.
SASSAS-2013-FouilheMP #abstract domain #correctness #generative #performance
Efficient Generation of Correctness Certificates for the Abstract Domain of Polyhedra (AF, DM, MP), pp. 345–365.
SASSAS-2013-GangeNSSS #abstract domain #abstract interpretation
Abstract Interpretation over Non-lattice Abstract Domains (GG, JAN, PS, HS, PJS), pp. 6–24.
SASSAS-2013-Urban #abstract domain #ranking
The Abstract Domain of Segmented Ranking Functions (CU), pp. 43–62.
CEFPCEFP-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.
CEFPCEFP-2013-Gibbons #domain-specific language #functional #programming
Functional Programming for Domain-Specific Languages (JG), pp. 1–28.
HCIDUXU-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.
HCIHCI-AMTE-2013-WincklerBB
Characterizing Incidents Reporting Systems across Applications Domains (MW, CB, RB), pp. 521–530.
HCIHIMI-LCCB-2013-HayashiMIN #design
Bodily Expression Media by Dual Domain Design of Shadow (NH, YM, SI, HN), pp. 195–202.
HILTHILT-2013-Jackson #domain-specific language
Engineering domain-specific languages with formula 2.0 (EKJ), pp. 3–4.
CAiSECAiSE-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.
EDOCEDOC-2013-AtkinsonGF #enterprise #modelling
Modeling Language Extension in the Enterprise Systems Domain (CA, RG, MF), pp. 49–58.
ICEISICEIS-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.
CIKMCIKM-2013-BaoCD #classification #topic
A partially supervised cross-collection topic model for cross-domain text classification (YB, NC, AD), pp. 239–248.
CIKMCIKM-2013-BrossE #automation #bibliography #mining #sentiment
Automatic construction of domain and aspect specific sentiment lexicons for customer review mining (JB, HE), pp. 1077–1086.
CIKMCIKM-2013-FangZ #feature model #learning #multi
Discriminative feature selection for multi-view cross-domain learning (ZF, Z(Z), pp. 1321–1330.
CIKMCIKM-2013-IdaNM #independence #online #topic
Domain-dependent/independent topic switching model for online reviews with numerical ratings (YI, TN, TM), pp. 229–238.
ECIRECIR-2013-BolshakovaLN #modelling #topic
Topic Models Can Improve Domain Term Extraction (EIB, NVL, MN), pp. 684–687.
ECIRECIR-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.
ICMLICML-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.
ICMLICML-c1-2013-GrinbergP #optimisation
Average Reward Optimization Objective In Partially Observable Domains (YG, DP), pp. 320–328.
ICMLICML-c1-2013-MuandetBS #invariant #representation
Domain Generalization via Invariant Feature Representation (KM, DB, BS), pp. 10–18.
ICMLICML-c1-2013-XiaoG #adaptation #probability #sequence
Domain Adaptation for Sequence Labeling Tasks with a Probabilistic Language Adaptation Model (MX, YG), pp. 293–301.
ICMLICML-c3-2013-ChuangGMH #topic
Topic Model Diagnostics: Assessing Domain Relevance via Topical Alignment (JC, SG, CDM, JH), pp. 612–620.
ICMLICML-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.
ICMLICML-c3-2013-ZhangSMW #adaptation
Domain Adaptation under Target and Conditional Shift (KZ, BS, KM, ZW), pp. 819–827.
KDDKDD-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.
KDDKDD-2013-ChenHL #multi #recommendation
Making recommendations from multiple domains (WC, WH, MLL), pp. 892–900.
KDIRKDIR-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.
KDIRKDIR-KMIS-2013-RauchS #case study #mining #using
Using Domain Knowledge in Association Rules Mining — Case Study (JR, MS), pp. 104–111.
KEODKEOD-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.
KEODKEOD-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.
MLDMMLDM-2013-CastroSAE #automation #classification #database #using #web
Automatic Classification of Web Databases Using Domain-Dictionaries (HMMC, VJSS, ILA, HJEB), pp. 340–351.
MLDMMLDM-2013-Suthaharan #big data #classification #network
A Single-Domain, Representation-Learning Model for Big Data Classification of Network Intrusion (SS), pp. 296–310.
SEKESEKE-2013-AlviD #classification #fuzzy #image #using
Image Steganography Using Fuzzy Domain Transformation and Pixel Classification (AKA, RD), pp. 277–282.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2013-MoshirpourEF #approach #automation #ontology #using
Automated Construction of System Domain Knowledge Using an Ontology-Based Approach (S) (MM, AE, BHF), pp. 63–66.
SEKESEKE-2013-WuZG #named #requirements
DOPROPC: a domain property pattern system helping to specify control system requirements (S) (FW, HZ, MG), pp. 695–698.
SKYSKY-2013-GallantG
Overcoming Software System Misuse by Domain Knowledge (RG, LG), pp. 62–69.
MODELSMoDELS-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.
MODELSMoDELS-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.
ECOOPECOOP-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.
GPCEGPCE-2013-DhunganaFH #domain model #generative #modelling
Generation of conjoint domain models for system-of-systems (DD, AAF, AH), pp. 159–168.
POPLPOPL-2013-LoschP #abstraction
Full abstraction for nominal Scott domains (SL, AMP), pp. 3–14.
RERE-2013-0004CB #traceability
Foundations for an expert system in domain-specific traceability (JG, JCH, BB), pp. 42–51.
RERE-2013-Cleland-HuangG #named #requirements
Ready-Set-Transfer: Technology transfer in the requirements engineering domain (JCH, SG), pp. 345–346.
RERE-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.
SACSAC-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.
SACSAC-2013-CataldiMA #network #social
Estimating domain-based user influence in social networks (MC, NM, MAA), pp. 1957–1962.
SACSAC-2013-GrueauA #modelling #towards
Towards a domain specific modeling language for agent-based models in land use science (CG, JA), pp. 83–85.
SACSAC-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.
SACSAC-2013-TranLZ #architecture #metadata #security
Derivation of domain-specific architectural knowledge views from governance and security compliance metadata (HT, IL, UZ), pp. 1728–1733.
SACSAC-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-FSEESEC-FSE-2013-ZervoudakisREF #model checking #verification
Cascading verification: an integrated method for domain-specific model checking (FZ, DSR, SGE, AF), pp. 400–410.
ICSEICSE-2013-Carvalho #comprehension #concept #ontology #problem #tool support
An ontology toolkit for problem domain concept location in program comprehension (NRC), pp. 1415–1418.
ICSEICSE-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.
ICSEICSE-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.
SLESLE-2013-FehrenbachEO #domain-specific language #evolution
Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.
SLESLE-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.
SLESLE-2013-VacchiCPC #development #domain-specific language #variability
Variability Support in Domain-Specific Language Development (EV, WC, SP, BC), pp. 76–95.
PLEASEPLEASE-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.
PLEASEPLEASE-2013-UrliMBC #how #multi #product line #question
How to exploit domain knowledge in Multiple Software Product Lines? (SU, SM, MBF, PC), pp. 13–16.
SPLCSPLC-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.
SPLCSPLC-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.
CSLCSL-2013-Maruyama #category theory #monad
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad (YM), pp. 500–520.
ICSTICST-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.
VMCAIVMCAI-2013-PelleauMTB #abstract domain #constraints #theorem proving
A Constraint Solver Based on Abstract Domains (MP, AM, CT, FB), pp. 434–454.
VMCAIVMCAI-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.
VMCAIVMCAI-2013-ToubhansCR #abstract domain
Reduced Product Combination of Abstract Domains for Shapes (AT, BYEC, XR), pp. 375–395.
CBSECBSE-2012-RouvoyM #agile #architecture #prototype
Rapid prototyping of domain-specific architecture languages (RR, PM), pp. 13–22.
WICSA-ECSAWICSA-ECSA-2012-AstekinS #analysis #clone detection #detection #simulation
Utilizing Clone Detection for Domain Analysis of Simulation Systems (MA, HS), pp. 287–291.
WICSA-ECSAWICSA-ECSA-2012-EdwardsBM #analysis #automation #code generation #modelling
Automated Analysis and Code Generation for Domain-Specific Models (GE, YB, NM), pp. 161–170.
WICSA-ECSAWICSA-ECSA-2012-TauschPA #analysis #domain-specific language #named #traceability
TracQL: A Domain-Specific Language for Traceability Analysis (NT, MP, JA), pp. 320–324.
CASECASE-2012-QuangR #approach #implementation
Implementation of Time Domain Passivity Approach on Rate-Mode bilateral teleoperation (HVQ, JHR), pp. 846–850.
DACDAC-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.
DATEDATE-2012-BrachtendorfBL #simulation
Simulation of the steady state of oscillators in the time domain (HGB, KB, RL), pp. 1355–1360.
DATEDATE-2012-Chaturvedi #static analysis
Static analysis of asynchronous clock domain crossings (SC), pp. 1122–1125.
DATEDATE-2012-KarimiCGP #fault #generative #testing
Test generation for clock-domain crossing faults in integrated circuits (NK, KC, PG, SP), pp. 406–411.
DATEDATE-2012-ZimmermannBR #analysis #multi #power management
Analysis of multi-domain scenarios for optimized dynamic power management strategies (JZ, OB, WR), pp. 862–865.
HTHT-2012-WalshOW #approach #evaluation
Evaluation of a domain-aware approach to user model interoperability (EW, AO, VW), pp. 197–206.
FASEFASE-2012-LiT #domain-specific language #erlang #refactoring
A Domain-Specific Language for Scripting Refactorings in Erlang (HL, SJT), pp. 501–515.
ICSMEICSM-2012-HoraADA #question
Domain specific warnings: Are they any better? (AH, NA, SD, SA), pp. 441–450.
SCAMSCAM-2012-GethersAP #concept #database #dependence #detection
Combining Conceptual and Domain-Based Couplings to Detect Database and Code Dependencies (MG, AA, DP), pp. 144–153.
SASSAS-2012-ChengR #abstract domain #spreadsheet
An Abstract Domain to Infer Types over Zones in Spreadsheets (TC, XR), pp. 94–110.
SASSAS-2012-IoualalenM #abstract domain #representation
A New Abstract Domain for the Representation of Mathematically Equivalent Expressions (AI, MM), pp. 75–93.
FLOPSFLOPS-2012-Triska #constraints #finite #prolog #theorem proving
The Finite Domain Constraint Solver of SWI-Prolog (MT), pp. 307–316.
ICALPICALP-v1-2012-ChenW
Computing the Visibility Polygon of an Island in a Polygonal Domain (DZC, HW), pp. 218–229.
FMFM-2012-CarlierDG #constraints #finite #theorem proving
A Certified Constraint Solver over Finite Domains (MC, CD, AG), pp. 116–131.
ICFPICFP-2012-Olukotun #domain-specific language #embedded #performance
High performance embedded domain specific languages (KO), pp. 139–140.
ICGTICGT-2012-WestfechtelN #evolution #graph transformation
Graph Transformations for Evolving Domain Knowledge (BW, MN), pp. 341–355.
CHICHI-2012-YuanW #web
Building the trail best traveled: effects of domain knowledge on web search trailblazing (XY, RW), pp. 1795–1804.
CSCWCSCW-2012-BartelD #collaboration #multi #towards
Towards multi-domain collaborative toolkits (JWB, PD), pp. 1297–1306.
CSCWCSCW-2012-McDonaldGZ #analysis #prototype #social #type system
Building for social translucence: a domain analysis and prototype system (DWM, SG, MZ), pp. 637–646.
HILTHILT-2012-HardinSWP #domain-specific language #security
A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
ICEISICEIS-J-2012-SilcherDMM12a #lifecycle
Advanced Product Lifecycle Management by Introducing Domain-Specific Service Buses (SS, MD, JM, BM), pp. 92–107.
ICEISICEIS-J-2012-VianaPP12a #domain-specific language #framework #modelling
Building Domain-Specific Modeling Languages for Frameworks (MCV, RADP, AFdP), pp. 191–206.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2012-DangKT #query #web
Domain dependent query reformulation for web search (VD, GK, ADT), pp. 1045–1054.
CIKMCIKM-2012-JiangCWYZY #multi #recommendation #relational #social
Social recommendation across multiple relational domains (MJ, PC, FW, QY, WZ, SY), pp. 1422–1431.
CIKMCIKM-2012-LiCLP #corpus #ontology #performance
Efficient extraction of ontologies from domain specific text corpora (TL, PC, LVSL, RP), pp. 1537–1541.
CIKMCIKM-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.
CIKMCIKM-2012-MehrotraAH #adaptation #representation #taxonomy
Dictionary based sparse representation for domain adaptation (RM, RA, SAH), pp. 2395–2398.
CIKMCIKM-2012-MorenoSRS #learning #multi #named
TALMUD: transfer learning for multiple domains (OM, BS, LR, GS), pp. 425–434.
CIKMCIKM-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.
CIKMCIKM-2012-SrinivasanBC #modelling #using
Segmenting web-domains and hashtags using length specific models (SS, SB, RC), pp. 1113–1122.
ECIRECIR-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.
ECIRECIR-2012-SondhiVZ #predict #reliability
Reliability Prediction of Webpages in the Medical Domain (PS, VGVV, CZ), pp. 219–231.
ICMLICML-2012-ChenXWS #adaptation
Marginalized Denoising Autoencoders for Domain Adaptation (MC, ZEX, KQW, FS), p. 212.
ICMLICML-2012-DavisCBPPC #clustering #predict #relational
Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events (JD, VSC, EB, DP, PLP, MC), p. 172.
ICMLICML-2012-DuanXT #adaptation #learning
Learning with Augmented Features for Heterogeneous Domain Adaptation (LD, DX, IWT), p. 89.
ICMLICML-2012-HanLC #learning #modelling #multi
Cross-Domain Multitask Learning with Latent Probit Models (SH, XL, LC), p. 51.
ICMLICML-2012-JanzaminA #composition #independence #markov
High-Dimensional Covariance Decomposition into Sparse Markov and Independence Domains (MJ, AA), p. 60.
ICMLICML-2012-PachauriCS #analysis #problem
Incorporating Domain Knowledge in Matching Problems via Harmonic Analysis (DP, MDC, VS), p. 112.
ICMLICML-2012-ShiS #adaptation #clustering #learning
Information-Theoretical Learning of Discriminative Clusters for Unsupervised Domain Adaptation (YS, FS), p. 166.
ICPRICPR-2012-HanQC #adaptation #classification #image #representation
Group sparse representation of adaptive sub-domain selection for image classification (XHH, XQ, YWC), pp. 1431–1434.
ICPRICPR-2012-LamSS #image #statistics #using
Denoising hyperspectral images using spectral domain statistics (AL, IS, YS), pp. 477–480.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-2012-TuS #adaptation #classification #learning
Dynamical ensemble learning with model-friendly classifiers for domain adaptation (WT, SS), pp. 1181–1184.
ICPRICPR-2012-VazquezLP #adaptation #detection
Unsupervised domain adaptation of virtual and real worlds for pedestrian detection (DV, AML, DP), pp. 3492–3495.
ICPRICPR-2012-Zheng0CP #adaptation #approach
A Grassmann manifold-based domain adaptation approach (JZ, MYL, RC, PJP), pp. 2095–2099.
KDDKDD-2012-LappasVG #invariant #mining #performance
Efficient and domain-invariant competitor mining (TL, GV, DG), pp. 408–416.
KDDKDD-2012-LiJPS #classification #learning #multi
Multi-domain active learning for text classification (LL, XJ, SJP, JTS), pp. 1086–1094.
KDDKDD-2012-Mayer #identification #internet #multi
Bootstrapped language identification for multi-site internet domains (UFM), pp. 579–585.
KDDKDD-2012-RitterMEC #twitter
Open domain event extraction from twitter (AR, M, OE, SC), pp. 1104–1112.
KDDKDD-2012-TangWSS #collaboration #recommendation
Cross-domain collaboration recommendation (JT, SW, JS, HS), pp. 1285–1293.
KEODKEOD-2012-ArtesCM #modelling #problem
Modeling Genealogical Domain — An Open Problem (JCA, JCC, EM), pp. 202–207.
KEODKEOD-2012-BoinskiK #algorithm #ontology
Lexicon based Algorithm for Domain Ontology Merging and Alignment (TB, HK), pp. 321–326.
KEODKEOD-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.
KEODKEOD-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.
RecSysRecSys-2012-Heitmann #framework #graph #multi #personalisation #semantics
An open framework for multi-source, cross-domain personalisation with semantic interest graphs (BH), pp. 313–316.
SEKESEKE-2012-ConradoC #domain-specific language #embedded #visual notation
Engineering Graphical Domain Specific Languages to Develop Embedded Robot Applications (DBFC, VVdC), pp. 495–498.
SEKESEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml
Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
SIGIRSIGIR-2012-Hanbury #information retrieval
Medical information retrieval: an instance of domain-specific search (AH), pp. 1191–1192.
SIGIRSIGIR-2012-KatoOT #adaptation #retrieval
Content-based retrieval for heterogeneous domains: domain adaptation by relative aggregation points (MPK, HO, KT), pp. 811–820.
SIGIRSIGIR-2012-Lupu #information retrieval
Patent information retrieval: an instance of domain-specific search (ML), pp. 1189–1190.
ECMFAECMFA-2012-GoldschmidtM #domain-specific language #query
An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters (TG, WM), pp. 62–73.
ECMFAECMFA-2012-LaraG #metamodelling #modelling
Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering (JdL, EG), pp. 259–274.
ECMFAECMFA-2012-Seidewitz #execution #manycore #uml
Executable UML: From Multi-domain to Multi-core (ES), p. 1.
ECMFAECMFA-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.
ICMTICMT-2012-BosS #forensics #optimisation
Domain-Specific Optimization in Digital Forensics (JvdB, TvdS), pp. 121–136.
MODELSMoDELS-2012-RabbiM #agile #development #domain-specific language #workflow
T: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
MODELSMoDELS-2012-RabbiM #agile #development #domain-specific language #workflow
T: A Domain Specific Language for Rapid Workflow Development (FR, WM), pp. 36–52.
TOOLSTOOLS-EUROPE-J-2011-RessiaBNR12 #modelling
Modeling Domain-Specific Profilers (JR, AB, ON, LR), pp. 1–21.
GPCEGPCE-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.
PADLPADL-2012-BradyH #domain-specific language #embedded #programming
Resource-Safe Systems Programming with Embedded Domain Specific Languages (EB, KH), pp. 242–257.
RERE-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.
SACSAC-2012-BromanFHA #comparison #domain-specific language #implementation
A comparison of two metacompilation approaches to implementing a complex domain-specific language (DB, PF, GH, ), pp. 1919–1921.
SACSAC-2012-GriffithOS #collaboration #predict #rating
Investigations into user rating information and predictive accuracy in a collaborative filtering domain (JG, CO, HS), pp. 937–942.
SACSAC-2012-WinterB
Explicitly accommodating origin preference for inter-domain traffic engineering (RW, IvB), pp. 583–587.
ICSEICSE-2012-AtkinsonGK #domain-specific language
Symbiotic general-purpose and domain-specific languages (CA, RG, BK), pp. 1269–1272.
ICSEICSE-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.
ICSEICSE-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.
ICSEICSE-2012-Westermann #developer #feedback #performance
A generic methodology to derive domain-specific performance feedback for developers (DW), pp. 1527–1530.
SLESLE-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.
PLEASEPLEASE-2012-LeitnerWK #multi #optimisation #problem
Optimizing problem space representations through domain multi-modeling (AL, RW, CK), pp. 49–52.
SPLCSPLC-2012-HofmanSPKB #feature model #modelling #product line
Domain specific feature modeling for software product lines (PH, TS, TP, MK, AB), pp. 229–238.
PPoPPPPoPP-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.
CAVCAV-2012-Venet #analysis #difference #invariant #linear #scalability
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants (AV), pp. 139–154.
ICLPICLP-J-2012-MetodiC #compilation #constraints #finite #satisfiability
Compiling finite domain constraints to SAT with BEE (AM, MC), pp. 465–483.
ICSTICST-2012-EnderlinDGB #grammarware #php #testing #using
Grammar-Based Testing Using Realistic Domains in PHP (IE, FD, AG, FB), pp. 509–518.
ICSTICST-2012-MewsSW #modelling
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain (MM, JS, SW), pp. 519–528.
VMCAIVMCAI-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.
VMCAIVMCAI-2012-GhorbalIBMG #abstract interpretation #performance
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (KG, FI, GB, NM, AG), pp. 235–250.
ECSAECSA-2011-LulliMPR #resource management
Resource Management in the Air Traffic Domain (GL, RM, PP, CR), pp. 97–104.
ASEASE-2011-BokorKSS #partial order #reduction
Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
ASEASE-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.
ASEASE-2011-Halfond #web
Domain and value checking of web application invocation arguments (WGJH), pp. 544–547.
DACDAC-2011-LiLZ #multi #scheduling
Optimal multi-domain clock skew scheduling (LL, YL, HZ), pp. 152–157.
DATEDATE-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.
DATEDATE-2011-WuDL #multi
Power-driven global routing for multi-supply voltage domains (THW, AD, JTL), pp. 443–448.
DATEDATE-2011-ZhiLZYZZ #algorithm #multi #performance #scheduling
An efficient algorithm for multi-domain clock skew scheduling (YZ, WSL, HZ, CY, HZ, XZ), pp. 1364–1369.
ICDARICDAR-2011-LundR #fault #multi
Error Correction with In-domain Training across Multiple OCR System Outputs (WBL, EKR), pp. 658–662.
SIGMODSIGMOD-2011-BozzonBBCCFV #multi
Search computing: multi-domain search on ranked data (AB, DB, MB, SC, FC, PF, SV), pp. 1267–1270.
SIGMODSIGMOD-2011-JinZD #database #web
Attribute domain discovery for hidden web databases (XJ, NZ, GD), pp. 553–564.
VLDBVLDB-2011-Cudre-MaurouxE #data transformation #graph
Graph Data Management Systems for New Application Domains (PCM, SE), pp. 1510–1511.
ITiCSEITiCSE-2011-OliveiraMR #learning #problem #programming
From concrete to abstract?: problem domain in the learning of introductory programming (OLO, AMM, NTR), pp. 173–177.
ESOPESOP-2011-ColonS
Generalizing the Template Polyhedral Domain (MC, SS), pp. 176–195.
FoSSaCSFoSSaCS-2011-CousotCM #abstract domain
The Reduced Product of Abstract Domains and the Combination of Decision Procedures (PC, RC, LM), pp. 456–472.
CSMRCSMR-2011-HayaseKMI #source code
Building Domain Specific Dictionaries of Verb-Object Relation from Source Code (YH, YK, YM, KI), pp. 93–100.
SCAMSCAM-2011-KellyAAH #bibliography #topic
Recovering a Balanced Overview of Topics in a Software Domain (MBK, JSA, BA, AEH), pp. 135–144.
WCREWCRE-2011-AbebeT #concept #identifier #towards
Towards the Extraction of Domain Concepts from the Identifiers (SLA, PT), pp. 77–86.
WCREWCRE-2011-AryaniPLMN #dependence #predict #question #using
Can We Predict Dependencies Using Domain information? (AA, FP, ML, ANM, ON), pp. 55–64.
WCREWCRE-2011-SajnaniNL #architecture #towards
Application Architecture Discovery — Towards Domain-driven, Easily-Extensible Code Structure (HS, RN, CVL), pp. 401–405.
SASSAS-2011-ElderLSAR #abstract domain
Abstract Domains of Affine Relations (ME, JL, TS, TA, TWR), pp. 198–215.
SASSAS-2011-EsparzaG #abstraction #probability
Probabilistic Abstractions with Arbitrary Domains (JE, AG), pp. 334–350.
CHICHI-2011-BillmanAFLST
Benefits of matching domain structure for planning software: the right stuff (DB, LA, MF, JL, AS, RT), pp. 2521–2530.
CHICHI-2011-LinGTMA #identification #people #question
Does domain highlighting help people identify phishing sites? (EL, SG, ET, DM, JA), pp. 2075–2084.
HCIDUXU-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.
HCIDUXU-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.
HCIHCD-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.
CAiSECAiSE-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.
CAiSECAiSE-2011-SonnenbergHHMB #modelling
The REA-DSL: A Domain Specific Modeling Language for Business Models (CS, CH, BH, DM, AMB), pp. 252–266.
EDOCEDOC-2011-SchleicherFGLNSS #strict
Compliance Domains: A Means to Model Data-Restrictions in Cloud Environments (DS, CF, SG, FL, AN, PS, DS), pp. 257–266.
EDOCEDOC-2011-WoutersG #execution #modelling #named
xOWL: An Executable Modeling Language for Domain Experts (LW, MPG), pp. 215–224.
ICEISICEIS-v1-2011-MeisenMSJ #integration #simulation #tool support
Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2011-BhamidipatiK
A diversity measure leveraging domain specific auxiliary information (NB, NK), pp. 2213–2216.
CIKMCIKM-2011-BozzonBFT #multi #set
Diversification for multi-domain result sets (AB, MB, PF, MT), pp. 1905–1908.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2011-Pasca11a #information management
Web-based open-domain information extraction (MP), pp. 2605–2606.
CIKMCIKM-2011-ShenRSS #categorisation #e-commerce
Item categorization in the e-commerce domain (DS, JDR, MS, NS), pp. 1921–1924.
CIKMCIKM-2011-ShiehLW #recommendation
Recommendation in the end-to-end encrypted domain (JRS, CYL, JLW), pp. 915–924.
CIKMCIKM-2011-WangBFG #clustering #information management
Filtering and clustering relations for unsupervised information extraction in open domain (WW, RB, OF, BG), pp. 1405–1414.
CIKMCIKM-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.
CIKMCIKM-2011-ZhaoYX #independence #information management #learning #web
Max margin learning on domain-independent web information extraction (BZ, XY, EPX), pp. 1305–1310.
ECIRECIR-2011-CaiGWZ #adaptation #ranking
Weight-Based Boosting Model for Cross-Domain Relevance Ranking Adaptation (PC, WG, KFW, AZ), pp. 562–567.
ECIRECIR-2011-KadarI #adaptation #categorisation
Domain Adaptation for Text Categorization by Feature Labeling (CK, JI), pp. 424–435.
ICMLICML-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.
ICMLICML-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.
KDDKDD-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.
KDDKDD-2011-LowAS #multi #personalisation
Multiple domain user personalization (YL, DA, AJS), pp. 123–131.
KDIRKDIR-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.
KDIRKDIR-2011-FangWLG #metric #network #statistics #wiki
Wikipedia as Domain Knowledge Networks — Domain Extraction and Statistical Measurement (ZF, JW, BL, WG), pp. 159–165.
KDIRKDIR-2011-SanJuan #graph
Mapping Knowledge Domains — Combining Symbolic Relations with Graph Theory (ES), pp. 527–536.
KEODKEOD-2011-AhmedMB #approach #dependence #ontology
Existential Dependency Driven Approach for Extracting Views from Domain Ontology (SSA, MM, SMB), pp. 413–418.
KEODKEOD-2011-FrikhDO #hybrid #ontology #web
A Hybrid Method for Domain Ontology Construction from the Web (BF, ASD, BO), pp. 285–292.
KEODKEOD-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.
KEODKEOD-2011-KhalidN #image #modelling #multi #ontology #retrieval
Ontology Modelling of Multimodality Image Retrieval System for Sport News Domain (YIAMK, SAN), pp. 400–406.
KEODKEOD-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.
KEODKEOD-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.
KMISKMIS-2011-BrandaoSRASS #named
SIOP-LEGIS: Thesaurus for Selection and Management of Brazilian Treasury Domain (SNB, TSdS, SR, LA, DS, JMdS), pp. 195–200.
SEKESEKE-2011-GrolingerBC #ontology
From Glossaries to Ontologies: Disaster Management Domain(S) (KG, KPB, MAMC), pp. 402–407.
SEKESEKE-2011-RadulovicG #modelling #quality #semantics
Extending Software Quality Models — A Sample In The Domain of Semantic Technologies (FR, RGC), pp. 25–30.
SEKESEKE-2011-RomeikatBS #modelling #policy
Modeling of Domain-Specific ECA Policies (RR, BB, HS), pp. 52–58.
SEKESEKE-2011-ZhouWC #information management #process
Knowledge Engineering in the domain of Carbon Dioxide Capture Process System (QZ, AJW, CWC), pp. 414–419.
SIGIRSIGIR-2011-KarimiSCK #behaviour #topic
Domain expert topic familiarity and search behavior (SK, FS, AC, SK), pp. 1135–1136.
SIGIRSIGIR-2011-Li11a #information retrieval #using
Domain-specific information retrieval using rcommenders (WL), pp. 1327–1328.
SIGIRSIGIR-2011-ZhangCB #behaviour #predict
Predicting users’ domain knowledge from search behaviors (XZ, MJC, NJB), pp. 1225–1226.
ECMFAECMFA-2011-ElaasarBL #qvt #verification
Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.
ECMFAECMFA-2011-RumpeSVW #agile #development #domain-specific language
Agile Development with Domain Specific Languages (BR, MS, SV, IW), pp. 387–388.
ECMFAECMFA-2011-Tolvanen #domain-specific language #modelling
Creating Domain-Specific Modelling Languages That Work: Hands-On (JPT), pp. 393–394.
MODELSMoDELS-2011-FabryZG #case study #design #experience #interactive
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.
MODELSMoDELS-2011-SteelD #model transformation
Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
MODELSMoDELS-2011-FabryZG #case study #design #experience #interactive
Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain (JF, AZ, SEG), pp. 93–107.
MODELSMoDELS-2011-SteelD #model transformation
Domain-Specific Model Transformation in Building Quantity Take-Off (JS, RD), pp. 198–212.
PLATEAUPLATEAU-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.
TOOLSTOOLS-EUROPE-2011-BergelNRR #profiling
Domain-Specific Profiling (AB, ON, LR, JR), pp. 68–82.
GPCEGPCE-2011-LindemanKV #domain-specific language
Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
LOPSTRLOPSTR-2011-Henglein #domain-specific language #implementation #symbolic computation
Dynamic Symbolic Computation for Domain-Specific Language Implementation (FH), pp. 4–24.
RERE-2011-Cleland-HuangD #exclamation #requirements
Ready-set-transfer! Technology transfer in the requirements engineering domain (JCH, DD), pp. 327–328.
RERE-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.
RERE-2011-Regnell #evolution #mobile #problem #scalability
Large-scale feature evolution: Problems and solutions from the mobile domain (BR), p. 323.
SACSAC-2011-AcherCLF #domain-specific language #feature model #modelling
A domain-specific language for managing feature models (MA, PC, PL, RBF), pp. 1333–1340.
GTTSEGTTSE-2011-MikhaielTNSX #difference #modelling #uml
Differencing UML Models: A Domain-Specific vs. a Domain-Agnostic Method (RM, NT, NN, ES, ZX), pp. 159–196.
ICSEICSE-2011-BosS #domain-specific language #forensics
Bringing domain-specific languages to digital forensics (JvdB, TvdS), pp. 671–680.
ICSEICSE-2011-DIppolitoBPU #behaviour #modelling #synthesis
Synthesis of live behaviour models for fallible domains (ND, VAB, NP, SU), pp. 211–220.
ICSEICSE-2011-Fant #design pattern
Building domain specific software architectures from software architectural design patterns (JSF), pp. 1152–1154.
ICSEICSE-2011-LiNHK #requirements
A domain specific requirements model for scientific computing (YL, NN, JH, MK), pp. 848–851.
SLESLE-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.
SPLCSPLC-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.
SPLCSPLC-2011-TolvanenK #domain-specific language #modelling #product line
Creating Domain-Specific Modeling Languages for Product Lines (JPT, SK), p. 358.
SPLCSPLC-2011-VolterV #domain-specific language #product line #using
Product Line Engineering Using Domain-Specific Languages (MV, EV), pp. 70–79.
PPoPPPPoPP-2011-ChafiSBLAO #approach #parallel
A domain-specific approach to heterogeneous parallelism (HC, AKS, KJB, HL, ARA, KO), pp. 35–46.
ICLPICLP-J-2011-DrescherT #logic programming #named #prolog
ALPprolog — A new logic programming method for dynamic domains (CD, MT), pp. 451–468.
ICTSSICTSS-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.
LICSLICS-2011-BirkedalMSS
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees (LB, REM, JS, KS), pp. 55–64.
ICSTSAT-2011-TanjoTB #csp #encoding #finite #performance
A Compact and Efficient SAT-Encoding of Finite Domain CSP (TT, NT, MB), pp. 375–376.
ECSAECSA-2010-ElorantaK #architecture #evaluation #using
Using Domain Knowledge to Boost Software Architecture Evaluation (VPE, KK), pp. 319–326.
ASEASE-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.
ASEASE-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.
ASEASE-2010-WoollardMPM #architecture #named
Kadre: domain-specific architectural recovery for scientific software systems (DW, CM, DP, NM), pp. 325–328.
CASECASE-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.
DACDAC-2010-Agarwal #composition
Frequency domain decomposition of layouts for double dipole lithography (KA), pp. 404–407.
DACDAC-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.
DATEDATE-2010-ChenDS #algorithm #analysis
Properties of and improvements to time-domain dynamic thermal analysis algorithms (XC, RPD, LS), pp. 1165–1170.
DATEDATE-2010-ZebeleinFHTD #modelling #network #performance
Efficient High-Level modeling in the networking domain (CZ, JF, CH, JT, RD), pp. 1189–1194.
DATEDATE-2010-ZhangLZMC #architecture #communication #generative
Domain specific architecture for next generation wireless communication (BZ, HL, HZ, FM, TC), pp. 1414–1419.
HTHT-2010-TamS #information retrieval
Webpage relationships for information retrieval within a structured domain (VWLT, JS), pp. 307–308.
SIGMODSIGMOD-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.
VLDBVLDB-2010-ChaytorW #privacy
Small Domain Randomization: Same Privacy, More Utility (RC, KW), pp. 608–618.
VLDBVLDB-2010-ZhangMKC #evaluation #order #performance
Efficient Skyline Evaluation over Partially Ordered Domains (SZ, NM, BK, DWLC), pp. 1255–1266.
WRLAWRLA-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.
CSMRCSMR-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.
ICPCICPC-2010-BeronPOC #problem
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains (MMB, MJVP, NO, DCdC), pp. 60–61.
ICPCICPC-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.
ICPCICPC-2010-OliveiraPCB #comprehension #visualisation
Influence of Synchronized Domain Visualizations on Program Comprehension (NO, MJVP, DCdC, MMB), pp. 192–195.
ICSMEICSM-2010-Alves #assessment #maintenance
Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
ICSMEICSM-2010-AryaniPH #analysis #case study #co-evolution #enterprise
Domain-based change propagation analysis: An enterprise system case study (AA, IDP, MH), pp. 1–9.
PEPMPEPM-2010-AndersonK #approximate #bound #termination
Regular approximation and bounded domains for size-change termination (HA, SCK), pp. 53–62.
SASSAS-2010-AmatoPS #abstract domain #analysis #component
Deriving Numerical Abstract Domains via Principal Component Analysis (GA, MP, FS), pp. 134–150.
SASSAS-2010-Chapoutot #abstract domain #float
Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (AC), pp. 184–200.
SASSAS-2010-GurfinkelC #abstract domain #named
Boxes: A Symbolic Abstract Domain of Boxes (AG, SC), pp. 287–303.
ICALPICALP-v1-2010-Xia #artificial reality #reduction #theorem
Holographic Reduction: A Domain Changed Application and Its Partial Converse Theorems (MX), pp. 666–677.
ICFPICFP-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.
ICGTICGT-2010-LaraGBHT #graph transformation #simulation
Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
CHICHI-2010-ChilanaWK #comprehension #usability
Understanding usability practices in complex domains (PKC, JOW, AJK), pp. 2337–2346.
CHICHI-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.
AdaEuropeAdaEurope-2010-BurnsW #ada #multi #representation
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (AB, AJW), pp. 41–53.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-ISAS-2010-BoubakerBB #specification #uml
Specification and Instantiation of Domain Specific Patterns based on UML (SRB, NB, RB), pp. 230–235.
ICEISICEIS-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.
CIKMCIKM-2010-KouCZZ #learning #ranking
Learning to blend rankings: a monotonic transformation to blend rankings from heterogeneous domains (ZK, YC, ZZ, HZ), pp. 1921–1924.
CIKMCIKM-2010-MelliE #concept #identification #ontology
Supervised identification and linking of concept mentions to a domain-specific ontology (GM, ME), pp. 1717–1720.
CIKMCIKM-2010-MingCC
Exploring domain-specific term weight in archived question search (ZM, TSC, GC), pp. 1605–1608.
CIKMCIKM-2010-SlezakT #database #injection
Injecting domain knowledge into a granular database engine: a position paper (DS, GT), pp. 1913–1916.
CIKMCIKM-2010-SongH #graph #independence #rdf
Domain-independent entity coreference in RDF graphs (DS, JH), pp. 1821–1824.
CIKMCIKM-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.
ICMLICML-2010-CaoLY #learning #multi #predict
Transfer Learning for Collective Link Prediction in Multiple Heterogenous Domains (BC, NNL, QY), pp. 159–166.
ICPRICPR-2010-DuYXGT #identification
Wavelet Domain Local Binary Pattern Features For Writer Identification (LD, XY, HX, ZG, YYT), pp. 3691–3694.
ICPRICPR-2010-EzojiF #invariant #recognition
Diffusion-Based Face Selective Smoothing in DCT Domain to Illumination Invariant Face Recognition (ME, KF), pp. 1164–1167.
ICPRICPR-2010-GriptonL #kernel #semistructured data #using
Kernel Domain Description with Incomplete Data: Using Instance-Specific Margins to Avoid Imputation (AG, WL), pp. 2921–2924.
ICPRICPR-2010-JouiliTL #algorithm #clustering #graph
Median Graph Shift: A New Clustering Algorithm for Graph Domain (SJ, ST, VL), pp. 950–953.
ICPRICPR-2010-KapotasS #sequence
Rate Control of H.264 Encoded Sequences by Dropping Frames in the Compressed Domain (SKK, ANS), pp. 2382–2385.
ICPRICPR-2010-MurthyMRC #image
Image Retargeting in Compressed Domain (OVRM, KM, DR, LTC), pp. 4424–4427.
ICPRICPR-2010-SaeediMA #dependence #fuzzy #image
Image Denoising Based on Fuzzy and Intra-scale Dependency in Wavelet Transform Domain (JS, MHM, AA), pp. 2672–2675.
ICPRICPR-2010-StephaniJRH #automation #detection
Automatically Detecting Peaks in Terahertz Time-Domain Spectroscopy (HS, JJ, CR, BH), pp. 4468–4471.
ICPRICPR-2010-SutthiwichaipornAJ #quality
Iterative Fingerprint Enhancement with Matched Filtering and Quality Diffusion in Spatial-Frequency Domain (PS, VA, SJ), pp. 1257–1260.
KEODKEOD-2010-AnjumHY #ontology #verification
Cross Domain Knowledge Verification — Verifying Knowledge in Foundation Ontology based Domain Ontologies (NAA, JAH, BY), pp. 339–342.
KEODKEOD-2010-FukumotoS #classification #identification
Identifying Domain-specific Senses and Its Application to Text Classification (FF, YS), pp. 263–268.
KEODKEOD-2010-YilmazTA #forensics #named #ontology
BALLON — An Ontology for Forensic Ballistics Domain (AY, HT, SA), pp. 392–395.
KMISKMIS-2010-ChateauBM
Computer Aided System for Managing Domain Knowledge — Application to Cultural Patrimony (SdC, DB, EML), pp. 240–245.
KMISKMIS-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.
SEKESEKE-2010-AmarGH #generative #ontology #standard #towards
Towards Generation of Domain Ontology from LMF Standardized Dictionaries (FBBA, BG, ABH), pp. 515–520.
SEKESEKE-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.
SEKESEKE-2010-NunesBL #adaptation
An End-user Domain-specific Model to Drive Dynamic User Agents Adaptations (IN, SDJB, CJPdL), pp. 509–514.
SEKESEKE-2010-VilaMF #adaptation #analysis #qvt #strict #using
Using QVT for adapting question analysis to restricted domain QA systems (KV, JNM, AF), pp. 335–338.
SIGIRSIGIR-2010-GaoCWZ #learning #rank #using
Learning to rank only using training data from related domain (WG, PC, KFW, AZ), pp. 162–169.
SIGIRSIGIR-2010-LiLX10a #identification #music #robust
Robust music identification based on low-order zernike moment in the compressed domain (WL, YL, XX), pp. 739–740.
SIGIRSIGIR-2010-Pasca
Extraction of open-domain class attributes from text: building blocks for faceted search (MP), p. 909.
ECMFAECMFA-2010-Vallecillo #modelling #on the
On the Combination of Domain Specific Modeling Languages (AV), pp. 305–320.
ECMFAECMFA-2010-WalterPSE #domain model
Joint Language and Domain Engineering (TW, FSP, SS, JE), pp. 321–336.
ICMTICMT-2010-AzanzaBDT #composition
Domain-Specific Composition of Model Deltas (MA, DSB, OD, ST), pp. 16–30.
OOPSLAOOPSLA-2010-DumitrasNT #multi #online
To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains (TD, PN, ET), pp. 865–876.
OOPSLAOOPSLA-2010-MercadalECL #approach #architecture #fault #pervasive
A domain-specific approach to architecturing error handling in pervasive computing (JM, QE, CC, NL), pp. 47–61.
TOOLSTOOLS-EUROPE-2010-RenggliDGN #domain-specific language
Domain-Specific Program Checking (LR, SD, TG, ON), pp. 213–232.
TOOLSTOOLS-EUROPE-2010-Xu #domain-specific language #embedded #generative #named
EriLex: An Embedded Domain Specific Language Generator (HX), pp. 192–212.
GPCEGPCE-2010-HoferO #component #composition #domain-specific language #scala
Modular domain-specific language components in scala (CH, KO), pp. 83–92.
GPCEGPCE-2010-PorkolabS #domain-specific language #generative #integration #library #parsing
Domain-specific language integration with compile-time parser generator library (ZP, ÁS), pp. 137–146.
PADLPADL-2010-WangG #approach #domain-specific language #implementation #protocol #stack
A Domain-Specific Language Approach to Protocol Stack Implementation (YW, VG), pp. 183–185.
RERE-2010-MashkoorJ #domain model #lessons learnt
Domain Engineering with Event-B: Some Lessons We Learned (AM, JPJ), pp. 252–261.
REFSQREFSQ-2010-OmoronyiaSSBMS #elicitation #ontology #process #requirements
A Domain Ontology Building Process for Guiding Requirements Elicitation (IO, GS, TS, SB, TM, WDS), pp. 188–202.
SACSAC-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.
SACSAC-2010-AntonelliRL #domain model #identification
Early identification of crosscutting concerns in the domain model guided by states (LA, GR, JCSdPL), pp. 275–280.
SACSAC-2010-FautschS #adaptation #information retrieval
Adapting the tf idf vector-space model to domain specific information retrieval (CF, JS), pp. 1708–1712.
SACSAC-2010-HurnausP #automation #composition #contract #programming #verification
Programming assistance based on contracts and modular verification in the automation domain (DH, HP), pp. 2544–2551.
SACSAC-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.
SACSAC-2010-ParkKYMY #approach #reuse
An approach to developing reusable domain services for service oriented applications (JP, JK, SY, MM, KY), pp. 2252–2256.
SACSAC-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.
SACSAC-2010-SpinolaPT #approach #named #requirements
UbiCheck: an approach to support requirements definition in the ubicomp domain (ROS, FCRP, GHT), pp. 306–310.
SACSAC-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.
ICSEICSE-2010-GuoSZS #empirical #smell
Domain-specific tailoring of code smells: an empirical study (YG, CBS, NZ, FS), pp. 167–170.
LDTALDTA-2009-KatsKV10 #composition #domain-specific language #editing #plugin
Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.
LDTALDTA-2010-BrandMSH #case study #domain-specific language #experience
Formally specified type checkers for domain specific languages: experience report (MvdB, APvdM, AS, ATH), p. 12.
LDTALDTA-2010-Giavitto #domain-specific language #simulation
A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
SLESLE-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.
SLESLE-2010-MannadiarV #debugging #modelling
Debugging in Domain-Specific Modelling (RM, HV), pp. 276–285.
SPLCSPLC-2010-FurtadoSR #analysis #game studies #product line
Streamlining Domain Analysis for Digital Games Product Lines (AWBF, ALMS, GLR), pp. 316–330.
SPLCSPLC-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.
SPLCSPLC-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.
HPDCHPDC-2010-GehaniK #multi #named #trust #verification
Mendel: efficiently verifying the lineage of data modified in multiple trust domains (AG, MK), pp. 227–239.
ICLPICLP-2010-Balduccini10 #heuristic #learning #set
Learning Domain-Specific Heuristics for Answer Set Solvers (MB), pp. 14–23.
LICSLICS-2010-Goubault-Larrecq #probability
ω-QRB-Domains and the Probabilistic Powerdomain (JGL), pp. 352–361.
VMCAIVMCAI-2010-ChenMWC #abstract domain #linear
An Abstract Domain to Discover Interval Linear Equalities (LC, AM, JW, PC), pp. 112–128.
CBSECBSE-2009-LauT #component #modelling
Domain-Specific Software Component Models (KKL, FMT), pp. 19–35.
ASEASE-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.
ASEASE-2009-LauenrothPT #model checking #product line
Model Checking of Domain Artifacts in Product Line Engineering (KL, KP, ST), pp. 269–280.
DATEDATE-2009-FlynnGG #configuration management
Bitstream relocation with local clock domains for partially reconfigurable FPGAs (AF, AGR, ADG), pp. 300–303.
DATEDATE-2009-MohammadZadehMJZ #multi #network
Multi-domain clock skew scheduling-aware register placement to optimize clock distribution network (NM, MM, AJ, MSZ), pp. 833–838.
ITiCSEITiCSE-2009-Mirolo #analysis #modelling #problem #recursion
Mental models of recursive computations vs. recursive analysis in the problem domain (CM), p. 397.
FASEFASE-2009-OldevikHM #confluence #independence #product line
Confluence in Domain-Independent Product Line Transformations (JO, ØH, BMP), pp. 34–48.
FoSSaCSFoSSaCS-2009-KuhnrichSSK #analysis #data flow #infinity #interprocedural
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains (MK, SS, JS, SK), pp. 440–455.
ICSMEICSM-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.
SCAMSCAM-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.
WCREWCRE-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.
SASSAS-2009-ChenMWC #abstract domain #linear
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships (LC, AM, JW, PC), pp. 309–325.
LATALATA-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.
HCIHCI-AUII-2009-SpiesABH #interactive #visualisation
Augmented Interaction and Visualization in the Automotive Domain (RS, MA, HB, WH), pp. 211–220.
HCIHCI-NIMT-2009-PedroRBBA #domain-specific language #syntax #visual notation
Composing Visual Syntax for Domain Specific Languages (LP, MR, DB, BB, VA), pp. 889–898.
HCIHCI-NT-2009-KleindienstCL #evaluation #named #towards
ADiEU: Toward Domain-Based Evaluation of Spoken Dialog Systems (JK, JC, ML), pp. 287–294.
HCIHIMI-DIE-2009-Aviles-LopezG #physics
UbiSOA Dashboard: Integrating the Physical and Digital Domains through Mashups (EAL, JAGM), pp. 466–474.
VISSOFTVISSOFT-2009-OliveiraPHC #behaviour #domain-specific language #source code #visualisation
Visualization of domain-specific programs’ behavior (NO, MJVP, PRH, DCdC), pp. 37–40.
CAiSECAiSE-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.
ICEISICEIS-AIDSS-2009-Antunes #mining
Mining Patterns in the Presence of Domain Knowledge (CA), pp. 188–193.
ICEISICEIS-DISI-2009-NunesAAS #domain-specific language #framework
A Domain Specific Language for the I* Framework (CN, JA, VA, CTLLS), pp. 158–163.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-J-2009-BenevidesG #concept #modelling #ontology
A Model-Based Tool for Conceptual Modeling and Domain Ontology Engineering in OntoUML (ABB, GG), pp. 528–538.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2009-ChenBRT #adaptation #effectiveness #on the #similarity
On domain similarity and effectiveness of adapting-to-rank (KC, JB, SR, BLT), pp. 1601–1604.
CIKMCIKM-2009-DewriRRW #identification #named
POkA: identifying pareto-optimal k-anonymous nodes in a domain hierarchy lattice (RD, IR, IR, DW), pp. 1037–1046.
CIKMCIKM-2009-DuT #sentiment
Building domain-oriented sentiment lexicon by improved information bottleneck (WD, ST), pp. 1749–1752.
CIKMCIKM-2009-GengYXH #adaptation #ranking
Ranking model adaptation for domain-specific search (BG, LY, CX, XSH), pp. 197–206.
CIKMCIKM-2009-KhaitanDGS #data-driven
Data-driven compound splitting method for english compounds in domain names (SK, AD, SG, AS), pp. 207–214.
CIKMCIKM-2009-LiuZ #classification #sentiment #using
Cross-domain sentiment classification using a two-stage method (KL, JZ), pp. 1717–1720.
CIKMCIKM-2009-LongLVZT #adaptation #framework
A risk minimization framework for domain adaptation (BL, SL, SV, YZ, BLT), pp. 1347–1356.
CIKMCIKM-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.
CIKMCIKM-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.
CIKMCIKM-2009-RanganathanRU #information retrieval
Mashup-based information retrieval for domain experts (AR, AR, OU), pp. 711–720.
CIKMCIKM-2009-WangTFCYL #ranking
Heterogeneous cross domain ranking in latent space (BW, JT, WF, SC, ZY, YL), pp. 987–996.
ECIRECIR-2009-LungleyK #automation
Automatically Maintained Domain Knowledge: Initial Findings (DL, UK), pp. 739–743.
ECIRECIR-2009-TanCWX #adaptation #analysis #naive bayes #sentiment
Adapting Naive Bayes to Domain Adaptation for Sentiment Analysis (ST, XC, YW, HX), pp. 337–349.
ICMLICML-2009-AndrzejewskiZC #modelling #topic
Incorporating domain knowledge into topic modeling via Dirichlet Forest priors (DA, XZ, MC), pp. 25–32.
ICMLICML-2009-DuanTXC #adaptation #classification #multi
Domain adaptation from multiple sources via auxiliary classifiers (LD, IWT, DX, TSC), pp. 289–296.
KDDKDD-2009-ChenLTW #adaptation #concept #mining
Extracting discriminative concepts for domain adaptation in text mining (BC, WL, IWT, TLW), pp. 179–188.
KDDKDD-2009-ZhongFPZRTV #adaptation #kernel
Cross domain distribution adaptation via kernel mapping (EZ, WF, JP, KZ, JR, DST, OV), pp. 1027–1036.
KDIRKDIR-2009-ClementeDCR #behaviour #classification #image
Behavior of Different Image Classifiers within a Broad Domain (BC, MLD, AC, PGR), pp. 278–283.
KEODKEOD-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.
KEODKEOD-2009-Kop #concept #ontology #owl #question #what
What are Main Concepts in an OWL Domain Ontology? (CK), pp. 404–407.
KEODKEOD-2009-YiR #algorithm #clustering #ontology #using
Using a Clustering Algorithm for Domain Related Ontology Construction (HY, VJRS), pp. 336–341.
KEODKEOD-2009-Zarri #concept #industrial #knowledge base
Creation and Management of a Conceptual Knowledge Base in an Industrial Domain (GPZ), pp. 214–219.
MLDMMLDM-2009-BarakatB
The Effect of Domain Knowledge on Rule Extraction from Support Vector Machines (NHB, APB), pp. 311–321.
MLDMMLDM-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.
RecSysRecSys-2009-CarolisNPG #comparative #generative
Generating comparative descriptions of places of interest in the tourism domain (BDC, NN, VLP, EG), pp. 277–280.
SEKESEKE-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.
SEKESEKE-2009-JiCXZ #analysis #clustering #novel
A Novel Method of Mutation Clustering Based on Domain Analysis (CJ, ZC, BX, ZZ), pp. 422–425.
SEKESEKE-2009-MoserMSB #constraints #framework #semantics
Semantic Service Matchmaking in the ATM Domain Considering Infrastructure Capability Constraints (TM, RM, WDS, SB), pp. 222–227.
SIGIRSIGIR-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.
SIGIRSIGIR-2009-LiSDZ #classification #sentiment
Knowledge transformation for cross-domain sentiment classification (TL, VS, CHQD, YZ), pp. 716–717.
SIGIRSIGIR-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.
ECMFAECMDA-FA-2009-IzquierdoM #domain-specific language #legacy #modelling
A Domain Specific Language for Extracting Models in Software Modernization (JLCI, JGM), pp. 82–97.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2009-MorinPLBVJ #metamodelling #variability #weaving
Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MODELSMoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration
Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-2009-WalterPS #domain-specific language #framework #named #ontology
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-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.
MODELSMoDELS-2009-MorinPLBVJ #metamodelling #variability #weaving
Weaving Variability into Domain Metamodels (BM, GP, PL, OB, GV, JMJ), pp. 690–705.
MODELSMoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration
Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
MODELSMoDELS-2009-ShtelmaCM #domain-specific language #execution #integration #message passing
Executable Domain Specific Language for Message-Based System Integration (MS, MC, NM), pp. 622–626.
MODELSMoDELS-2009-WalterPS #domain-specific language #framework #named #ontology
OntoDSL: An Ontology-Based Framework for Domain-Specific Languages (TW, FSP, SS), pp. 408–422.
MODELSMoDELS-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.
TOOLSTOOLS-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.
PADLPADL-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.
RERE-2009-AdamDEG #requirements #using
Using Task-oriented Requirements Engineering in Different Domains (SA, JD, ME, AG), pp. 267–272.
RERE-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.
RERE-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.
REFSQREFSQ-2009-PenzenstadlerSP #modelling #requirements
A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain (BP, ES, KP), pp. 212–217.
SACSAC-2009-AthenikosHB #framework
A framework of a logic-based question-answering system for the medical domain (LOQAS-Med) (SJA, HH, ADB), pp. 847–851.
SACSAC-2009-RekapalliHZ #identification #named #scalability
HSP-HMMER: a tool for protein domain identification on a large scale (BR, CH, IBZ), pp. 766–770.
ESEC-FSEESEC-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.
SLESLE-2009-LairdB #domain-specific language #evolution #towards
Towards Dynamic Evolution of Domain Specific Languages (PL, SB), pp. 144–153.
SLESLE-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.
SLESLE-2009-ZschalerKDPR #metamodelling
Domain-Specific Metamodelling Languages for Software Language Engineering (SZ, DSK, ND, RFP, AR), pp. 334–353.
SPLCSPLC-2009-Voelter #domain-specific language #product line #using
Using domain specific languages for product line engineering (MV), p. 329.
ASPLOSASPLOS-2009-LenharthAK #operating system
Recovery domains: an organizing principle for recoverable operating systems (AL, VSA, STK), pp. 49–60.
CAVCAV-2009-GhorbalGP #abstract domain
The Zonotope Abstract Domain Taylor1+ (KG, EG, SP), pp. 627–633.
CAVCAV-2009-JeannetM #abstract domain #library #named #static analysis
Apron: A Library of Numerical Abstract Domains for Static Analysis (BJ, AM), pp. 661–667.
CSLCSL-2009-TurnerW #concurrent
Nominal Domain Theory for Concurrency (DT, GW), pp. 546–560.
LICSLICS-2009-CarraroS #reflexive #λ-calculus
Reflexive Scott Domains are Not Complete for the Extensional λ Calculus (AC, AS), pp. 91–100.
ECSAECSA-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.
ECSAECSA-2008-FilhoCNOLAM #bibliography #design #perspective #using
Evaluating Domain Design Approaches Using Systematic Review (EDdSF, RdOC, DFSN, THBdO, LBL, ESdA, SRdLM), pp. 50–65.
ECSAECSA-2008-LosavioMR #analysis #quality #standard #web #web service
Web Services Domain Analysis Based on Quality Standards (FL, AM, RR), pp. 354–358.
ASEASE-2008-Dominguez #detection #feature model #interactive
Feature Interaction Detection in the Automotive Domain (ALJD), pp. 521–524.
ASEASE-2008-EdwardsM #development #framework
A Methodology and Framework for Creating Domain-Specific Development Infrastructures (GE, NM), pp. 168–177.
DACDAC-2008-OgrasMM #adaptation #feedback #multi
Variation-adaptive feedback control for networks-on-chip with multiple clock domains (ÜYO, RM, DM), pp. 614–619.
DACDAC-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.
DATEDATE-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.
DATEDATE-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.
VLDBVLDB-2008-BragaCDM #multi #optimisation #query #web
Optimization of multi-domain queries on the web (DB, SC, FD, DM), pp. 562–573.
ESOPESOP-2008-Allamigeon #abstraction #array
Non-disjunctive Numerical Domain for Array Predicate Abstraction (XA), pp. 163–177.
ESOPESOP-2008-MartinFS #constraints #game studies
Playing with TOY: Constraints and Domain Cooperation (SEM, AJF, FSP), pp. 112–115.
FASEFASE-2008-BergJR #similarity #state machine #testing #using
Regular Inference for State Machines Using Domains with Equality Tests (TB, BJ, HR), pp. 317–331.
FASEFASE-2008-LagardeETAG #domain model #modelling #uml
Leveraging Patterns on Domain Models to Improve UML Profile Definition (FL, HE, FT, CA, SG), pp. 116–130.
FASEFASE-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.
FoSSaCSFoSSaCS-2008-Goubault-Larrecq08a
Prevision Domains and Convex Powercones (JGL), pp. 318–333.
CSMRCSMR-2008-RatiuFJ #api #ontology
Extracting Domain Ontologies from Domain Specific APIs (DR, MF, JJ), pp. 203–212.
ICPCICPC-2008-HaiducM #on the #source code
On the Use of Domain Terms in Source Code (SH, AM), pp. 113–122.
ICPCICPC-2008-PetrenkoRV #comprehension #evolution #maintenance
Partial Domain Comprehension in Software Evolution and Maintenance (MP, VR, RV), pp. 13–22.
ICPCICPC-2008-RatiuJ #api #concept #representation
Evaluating the Reference and Representation of Domain Concepts in APIs (DR, JJ), pp. 242–247.
ICSMEICSM-2008-LinZKM #editing #graph #visualisation
A domain-customizable SVG-based graph editor for software visualizations (TL, FZ, HMK, HAM), pp. 466–467.
WCREWCRE-2008-GeestVDV #domain-specific language #generative
Generating Version Convertors for Domain-Specific Languages (GdG, SV, AvD, EV), pp. 197–201.
ICALPICALP-B-2008-Martin #formal method #quantum
A Domain Theoretic Model of Qubit Channels (KM), pp. 283–297.
IFLIFL-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-VMTGT-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.
CAiSECAiSE-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.
EDOCEDOC-2008-CarbonJMN #collaboration #development
A Method for Collaborative Development of Systems of Systems in the Office Domain (RC, GJ, DM, MN), pp. 339–345.
ICEISICEIS-AIDSS-2008-BoglSPW #modelling #semantics
Semantic Annotation of EPC Models in Engineering Domains by Employing Semantic Patterns (AB, MS, GP, NW), pp. 106–115.
ICEISICEIS-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.
ICEISICEIS-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.
CIKMCIKM-2008-ArnoldC #adaptation
Intra-document structural frequency features for semi-supervised domain adaptation (AA, WWC), pp. 1291–1300.
CIKMCIKM-2008-CandanCQS #summary
Table summarization with the help of domain lattices (KSC, HC, YQ, MLS), pp. 1473–1474.
CIKMCIKM-2008-CustisA #corpus #query #statistics
Investigating external corpus and clickthrough statistics for query expansion in the legal domain (TC, KAK), pp. 1363–1364.
CIKMCIKM-2008-Ibekwe-SanjuanSV #composition #graph #information management
Decomposition of terminology graphs for domain knowledge acquisition (FIS, ES, MSEV), pp. 1463–1464.
CIKMCIKM-2008-KinneyHZ #how
How evaluator domain expertise affects search result relevance judgments (KAK, SBH, JZ), pp. 591–598.
CIKMCIKM-2008-LuoZHXH #learning #multi
Transfer learning from multiple source domains via consensus regularization (PL, FZ, HX, YX, QH), pp. 103–112.
ECIRECIR-2008-MakrehchiK #automation #documentation
Automatic Extraction of Domain-Specific Stopwords from Labeled Documents (MM, MSK), pp. 222–233.
ICMLICML-2008-KerstingD #parametricity #policy #relational
Non-parametric policy gradients: a unified treatment of propositional and relational domains (KK, KD), pp. 456–463.
ICPRICPR-2008-LiaoJ #learning #network #parametricity #semistructured data
Exploiting qualitative domain knowledge for learning Bayesian network parameters with incomplete data (WL, QJ), pp. 1–4.
KDDKDD-2008-LingDXYY #learning
Spectral domain-transfer learning (XL, WD, GRX, QY, YY), pp. 488–496.
KDDKDD-2008-Sindhgatta #developer #identification #source code
Identifying domain expertise of developers from source code (RS), pp. 981–989.
SEKESEKE-2008-AlmeidaAGLFM #domain model #process
A Systematic Process for Domain Engineering (ESdA, , VCG, DL, RPdMF, SRdLM), pp. 655–660.
SEKESEKE-2008-BelmonteD #automation #domain model #re-engineering
Automating a Domain Model Aware Reengineering Methodology (JB, PD), pp. 129–136.
SEKESEKE-2008-BuchwalderP #modelling #named
MEtaGile: A Pragmatic Domain-specific Modeling Environment (OB, CP), pp. 764–768.
SEKESEKE-2008-LiYB #aspect-oriented #owl
Translating OWL Specified Domain Knowledge to Aspect Oriented Model (JL, XY, XB), pp. 203–208.
SEKESEKE-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.
SIGIRSIGIR-2008-WangH #documentation #retrieval #using
Improving biomedical document retrieval using domain knowledge (SW, MH), pp. 785–786.
SIGIRSIGIR-2008-XueDYY #classification #topic
Topic-bridged PLSA for cross-domain text classification (GRX, WD, QY, YY), pp. 627–634.
ECMFAECMDA-FA-2008-NogueraD #domain model #framework #modelling #using #validation
Annotation Framework Validation Using Domain Models (CN, LD), pp. 48–62.
ECMFAECMDA-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.
TOOLSTOOLS-EUROPE-2008-KrahnRV #composition #development #domain-specific language #named
MontiCore: Modular Development of Textual Domain Specific Languages (HK, BR, SV), pp. 297–315.
GPCEGPCE-2008-MercadalPCL #coordination #domain-specific language #named
Pantaxou: a domain-specific language for developing safe coordination services (JM, NP, CC, JLL), pp. 149–160.
PPDPPPDP-2008-FeydySS #constraints #difference #finite
Global difference constraint propagation for finite domain solvers (TF, AS, PJS), pp. 226–235.
PPDPPPDP-2008-MartinFHRSV #constraints
Cooperation of constraint domains in the TOY system (SEM, AJF, MTHG, MRA, FSP, RdVV), pp. 258–268.
POPLPOPL-2008-GulwaniMT #logic #quantifier
Lifting abstract interpreters to quantified logical domains (SG, BM, AT), pp. 235–246.
RERE-2008-FortunaWB #case study #domain model #modelling
Info Cases: Integrating Use Cases and Domain Models (MHF, CMLW, MRSB), pp. 81–84.
RERE-2008-LauenrothP #consistency #product line #requirements
Dynamic Consistency Checking of Domain Requirements in Product Line Engineering (KL, KP), pp. 193–202.
REFSQREFSQ-2008-WelshS #adaptation #identification #problem
When to Adapt? Identification of Problem Domains for Adaptive Systems (KW, PS), pp. 198–203.
SACSAC-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.
SACSAC-2008-KaiyaSOKK #analysis #quality #requirements #towards
Toward quality requirements analysis based on domain specific quality spectrum (HK, TS, AO, NK, KK), pp. 596–601.
SACSAC-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.
SACSAC-2008-Ngomo #multi
Knowledge-free discovery of domain-specific multiword units (ACNN), pp. 1561–1565.
SACSAC-2008-OsadaOKKK #diagrams #metric #using
Proposing metrics of difficulty of domain knowledge using usecase diagrams (AO, DO, NK, HK, KK), pp. 624–629.
SACSAC-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.
SACSAC-2008-TanWWC #detection #problem #semantics #using
Using unlabeled data to handle domain-transfer problem of semantic detection (ST, YW, GW, XC), pp. 896–903.
LDTALDTA-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.
SPLCSPLC-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.
SPLCSPLC-2008-HaugenMOOS #domain-specific language #standard #variability
Adding Standardized Variability to Domain Specific Languages (ØH, BMP, JO, GKO, AS), pp. 139–148.
SPLCSPLC-2008-SantosKL #automation #domain-specific language #generative #modelling
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
SPLCSPLC-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.
LCTESLCTES-2008-RajopadhyeGR #configuration management
A domain specific interconnect for reconfigurable computing (SVR, GG, LR), pp. 79–88.
CAVCAV-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.
CSLCSL-2008-HorbachW
Superposition for Fixed Domains (MH, CW), pp. 293–307.
CSLCSL-2008-NakazawaTKN #λ-calculus
Undecidability of Type-Checking in Domain-Free Typed λ-Calculi with Existence (KN, MT, YK, HN), pp. 478–492.
ICLPICLP-2008-Parisini #constraints
Bi-dimensional Domains for the Non-overlapping Rectangles Constraint (FP), pp. 811–812.
ICLPICLP-2008-SchulteS #bound #dynamic analysis
Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.
ICLPICLP-2008-Triska #constraints #finite #theorem proving
Generalising Constraint Solving over Finite Domains (MT), pp. 820–821.
WICSAWICSA-2007-AlmeidaAGNML #approach #architecture #design #towards
Designing Domain-Specific Software Architecture (DSSA): Towards a New Approach (ESdA, , VCG, LMN, SRdLM, DL), p. 30.
ASEASE-2007-HoskingG #domain-specific language #implementation #tool support #visual notation
Meta tools for implementing domain specific visual languages (JGH, JCG), p. 576.
ASEASE-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.
CASECASE-2007-KavakliogluK #fuzzy
A Type-2 Fuzzy Planner with Semi Qualitative World Model for Robocup Domain (CK, OK), pp. 795–799.
DATEDATE-2007-AndersKG #effectiveness #testing
Re-configuration of sub-blocks for effective application of time domain tests (JA, SK, GG), pp. 707–712.
DATEDATE-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.
DATEDATE-2007-Kopetz #architecture #embedded
The ARTEMIS cross-domain architecture for embedded systems (HK), pp. 1468–1469.
DATEDATE-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.
DATEDATE-2007-SirowyWLV07a #multi
Clock-frequency assignment for multiple clock domain systems-on-a-chip (SS, YW, SL, FV), pp. 397–402.
DRRDRR-2007-LangleyB
Google Books: making the public domain universally accessible (AL, DSB).
SIGMODSIGMOD-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.
SIGMODSIGMOD-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.
VLDBVLDB-2007-BurdickDRV #constraints
OLAP over Imprecise Data with Domain Constraints (DB, AD, RR, SV), pp. 39–50.
VLDBVLDB-2007-LimWW #using
Unifying Data and Domain Knowledge Using Virtual Views (LL, HW, MW), pp. 255–266.
VLDBVLDB-2007-MorsePJ #performance
Efficient Skyline Computation over Low-Cardinality Domains (MDM, JMP, HVJ), pp. 267–278.
ESOPESOP-2007-GaubertGTZ #policy #relational #static analysis
Static Analysis by Policy Iteration on Relational Domains (SG, EG, AT, SZ), pp. 237–252.
SASSAS-2007-BanterleG #abstract domain #hardware #implementation #performance
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware (FB, RG), pp. 315–332.
LISPILC-2007-AkashiTFHS #framework #lisp #network
Lisp-based agent platform and applications for inter-domain network management (OA, AT, KF, TH, TS), p. 14.
LISPILC-2007-MehnertB #domain-specific language
A domain-specific language for manipulation of binary data in Dylan (HM, AB), p. 22.
AGTIVEAGTIVE-2007-AndresLG #domain-specific language #visual notation
Domain Specific Languages with Graphical and Textual Views (FPA, JdL, EG), pp. 82–97.
AGTIVEAGTIVE-2007-DenningerGG
Applications and Rewriting of Omnigraphs — Exemplified in the Domain of MDD (OD, TG, RG), pp. 168–183.
AGTIVEAGTIVE-2007-TaentzerCSE #editing #generative
Generating Domain-Specific Model Editors with Complex Editing Commands (GT, AC, RS, CE), pp. 98–103.
AGTIVEAGTIVE-2007-TaentzerMM #graph transformation #refactoring #specification
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation (GT, DM, TM), pp. 104–119.
HCIHCI-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.
HCIHIMI-MTT-2007-AblassmeierPRR #network #using
Context-Aware Information Agents for the Automotive Domain Using Bayesian Networks (MA, TP, SR, GR), pp. 561–570.
ICEISICEIS-EIS-2007-MarquesRFRAAM #analysis #aspect-oriented
Aspect-Oriented Analysis Applied to the Space Domain (AM, RR, RF, RAR, SA, JA, AMDM), pp. 71–79.
ICEISICEIS-HCI-2007-FilipeMM #adaptation
An Adaptive Domain Knowledge Manager for Dialogue Systems (PPF, LM, NJM), pp. 45–52.
ICEISICEIS-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.
CIKMCIKM-2007-AltingovdeOCYU #approach #automation #web
An automatic approach to construct domain-specific web portals (ISA, RO, SC, HY, ÖU), pp. 849–852.
CIKMCIKM-2007-ChevalletLL #concept #multi
Domain knowledge conceptual inter-media indexing: application to multilingual multimedia medical reports (JPC, JHL, DTHL), pp. 495–504.
CIKMCIKM-2007-JiangZ #adaptation #approach #classification #statistics
A two-stage approach to domain adaptation for statistical classifiers (JJ, CZ), pp. 401–410.
CIKMCIKM-2007-PriceNDV #component #documentation #retrieval #semantics
Semantic components enhance retrieval of domain-specific documents (SP, MLN, LMLD, PV), pp. 429–438.
CIKMCIKM-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.
ICMLICML-2007-TaylorS #learning
Cross-domain transfer for reinforcement learning (MET, PS), pp. 879–886.
KDDKDD-2007-DaiXYY #classification #clustering #documentation
Co-clustering based classification for out-of-domain documents (WD, GRX, QY, YY), pp. 210–219.
KDDKDD-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.
RecSysRecSys-2007-BerkovskyKR #collaboration #distributed
Distributed collaborative filtering with domain specialization (SB, TK, FR), pp. 33–40.
SEKESEKE-2007-EnsanD #development #framework #maintenance #ontology #towards
Towards Domain-Centric Ontology Development and Maintenance Frameworks (FE, WD), pp. 622–627.
SEKESEKE-2007-GirardiL #domain model #multi #named
ONTOMADEM: An Ontology-driven Tool for Multi-Agent Domain Engineering (RG, AL), pp. 559–564.
SEKESEKE-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.
SIGIRSIGIR-2007-OlssonO #classification
Improving text classification for oral history archives with temporal domain knowledge (JSO, DWO), pp. 623–630.
ECMFAECMDA-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.
ECMFAECMDA-FA-2007-Warmer #domain-specific language #modelling #using
A Model Driven Software Factory Using Domain Specific Languages (JW), pp. 194–203.
MODELSMoDELS-2007-BatoriTA #configuration management #modelling
Domain Specific Modeling Methodology for Reconfigurable Networked Systems (GB, ZT, DA), pp. 316–330.
MODELSMoDELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow
Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
MODELSMoDELS-2007-HessellundCW #development #domain-specific language #multi
Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.
MODELSMoDELS-2007-SmialekBNAS #case study
Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.
MODELSMoDELS-2007-BatoriTA #configuration management #modelling
Domain Specific Modeling Methodology for Reconfigurable Networked Systems (GB, ZT, DA), pp. 316–330.
MODELSMoDELS-2007-BrambillaCC #automation #domain model #generative #modelling #workflow
Automatic Generation of Workflow-Extended Domain Models (MB, JC, SC), pp. 375–389.
MODELSMoDELS-2007-HessellundCW #development #domain-specific language #multi
Guided Development with Multiple Domain-Specific Languages (AH, KC, AW), pp. 46–60.
MODELSMoDELS-2007-SmialekBNAS #case study
Complementary Use Case Scenario Representations Based on Domain Vocabularies (MS, JB, WN, AA, TS), pp. 544–558.
ECOOPECOOP-2007-LinB #data flow #domain-specific language #named
DirectFlow: A Domain-Specific Language for Information-Flow Systems (CKL, APB), pp. 299–322.
OOPSLAOOPSLA-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.
REFSQREFSQ-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.
SACSAC-2007-Al-MubaidN #concept #distance #framework #semantics
Semantic distance of concepts within a unified framework in the biomedical domain (HAM, HAN), pp. 142–143.
SACSAC-2007-ForteCSPS #adaptation #component #framework #internet
A component-based framework for the internet content adaptation domain (MF, RATC, WLdS, AFdP, LHZS), pp. 1450–1455.
SACSAC-2007-KuoCLC #adaptation #random testing #testing
Enhancing adaptive random testing in high dimensional input domains (FCK, TYC, HL, WKC), pp. 1467–1472.
SACSAC-2007-WuJN #approach
An approach for indexing, storing and retrieving domain knowledge (HW, HJ, XN), pp. 1381–1382.
SACSAC-2007-ZhangXLY #clustering #modelling
Improved structural modeling based on conserved domain clusters and structure-anchored alignments (FZ, LX, ZL, BY), pp. 128–132.
ESEC-FSEESEC-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-FSEESEC-FSE-2007-HartmanKP #automation #testing
Domain specific approaches to software test automation (AH, MK, AMP), pp. 621–622.
GTTSEGTTSE-2007-Visser #case study #domain-specific language #named
WebDSL: A Case Study in Domain-Specific Language Engineering (EV), pp. 291–373.
GTTSEGTTSE-2007-Wachsmuth #domain-specific language #modelling #semantics
Modelling the Operational Semantics of Domain-Specific Modelling Languages (GW), pp. 506–520.
ICSEICSE-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.
ICSEICSE-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.
SPLCSPLC-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.
SPLCSPLC-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.
HPCAHPCA-2007-JinKY #design #network #scalability
A Domain-Specific On-Chip Network Design for Large Scale Cache Systems (YJ, EJK, KHY), pp. 318–327.
SMTSMT-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.
CAVCAV-2007-GulwaniT #abstract domain #bytecode #low level
An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software (SG, AT), pp. 379–392.
MBTMBT-2007-RaimondiPB #model checking #testing
Testing Planning Domains (without Model Checkers) (FR, CP, GB), pp. 113–125.
TLCATLCA-2007-JiangZ
Weakly Distributive Domains (YJ, GQZ), pp. 194–206.
VMCAIVMCAI-2007-PeronH #abstract domain #bound #constraints #matrix
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (MP, NH), pp. 268–282.
ASEASE-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.
ASEASE-2006-RobbyDH #framework #model checking #using
Domain-specific Model Checking Using The Bogor Framework (R, MBD, JH), pp. 369–370.
DATEDATE-2006-Muller-Glaser #design #modelling
Domain specific model driven design for automotive electronic control units (KDMG), p. 557.
DATEDATE-2006-YonedaMF #multi #scheduling
Power-constrained test scheduling for multi-clock domain SoCs (TY, KM, HF), pp. 297–302.
DATEDATE-2006-ZengFSCZC #domain model #order #reduction
Time domain model order reduction by wavelet collocation method (XZ, LF, YS, WC, DZ, CC), pp. 21–26.
DATEDATE-2006-ZhouSMS #analysis #composition #grid #power management #scalability #using
Large power grid analysis using domain decomposition (QZ, KS, KM, DCS), pp. 27–32.
ITiCSEITiCSE-2006-HigginsB #assessment #diagrams
Formative computer based assessment in diagram based domains (CAH, BB), pp. 98–102.
TACASTACAS-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.
PLDIPLDI-2006-JohnsonE #algorithm #composition #independence
Context-sensitive domain-independent algorithm composition and selection (TAJ, RE), pp. 181–192.
SASSAS-2006-AmiranoffCF #abstract domain #relational
Beyond Iteration Vectors: Instancewise Relational Abstract Domains (PA, AC, PF), pp. 161–180.
SASSAS-2006-SankaranarayananISG #static analysis
Static Analysis in Disjunctive Numerical Domains (SS, FI, IS, AG), pp. 3–17.
ICALPICALP-v2-2006-Mogelberg #formal method #modelling #morphism #parametricity #polymorphism
Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism (REM), pp. 372–383.
FMFM-2006-Boute #formal method #independence #problem #using
Using Domain-Independent Problems for Introducing Formal Methods (RTB), pp. 316–331.
FMFM-2006-Zave #composition #network
Compositional Binding in Network Domains (PZ), pp. 332–347.
ICEISICEIS-AIDSS-2006-SombattheeraG #algorithm #distributed #linear
A Distributed Algorithm for Coalition Formation in Linear Production Domain (CS, AG), pp. 17–22.
ICEISICEIS-ISAS-2006-ReiterKRSS #framework #generative #model transformation
A Generator Framework for Domain-Specific Model Transformation Languages (TR, EK, WR, WS, MS), pp. 27–35.
ICEISICEIS-ISAS-2006-SturmDS #domain model #modelling
Domain Modeling with Object-Process Methodology (AS, DD, OS), pp. 144–151.
ICEISICEIS-J-2006-BarresiRLM #integration #semantics
Semantic Resources Integration and Interoperability in the Construction Domain (SB, YR, CL, FM), pp. 336–347.
ICEISICEIS-SAIC-2006-MartinelliSS #using
E-Procurement Adoption among Italian Firms by Using Domain Names (MM, IS, MS), pp. 124–131.
CIKMCIKM-2006-KimC #concept #mining #named #similarity #taxonomy
CP/CV: concept similarity mining without frequency information from domain describing taxonomies (JWK, KSC), pp. 483–492.
CIKMCIKM-2006-YanSL #concept #documentation #information retrieval #readability
Concept-based document readability in domain specific information retrieval (XY, DS, XL), pp. 540–549.
ICPRICPR-v1-2006-KimC #ambiguity #clustering #permutation
ICA-Based Clustering for Resolving Permutation Ambiguity in Frequency-Domain Convolutive Source Separation (MK, SC), pp. 950–954.
ICPRICPR-v1-2006-LlanoVKM #representation #verification
An Illumination Insensitive Representation for Face Verification in the Frequency Domain (EGL, HMV, JK, KM), pp. 215–218.
ICPRICPR-v2-2006-JuszczakTVD
Domain Based LDA and QDA (PJ, DMJT, SV, RPWD), pp. 788–791.
ICPRICPR-v3-2006-GunselK #learning
Perceptual Audio Watermarking by Learning in Wavelet Domain (BG, SK), pp. 383–386.
ICPRICPR-v3-2006-JayalakshmiMD
Digital Watermarking in Contourlet Domain (MJ, SNM, UBD), pp. 861–864.
ICPRICPR-v3-2006-LiuWL #estimation #performance
Winner Update on Walsh-Hadamard Domain for Fast Motion Estimation (SWL, SDW, SHL), pp. 794–797.
ICPRICPR-v3-2006-LiWG #algorithm #novel
A Novel Blind Watermarking Algorithm in Contourlet Domain (HL, JW, HG), pp. 639–642.
ICPRICPR-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.
KDDKDD-2006-Cavaretta #challenge #data mining #mining
Data mining challenges in the automotive domain (MC), p. 836.
KDDKDD-2006-VirdhagriswaranD #detection
Camouflaged fraud detection in domains with complex relationships (SV, GD), pp. 941–947.
SEKESEKE-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.
SEKESEKE-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.
SIGIRSIGIR-2006-DayanikLMMG #classification
Constructing informative prior distributions from domain knowledge in text classification (AAD, DDL, DM, VM, AG), pp. 493–500.
SIGIRSIGIR-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.
ECMFAECMDA-FA-2006-BraheO #modelling #process #uml
Business Process Modeling: Defining Domain Specific Modeling Languages by Use of UML Profiles (SB, ), pp. 241–255.
MODELSMoDELS-2006-HafnerAB #architecture #modelling #qvt #security #towards
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MODELSMoDELS-2006-RashidM #domain model #modelling
Domain Models Are NOT Aspect Free (AR, AMDM), pp. 155–169.
MODELSMoDELS-2006-HafnerAB #architecture #modelling #qvt #security #towards
Towards a MOF/QVT-Based Domain Architecture for Model Driven Security (MH, MA, RB), pp. 275–290.
MODELSMoDELS-2006-RashidM #domain model #modelling
Domain Models Are NOT Aspect Free (AR, AMDM), pp. 155–169.
GPCEGPCE-2006-BarronC #domain-specific language #named #pervasive
YABS: a domain-specific language for pervasive computing based on stigmergy (PB, VC), pp. 285–294.
LOPSTRLOPSTR-2006-BagnaraDHMZ #named
Grids: A Domain for Analyzing the Distribution of Numerical Values (RB, KD, PMH, MM, EZ), pp. 219–235.
PADLPADL-2006-HawkinsS #constraints #finite #hybrid #satisfiability #theorem proving
A Hybrid BDD and SAT Finite Domain Constraint Solver (PH, PJS), pp. 103–117.
RERE-2006-KaiyaS #elicitation #ontology #requirements #using
Using Domain Ontology as Domain Knowledge for Requirements Elicitation (HK, MS), pp. 186–195.
SACSAC-2006-DelavalR #domain-specific language #generative #synthesis
A domain-specific language for task handlers generation, applying discrete controller synthesis (GD, ÉR), pp. 901–905.
SACSAC-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.
SACSAC-2006-KornerW #evaluation #multi
Bias-free hypothesis evaluation in multirelational domains (CK, SW), pp. 639–640.
SACSAC-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.
SACSAC-2006-ZytnickiGS #consistency #csp
A new local consistency for weighted CSP dedicated to long domains (MZ, CG, TS), pp. 394–398.
LDTALDTA-2006-ZengME #data flow #domain-specific language #generative
A Domain-Specific Language for Generating Dataflow Analyzers (JZ, CM, SAE), pp. 103–119.
SPLCSPLC-2006-Tolvanen #code generation #modelling #product line
Domain-Specific Modeling and Code Generation for Product Lines (JPT), p. 229.
HPDCHPDC-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.
LCTESLCTES-2006-CoopriderR #abstract domain #embedded
Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.
CSLCSL-2006-BodirskyC #constraints #quantifier
Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.
CSLCSL-2006-LowS #modelling
Universality Results for Models in Locally Boolean Domains (TL, TS), pp. 456–470.
ICLPICLP-2006-MantsivodaLM #logic programming
Logic Programming in Knowledge Domains (AM, VL, AM), pp. 451–452.
LICSLICS-2006-CoquandS #normalisation #proving #using
A Proof of Strong Normalisation using Domain Theory (TC, AS), pp. 307–316.
ICSTSAT-2006-MorgadoMMM #integer #modelling
Counting Models in Integer Domains (AM, PJM, VMM, JPMS), pp. 410–423.
VMCAIVMCAI-2006-Mine #abstract domain #precise
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains (AM), pp. 348–363.
WICSAWICSA-2005-Riva #architecture #logic #re-engineering
Bridging the Concrete and Logical Domains for Software Architecture Reconstruction (CR), pp. 263–264.
ASEASE-2005-WuG #automation #domain-specific language #generative #testing #tool support
Automated generation of testing tools for domain-specific languages (HW, JG), pp. 436–439.
CASECASE-2005-BonfeFS #modelling #multi #object-oriented
Object-oriented modeling of multi-domain systems (MB, CF, CS), pp. 363–368.
CASECASE-2005-ZhuD #design #layout #synthesis
Grasp synthesis and fixture layout design in discrete domain (XZ, HD), pp. 73–78.
DACDAC-2005-SauerGS #composition #embedded #framework #implementation
Modular domain-specific implementation and exploration framework for embedded software platforms (CS, MG, SS), pp. 254–259.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DocEngDocEng-2005-Oda
A system of collecting domain-specific jargons (HO), p. 29.
SIGMODSIGMOD-2005-ChanET
Stratified Computation of Skylines with Partially-Ordered Domains (CYC, PKE, KLT), pp. 203–214.
SIGMODSIGMOD-2005-LeFevreDR #named #performance
Incognito: Efficient Full-Domain K-Anonymity (KL, DJD, RR), pp. 49–60.
VLDBVLDB-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.
PLDIPLDI-2005-FisherG #ad hoc #domain-specific language #named
PADS: a domain-specific language for processing ad hoc data (KF, RG), pp. 295–304.
SASSAS-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.
ICALPICALP-2005-Mislove #random
Discrete Random Variables over Domains (MWM), pp. 1006–1017.
IFMIFM-2005-BodeveixFLM #domain-specific language #formal method
Formal Methods Meet Domain Specific Languages (JPB, MF, JLL, GM), pp. 187–206.
EDOCEDOC-2005-GovernatoriM #contract #domain-specific language
Dealing with contract violations: formalism and domain specific language (GG, ZM), pp. 46–57.
ICEISICEIS-v5-2005-DexterP #assurance #quality
Cross-Domain Mapping: Quality Assurance and E-Learning Provision (HD, JP), pp. 199–205.
CIKMCIKM-2005-WuLBC
Domain-specific keyphrase extraction (YfBW, QL, RSB, XC), pp. 283–284.
ICMLICML-2005-SunD #approach #learning
Explanation-Augmented SVM: an approach to incorporating domain knowledge into SVM learning (QS, GD), pp. 864–871.
KDDKDD-2005-WangLLMZ #using #web
Web object indexing using domain knowledge (MW, ZL, LL, WYM, NZ), pp. 294–303.
LSOLSO-2005-DingsoyrB #using
Using Open Space Technology as a Method to Share Domain Knowledge (TD, FOB), pp. 102–106.
MLDMMLDM-2005-GillamA #mining
Pattern Mining Across Domain-Specific Text Collections (LG, KA), pp. 570–579.
SEKESEKE-2005-AvesaniBPS #requirements
Exploiting Domain Knowledge in Requirements Prioritization (PA, CB, AP, AS), pp. 467–472.
SEKESEKE-2005-ChiangTK #classification #multi #performance #using
Fast Class Rendering Using Multiresolution Classification in Discrete Cosine Transform Domain (TWC, TT, LJK), pp. 689–694.
SEKESEKE-2005-HamzaF #reuse
Stable Atomic Knowledge Pattern (SAK) — Enabling Inter-Domain Knowledge Reuse (HSH, MEF), pp. 127–132.
SIGIRSIGIR-2005-HernandezMP #information management
Customizing information access according to domain and task knowledge: the ontoExplo system (NH, JM, SP), pp. 607–608.
ECMFAECMDA-FA-2005-BurgstallerWFBF #development #distributed #monitoring #using
Using Domain Driven Development for Monitoring Distributed Systems (RB, EW, LF, MB, TF), pp. 19–24.
ECMFAECMDA-FA-2005-ChanP #approach #contract #design #metamodelling
Designing a Domain-Specific Contract Language: A Metamodelling Approach (ZEC, RFP), pp. 175–189.
MODELSMoDELS-2005-EstublierVI #domain-specific language #re-engineering
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.
MODELSMoDELS-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.
MODELSMoDELS-2005-Steimann #domain model #modelling
Domain Models Are Aspect Free (FS), pp. 171–185.
MODELSMoDELS-2005-Tolvanen #modelling
Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.
MODELSMoDELS-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.
MODELSMoDELS-2005-WalshBS #configuration management #domain model
A Domain Model for Dynamic System Reconfiguration (DW, FB, BS), pp. 553–567.
MODELSMoDELS-2005-EstublierVI #domain-specific language #re-engineering
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.
MODELSMoDELS-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.
MODELSMoDELS-2005-Steimann #domain model #modelling
Domain Models Are Aspect Free (FS), pp. 171–185.
MODELSMoDELS-2005-Tolvanen #modelling
Keynote Address II: Domain-Specific Modeling: No One Size Fits All (JPT), p. 279.
MODELSMoDELS-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.
MODELSMoDELS-2005-WalshBS #configuration management #domain model
A Domain Model for Dynamic System Reconfiguration (DW, FB, BS), pp. 553–567.
GPCEGPCE-2005-AliasB #domain-specific language #on the #re-engineering
On Domain-Specific Languages Reengineering (CA, DB), pp. 63–77.
GPCEGPCE-2005-LawallDMM #composition #domain-specific language
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language (JLL, HD, GM, AFLM), pp. 78–93.
GPCEGPCE-2005-MossM #code generation #domain-specific language #performance
Efficient Code Generation for a Domain Specific Language (AM, HLM), pp. 47–62.
LOPSTRLOPSTR-2005-GallagherPA #abstract domain #type system
Converting One Type-Based Abstract Domain to Another (JPG, GP, EA), pp. 147–162.
RERE-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.
SACSAC-2005-DavidssonHS #predict #sequence
Comparing approaches to predict transmembrane domains in protein sequences (PD, JH, KS), pp. 185–189.
SACSAC-2005-TrainaFT #formal method #image #retrieval
Image domain formalization for content-based image retrieval (CTJ, JMdF, AJMT), pp. 604–609.
SACSAC-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.
SACSAC-2005-WuGRM #debugging #domain-specific language #weaving
Weaving a debugging aspect into domain-specific language grammars (HW, JGG, SR, MM), pp. 1370–1374.
GTTSEGTTSE-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.
LDTALDTA-2005-CrepinsekMBJS #context-free grammar #domain-specific language
Inferring Context-Free Grammars for Domain-Specific Languages (MC, MM, BRB, FJ, APS), pp. 99–116.
SPLCSPLC-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.
SPLCSPLC-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.
HPCAHPCA-2005-WuJMC #adaptation #multi
Voltage and Frequency Control With Adaptive Reaction Time in Multiple-Clock-Domain Processors (QW, PJ, MM, DWC), pp. 178–189.
ICSTSAT-J-2004-AnsoteguiM05 #problem
Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables (CA, FM), pp. 1–15.
LICSLICS-2005-EdalatP
Inverse and Implicit Functions in Domain Theory (AE, DP), pp. 417–426.
LICSLICS-2005-EscardoK #programming language
Operational Domain Theory and Topology of a Sequential Programming Language (MHE, WKH), pp. 427–436.
TLCATLCA-2005-BoveC #higher-order #recursion
Recursive Functions with Higher Order Domains (AB, VC), pp. 116–130.
VMCAIVMCAI-2005-Feret #abstract domain #geometry
The Arithmetic-Geometric Progression Abstract Domain (JF), pp. 42–58.
DACDAC-2004-KulkarniBS #domain-specific language #framework
Mapping a domain specific language to a platform FPGA (CK, GJB, GS), pp. 924–927.
DACDAC-2004-MeiRCHD #performance #robust
Robust, stable time-domain methods for solving MPDEs of fast/slow systems (TM, JSR, TSC, SAH, DMD), pp. 848–853.
DACDAC-2004-ParthasarathyICW #constraints #performance #theorem proving
An efficient finite-domain constraint solver for circuits (GP, MKI, KTC, LCW), pp. 212–217.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-v1-2004-XuN #design #multi #testing
Wrapper Design for Testing IP Cores with Multiple Clock Domains (QX, NN), pp. 416–421.
DATEDATE-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.
DATEDATE-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.
VLDBVLDB-2004-WangWLM #database #query #web
Instance-based Schema Matching for Web Databases by Domain-specific Query Probing (JW, JRW, FHL, WYM), pp. 408–419.
CSEETCSEET-2004-Kaner #education #testing
Teaching Domain Testing: A Status Report (CK), pp. 112–117.
ESOPESOP-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.
TACASTACAS-2004-GopanDDRS
Numeric Domains with Summarized Dimensions (DG, FD, ND, TWR, SS), pp. 512–529.
ICSMEICSM-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.
SASSAS-2004-ClarisoC #abstract domain
The Octahedron Abstract Domain (RC, JC), pp. 312–327.
ICALPICALP-2004-EdalatP #theorem
A Domain Theoretic Account of Picard’s Theorem (AE, DP), pp. 494–505.
EDOCEDOC-2004-HoffnerFF #flexibility #type system
Strong and Flexible Domain Typing for Dynamic E-Business (YH, SF, CF), pp. 98–107.
ICEISICEIS-v1-2004-BaiHM #query #semantics #using
Improving View Selection in Query Rewriting Using Domain Semantics (QB, JH, MFM), pp. 177–183.
ICEISICEIS-v3-2004-KaletasAH
A Methodology for Integrating New Scientific Domains and Applications in a Virtual Laboratory Environment (ECK, HA, LOH), pp. 265–272.
ICEISICEIS-v3-2004-Ovaska #case study #e-commerce #evolution
Measuring Requirement Evolution — A Case Study in the E-Commerce Domain (PO), pp. 669–673.
ICEISICEIS-v3-2004-SchuetzelhoferG #domain model #modelling #specification #verification #xml
Formal Specification and Verification of XML-Based Business Domain Models (WS, KMG), pp. 209–216.
ICEISICEIS-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.
ECIRECIR-2004-JijkounR #multi
Answer Selection in a Multi-stream Open Domain Question Answering System (VJ, MdR), pp. 99–111.
ICPRICPR-v1-2004-MansillaH #classification #on the
On Classifier Domains of Competence (EBiM, TKH), pp. 136–139.
ICPRICPR-v2-2004-BriassouliA #analysis
Fusion of Frequency and Spatial Domain Information for Motion Analysis (AB, NA), pp. 175–178.
ICPRICPR-v3-2004-CastelanH #constraints #fourier
Combining Data-Closeness and Fourier Domain Integrability Constraints in Shape-from-Shading (MC, ERH), pp. 115–118.
ICPRICPR-v4-2004-BoubchirFB #approximate #using
Bayesian Denoising in the Wavelet-Domain Using an Analytical Approximate a-Stable Prior (LB, MJF, DB), pp. 889–892.
ICPRICPR-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.
ICPRICPR-v4-2004-SialaCCB #detection
Moving Shadow Detection with Support Vector Domain Description in the Color Ratios Space (KS, MC, FC, OB), pp. 384–387.
KRKR-2004-Barrett #compilation #hybrid
From Hybrid Systems to Universal Plans Via Domain Compilation (AB), pp. 654–661.
KRKR-2004-DelgrandeST #reasoning
Domain-Specific Preferences for Causal Reasoning and Planning (JPD, TS, HT), pp. 673–682.
SEKESEKE-2004-Chan #automation #information management #pipes and filters
Automated Support for Knowledge Engineering for A Natural Gas Pipeline Domain (CWC), pp. 86–91.
SIGIRSIGIR-2004-KruschwitzA #automation #named
UKSearch: search with automatically acquired domain knowledge (UK, HAB), p. 599.
SIGIRSIGIR-2004-RogatiY #information retrieval
Resource selection for domain-specific cross-lingual IR (MR, YY), pp. 154–161.
SIGIRSIGIR-2004-RoussinovR #learning #web
Learning patterns to answer open domain questions on the web (DR, JARF), pp. 500–501.
SIGIRSIGIR-2004-Willett #information retrieval #named
Chemoinformatics: an application domain for information retrieval techniques (PW0), p. 393.
UMLUML-2004-Reinhartz-BergerS #analysis #approach #behaviour #domain model #modelling
Behavioral Domain Analysis — The Application-Based Domain Modeling Approach (IRB, AS), pp. 410–424.
ECOOPECOOP-2004-AldrichC #alias #policy
Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.
OOPSLAOOPSLA-2004-BravenboerV #domain-specific language #strict #syntax
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions (MB, EV), pp. 365–383.
PADLPADL-2004-Fall #declarative #nondeterminism
Supporting Decisions in Complex, Uncertain Domains with Declarative Languages (AF), pp. 16–22.
RERE-2004-GordijnKSWA
Developing a Domain-Specific Cross-Organizational RE Method (JG, VK, JS, RW, HA), pp. 134–143.
SACSAC-2004-Guo #algorithm #clustering #evaluation #framework #functional
A new framework for clustering algorithm evaluation in the domain of functional genomics (AG), pp. 143–146.
SPLCSPLC-2004-Greenfield04a #domain-specific language #framework #tool support #using
Using Domain-Specific Languages, Patterns, Frameworks, and Tools to Assemble Applications (JG), p. 324.
ASPLOSASPLOS-2004-WuJMC #multi #online
Formal online methods for voltage/frequency control in multiple clock domain microprocessors (QW, PJ, MM, DWC), pp. 248–259.
HPDCHPDC-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.
LCTESLCTES-2004-ConwayE #domain-specific language #named
NDL: a domain-specific language for device drivers (CLC, SAE), pp. 30–36.
ICLPICLP-2004-GallagherH #abstract domain
Abstract Domains Based on Regular Types (JPG, KSH), pp. 27–42.
ICLPICLP-2004-JiaYY #set #source code
Adding Domain Dependent Knowledge into Answer Set Programs for Planning (XJ, JHY, LYY), pp. 400–415.
IJCARIJCAR-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.
SATSAT-2004-AnsoteguiM #problem
Mapping Problems with Finite-Domain Variables into Problems with Boolean Variables (CA, FM), pp. 111–119.
VMCAIVMCAI-2004-BagnaraHZ #set
Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.
ASEASE-2003-ChoiH #abstraction #model checking #reduction #requirements #specification #using
Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.
DATEDATE-2003-BombanaB #synthesis
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain (MB, FB), pp. 20101–20105.
DATEDATE-2003-EbadiI #comparison #implementation #multi
Time Domain Multiplexed TAM: Implementation and Comparison (ZSE, AI), pp. 10732–10737.
DATEDATE-2003-GerlingSSMT #multi #simulation
Improved Time Domain Simulation of Optical Multimode Intrasystem Interconnects (JG, OS, JS, GM, JT), pp. 11110–11111.
DATEDATE-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.
DATEDATE-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.
DRRDRR-2003-ArensB #information management #internet
Domain-oriented information extraction from the Internet (AA, KHB), pp. 286–293.
DRRDRR-2003-HurstB #health
Unconstrained invoice processing in the health insurance domain (MH, DB), pp. 172–178.
IWPCIWPC-2003-IvkovicG #architecture
Enhancing Domain-Specific Software Architecture Recovery (II, MWG), pp. 266–273.
SCAMSCAM-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–?.
AGTIVEAGTIVE-2003-HaaseMBG #agile #architecture #graph grammar #prototype
A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars (TH, OM, BB, FHG), pp. 236–242.
CHICHI-2003-BhavnaniCJLPSS
Strategy hubs: next-generation domain portals with search procedures (SKB, CKB, TMJ, RJL, FAP, JLS, VJS), pp. 393–400.
ICEISICEIS-v1-2003-EzeifeU #independence #profiling
Data Position and Profiling in Domain-Independent Warehouse Cleaning (CIE, AU), pp. 232–238.
ICEISICEIS-v2-2003-MadeiraMM #multi #named
Star — A Multiple Domain Dialog Manager (PM, MM, NJM), pp. 490–494.
ICEISICEIS-v3-2003-AnzbockD #workflow
Interorganizational Workflow in the Medical Imaging Domain (RA, SD), pp. 292–300.
ICEISICEIS-v3-2003-BrowneSW #workflow
A Two Tier, Goal-Driven Workflow Model for the Healthcare Domain (EDB, MS, JRW), pp. 32–39.
ICEISICEIS-v4-2003-ZlatevE #information management
An Investigation of the Negotiation Domain for Electronic Commerce Information Systems (ZZ, PvE), pp. 386–394.
ECIRECIR-2003-AhmadTVH #image #retrieval
Corpus-Based Thesaurus Construction for Image Retrieval in Specialist Domains (KA, MT, BV, CH), pp. 502–510.
ICMLICML-2003-FanLM
Utilizing Domain Knowledge in Neuroevolution (JF, RL, RM), pp. 170–177.
ICMLICML-2003-WinnerV #learning #named
DISTILL: Learning Domain-Specific Planners by Example (EW, MMV), pp. 800–807.
SEKESEKE-2003-Pittarello #3d #information management
3D Time-pillars: an information access metaphor for the TV Domain (FP), pp. 555–560.
SIGIRSIGIR-2003-JiZ #independence #programming #segmentation #using
Domain-independent text segmentation using anisotropic diffusion and dynamic programming (XJ, HZ), pp. 322–329.
SIGIRSIGIR-2003-YangCWK
Structured use of external knowledge for event-based open domain question answering (HY, TSC, SW, CKK), pp. 33–40.
GPCEGPCE-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.
GPCEGPCE-2003-HammondM #domain-specific language #embedded #named #realtime
Hume: A Domain-Specific Language for Real-Time Embedded Systems (KH, GM), pp. 37–56.
PPDPPPDP-2003-PaluDPR #constraints #finite #set
Integrating finite domain constraints and CLP with sets (ADP, AD, EP, GR), pp. 219–229.
SACSAC-2003-AvanciniLMSZ #categorisation
Expanding Domain-Specific Lexicons by Term Categorization (HA, AL, BM, FS, RZ), pp. 793–797.
SACSAC-2003-NgZT #approach #interactive
Integrative Approach for Computationally Inferring Protein Domain Interactions (SKN, ZZ, SHT), pp. 115–121.
CAVCAV-2003-HungarNS #automaton #learning #optimisation
Domain-Specific Optimization in Automata Learning (HH, ON, BS), pp. 315–327.
VMCAIVMCAI-2003-GiacobazziM #abstraction
Domain Compression for Complete Abstractions (RG, IM), pp. 146–160.
ASEASE-2002-RosuW #towards
Towards Certifying Domain-Specific Properties of Synthesized Code (GR, JW), pp. 289–294.
DACDAC-2002-Casinovi #algorithm #analysis
An algorithm for frequency-domain noise analysis in nonlinear systems (GC), pp. 514–517.
DACDAC-2002-Roychowdhury
A time-domain RF steady-state method for closely spaced tones (JSR), pp. 510–513.
DACDAC-2002-SanderJ #communication #design #refinement
Transformation based communication and clock domain refinement for system design (IS, AJ), pp. 281–286.
DACDAC-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.
DATEDATE-2002-ChenBKR #reduction #using
Model Reduction in the Time-Domain Using Laguerre Polynomials and Krylov Methods (YC, VB, CKK, KR), pp. 931–935.
VLDBVLDB-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.
SASSAS-2002-Mine #abstract domain #graph #relational
A Few Graph-Based Relational Numerical Abstract Domains (AM), pp. 117–132.
STOCSTOC-2002-FischerLNRRS #testing
Monotonicity testing over general poset domains (EF, EL, IN, SR, RR, AS), pp. 474–483.
FLOPSFLOPS-2002-Garcia-DiazN #constraints #quantifier
Solving Mixed Quantified Constraints over a Domain Based on Real Numbers and Herbrand Terms (MGD, SN), pp. 103–118.
CAiSECAiSE-2002-PrakashB #modelling
Generic Models for Engineering Methods of Diverse Domains (NP, MPSB), pp. 612–625.
CAiSECAiSE-2002-TorchianoB #modelling #uml
Domain-Specific Instance Models in UML (MT, GB), pp. 774–777.
ICEISICEIS-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.
ECIRECIR-2002-FinnKS #classification #information management
Genre Classification and Domain Transfer for Information Filtering (AF, NK, BS), pp. 353–362.
ICMLICML-2002-GambergerL #case study #induction
Descriptive Induction through Subgroup Discovery: A Case Study in a Medical Domain (DG, NL), pp. 163–170.
ICMLICML-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.
ICPRICPR-v1-2002-LamarreC #modelling #using
Background Subtraction Using Competing Models in the Block-DCT Domain (ML, JJC), pp. 299–302.
ICPRICPR-v1-2002-LiH #approach #recognition
Recognition of Human Periodic Motion — A Frequency Domain Approach (BL, HH), pp. 311–314.
ICPRICPR-v1-2002-LuWL #detection
A Target Detection Method in Range-Doppler Domain from SAR Echo Data (LL, RW, WL), pp. 91–94.
ICPRICPR-v2-2002-LuCLF #realtime #video
Real-Time MPEG2 Video Watermarking in the VLC Domain (CSL, JRC, HYML, KCF), p. 552–?.
ICPRICPR-v2-2002-WasikS #robust #segmentation
Robust Color Segmentation for the RoboCup Domain (ZW, AS), pp. 651–650.
ICPRICPR-v3-2002-DeschenesZF #estimation
Homotopy-Based Estimation of Depth Cues in Spatial Domain (FD, DZ, PF), pp. 627–630.
KDDKDD-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.
KDDKDD-2002-TejadaKM #identification #independence #learning #string
Learning domain-independent string transformation weights for high accuracy object identification (ST, CAK, SM), pp. 350–359.
KRKR-2002-Broxvall #constraints #infinity
Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints (MB), pp. 509–520.
SEKESEKE-2002-BarberHB #architecture #evaluation #performance
Performance evaluation of domain reference architectures (KSB, JH, GB), pp. 225–232.
SEKESEKE-2002-BarbutiTBF #bytecode #java #verification
Fixing the Java bytecode verifier by a suitable type domain (RB, LT, CB, NDF), pp. 377–382.
SEKESEKE-2002-FalboGD #approach #domain model #ontology
An ontological approach to domain engineering (RdAF, GG, KCD), pp. 351–358.
SEKESEKE-2002-Fernandez-CondeG #analysis #framework #object-oriented
Domain analysis of object-oriented frameworks in FrameDoc (CFC, PAGC), pp. 27–33.
SEKESEKE-2002-WangCH #approach #design #knowledge-based
Design of knowledge-based systems with the ontology-domain-system approach (XW, CWC, HJH), pp. 233–236.
UMLUML-2002-AnidoCRS #concept #corba
Applying MDA Concepts to Develop a Domain CORBA Facility for E-learning (LEAR, MC, JSR, JMS), pp. 321–335.
UMLUML-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.
LOPSTRLOPSTR-2002-SimonKH #abstract domain #difference #linear
Two Variables per Linear Inequality as an Abstract Domain (AS, AK, JMH), pp. 71–89.
PPDPPPDP-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.
RERE-2002-Cysneiros #health #requirements
Requirements Engineering in the Health Care Domain (LMC), pp. 350–356.
RERE-2002-JohnMST #analysis #evolution #performance
Efficient and Systematic Software Evolution through Domain Analysis (IJ, DM, PS, ET), pp. 237–246.
SACSAC-2002-HaddadT #approach #reuse
Reusable subsystems: domain-based approach (HH, HT), pp. 971–975.
ICSEICSE-2002-Silva #approach #requirements #specification
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering (AS), pp. 94–104.
LDTALDTA-2002-Consel #domain-specific language #how #what #why
Domain-Specific Languages: What, Why, How (CC), p. 1.
SPLCSPLC-2002-VogetB #product line
Establishing a Software Product Line in an Immature Domain (SV, MB), pp. 60–67.
HPCAHPCA-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.
CADECADE-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.
ICLPICLP-2002-Angelopoulos #bibliography #finite #perspective #probability
Probabilistic Finite Domains: A Brief Overview (NA), p. 475.
ICLPICLP-2002-FerrandL #approximate #finite #logic programming #reduction
A Logic Program Characterization of Domain Reduction Approximations in Finite Domain CSPs (GF, AL), pp. 478–479.
ICLPICLP-2002-Thielscher #constraints #finite #reasoning
Reasoning about Actions with CHRs and Finite Domain Constraints (MT), pp. 70–84.
ISSTAISSTA-2002-Stoller #clustering
Domain partitioning for open reactive systems (SDS), pp. 44–54.
LICSLICS-2002-EdalatL #calculus #difference
Domain Theory and Differential Calculus (Functions of one Variable) (AE, AL), pp. 277–286.
CBSECBSE-2001-Wile #architecture #using
Ensuring General-Purpose and Domain-Specific Properties Using Architectural Styles (DSW), p. 6.
ASEASE-2001-Kong #implementation #interactive #specification
Implementation of Specification Conjunction and Domain Interaction in Rosetta (CK), p. 435.
ASEASE-2001-LowryPR #policy
Certifying Domain-Specific Policies (MRL, TP, GR), pp. 81–90.
DACDAC-2001-KudlugiST #functional #multi #scheduling #verification
Static Scheduling of Multiple Asynchronous Domains For Functional Verification (MK, CS, RT), pp. 647–652.
DATEDATE-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.
DATEDATE-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.
ICDARICDAR-2001-KieningerD #recognition
Applying the T-Recs Table Recognition System to the Business Letter Domain (TK, AD), pp. 518–522.
VLDBVLDB-2001-Huyn
Scientific OLAP for the Biotech Domain (NH), pp. 645–648.
CSMRCSMR-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.
WCREWCRE-2001-Mine #abstract domain
The Octagon Abstract Domain (AM), p. 310–?.
VISSOFTSVIS-2001-Tal #algorithm #animation
Algorithm Animation Systems for Constrained Domains (AT), pp. 101–112.
ICEISICEIS-v1-2001-HengP #resource management
Domain Knowledge as Corporate Resource of Financial Firms (MSHH, SCAP), pp. 69–74.
ICEISICEIS-v2-2001-FilhoOL #framework
Domain Oriented Framework Construction (IMF, TCdO, CJPdL), pp. 599–607.
ICEISICEIS-v2-2001-MorilloFD #analysis #named
RSHP: A Scheme to Classify Information in a Domain Analysis Environment (JLM, JMF, ID), pp. 686–690.
CIKMCIKM-2001-FeldmanALASR #independence #information management
A Domain Independent Environment for Creating Information Extraction Modules (RF, YA, YL, KA, YS, BR), pp. 586–588.
ICMLICML-2001-ZhangL #naive bayes
Learnability of Augmented Naive Bayes in Nonimal Domains (HZ, CXL), pp. 617–623.
LSOLSO-2001-Henninger #learning
Organizational Learning in Dynamic Domains (SH), pp. 8–16.
SEKESEKE-2001-AlonsoCGM #data mining #mining
Combining Expert Knowledge and Data Mining in a Medical Diagnosis Domain (FA, JPCV, ÁLG, CM), pp. 412–419.
SEKESEKE-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.
SEKESEKE-2001-CasanovaWD #information management
Explicit Domain Knowledge Model in Geographic Information Systems (MC, TW, MD), pp. 331–340.
SEKESEKE-2001-TalensBD #multi #reuse
Object Indexes to Implement a Case Base for Reuse in a Multi-Domain Context (GT, DB, ID), pp. 95–101.
SIGIRSIGIR-2001-Zechner #automation #generative #strict #summary
Automatic Generation of Concise Summaries of Spoken Dialogues in Unrestricted Domains (KZ), pp. 199–207.
ECOOPECOOP-2001-PolletCC #java #source code #static analysis
Distinctness and Sharing Domains for Static Analysis of Java Programs (IP, BLC, AC), pp. 77–98.
TOOLSTOOLS-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.
PPDPPPDP-2001-GiavittoM #approximate #data type #declarative
Declarative Definition of Group Indexed Data Structures and Approximation of Their Domains (JLG, OM), pp. 150–161.
PPDPPPDP-2001-SchulteS #bound #question
When Do Bounds and Domain Propagation Lead to the Same Search Space? (CS, PJS), pp. 115–126.
RERE-2001-JarzabekZ #domain model #modelling #requirements #xml
XML-Based Method and Tool for Handling Variant Requirements in Domain Models (SJ, HZ), pp. 166–173.
RERE-2001-RidaoDL #independence
Domain Independent Regularities in Scenarios (MR, JHD, JCSdPL), pp. 120–127.
FSEESEC-FSE-2001-LippertR #adaptation #agile
Adapting XP to complex application domains (ML, SR), pp. 316–317.
ICSEICSE-2001-Shepard #performance #set #source code
An Efficient Set of Software Degree Programs for One Domain (TS), pp. 623–632.
IJCARIJCAR-2001-CerritoM #logic #quantifier
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation (SC, MCM), pp. 137–151.
IJCARIJCAR-2001-HaarslevMW #approach #logic #motivation
The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach (VH, RM, MW), pp. 29–44.
IJCARIJCAR-2001-Lutz #logic
NEXPTIME-Complete Description Logics with Concrete Domains (CL), pp. 45–60.
IJCARIJCAR-2001-LutzSWZ #constant #logic
Tableaux for Temporal Description Logic with Constant Domains (CL, HS, FW, MZ), pp. 121–136.
CBSECBSE-2000-HallsteinsenDJO #architecture #component
A Component Oriented Domain Architecture for Fish Farming (SH, ØD, MJ, JOO), p. 5.
ASEASE-2000-MorisioTS #analysis #uml
Extending UML to Support Domain Analysis (MM, GT, MES), pp. 321–324.
DACDAC-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.
HTHT-2000-LiKVT #logic #web
Defining logical domains in a web site (WSL, OK, QV, HT), pp. 123–132.
HTHT-2000-MillardMDR #hypermedia #named
FOHM: a fundamental open hypertext model for investigating interoperability between hypertext domains (DEM, LM, HCD, SR), pp. 93–102.
VLDBVLDB-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.
VLDBVLDB-2000-Tsur #data mining #mining
Data Mining in the Bioinformatics Domain (ST), pp. 711–714.
ESOPESOP-2000-HeatonHK #abstract domain
Abstract Domains for Universal and Existential Properties (AH, PMH, AK), pp. 150–164.
FASEFASE-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.
WRLAWRLA-2000-Ringeissen #finite #rule-based
Handling Relations over Finite Domains in the Rule-Based System ELAN (CR), pp. 194–211.
SASSAS-2000-Scozzari #abstract domain #analysis #semantics
Abstract Domains for Sharing Analysis by Optimal Semantics (FS), pp. 397–412.
ICALPICALP-2000-Martin #metric #process
The Measurement Process in Domain Theory (KM), pp. 116–126.
CIKMCIKM-2000-Zaki #category theory #constraints #mining #sequence
Sequence Mining in Categorical Domains: Incorporating Constraints (MJZ), pp. 422–429.
ICMLICML-2000-BrutlagM #challenge #classification #email
Challenges of the Email Domain for Text Classification (JDB, CM), pp. 103–110.
ICMLICML-2000-SlatteryM #relational #testing
Discovering Test Set Regularities in Relational Domains (SS, TMM), pp. 895–902.
ICPRICPR-v1-2000-YoonDD #detection #video
Event Detection from MPEG Video in the Compressed Domain (KY, DD, DSD), pp. 1819–1822.
ICPRICPR-v3-2000-PorterMT #correlation #detection #using #video
Video Cut Detection using Frequency Domain Correlation (SVP, MM, BTT), pp. 3413–3416.
ICPRICPR-v3-2000-SteinbachG #3d #cost analysis #estimation
An Image-Domain Cost Function for 3-D Rigid Body Motion Estimation (EGS, BG), pp. 3823–3826.
KRKR-2000-SchulzH #experience #information management #reuse #scalability
Knowledge Engineering by Large-Scale Knowledge Reuse — Experience from the Medical Domain (SS, UH), pp. 601–610.
SIGIRSIGIR-2000-FukumotoS #dependence
Event tracking based on domain dependency (FF, YS), pp. 57–64.
ECOOPECOOP-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.
TOOLSTOOLS-EUROPE-2000-Dujmovic #automation #configuration management #framework #industrial
An Understandable and Configurable Domain-Specific Framework for Industrial Automation Applications (SD), pp. 348–358.
PPDPPPDP-2000-GiacobazziM #semantics #symmetry
A characterization of symmetric semantics by domain complementation (RG, IM), pp. 115–126.
GPCESAIG-2000-Kieburtz #domain-specific language #implementation
Implementing Closed Domain-Specific Languages (RBK), pp. 1–2.
SACSAC-2000-Wyk #domain-specific language
Domain Specific Meta Languages (EVW), pp. 799–803.
SPLCSPLC-2000-ArdisDDLNOP #domain model
Domain engineered configuration control (MAA, PD, LD, WJL, LHN, RGO, PMP), pp. 479–494.
SPLCSPLC-2000-LeeKKCKC
Domain-oriented engineering of elevator control software (KL, KCK, EK, WC, BK, BWC), pp. 3–22.
ICLPCL-2000-HuiG #approach #constraints #finite
Developing Finite Domain Constraints — A Data Model Approach (KyH, PMDG), pp. 448–462.
ISSTAISSTA-2000-WoodwardA #fault #testing
Testability, fault size and the domain-to-range ratio: An eternal triangle (MRW, ZAAK), pp. 168–172.
WICSAWICSA-1999-Pronk #architecture #product line
Domain-Specific Architectures and Product Families (BJP), pp. 357–367.
WICSAWICSA-1999-RiegelKS #architecture #modelling #using
Modeling Software Architecture Using Domain-Specific Patterns (JPR, CK, MS), pp. 273–292.
ASEASE-1999-ReyesR #generative #named
Siddhartha: A Method for Developing Domain-Specific Test Driver Generators (AAR, DJR), p. 81–?.
DACDAC-1999-Bergamaschi #behaviour #graph #logic #network #synthesis
Behavioral Network Graph: Unifying the Domains of High-Level and Logic Synthesis (RAB), pp. 213–218.
DATEDATE-1999-Kuchcinski #constraints #finite #graph #scheduling #using
Integrated Resource Assignment and Scheduling of Task Graphs Using Finite Domain Constraints (KK), pp. 772–773.
ICDARICDAR-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.
SIGMODSIGMOD-1999-LometT #logic
Logical Logging to Extend Recovery to New Domains (DBL, MRT), pp. 73–84.
CSMRCSMR-1999-KrikhaarPZ #resource management
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage (RLK, MP, JZ), pp. 14–21.
WCREWCRE-1999-FreitasL #reuse #reverse engineering #tool support
Reusing Domains for the Construction of Reverse Engineering Tools (FGdF, JCSdPL), p. 24–?.
AGTIVEAGTIVE-1999-Mens #evolution #graph grammar #independence
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution (TM), pp. 127–143.
HCIHCI-CCAD-1999-Davies #visualisation
Expertise in a complex domain: supporting creativity through knowledge visualisation and re-description (SPD), pp. 112–116.
HCIHCI-CCAD-1999-PatelKR #learning
Cognitive apprenticeship based learning environment in numeric domains (AP, K, DR), pp. 637–641.
HCIHCI-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.
HCIHCI-CCAD-1999-VirvouM #algebra #authoring
An authoring tool for algebra-related domains (MV, MM), pp. 647–651.
HCIHCI-EI-1999-Brandt-PookFWS #recognition #speech
Integrated Recognition and Interpretation of Speech for a Construction Task Domain (HBP, GAF, SW, GS), pp. 550–554.
HCIHCI-EI-1999-Fach #design pattern
Design Patterns: Bridges Between Application Domain and Software Labs (PWF), pp. 909–912.
CAiSECAiSE-1999-LesperanceKMY #modelling
Modeling Dynamic Domains with ConGolog (YL, TGK, JM, ESKY), pp. 365–380.
EDOCEDOC-1999-NublingPZ #process
OMF-an object request broker for the process control application domain (MN, CP, CZ), pp. 126–134.
ICEISICEIS-1999-KiniSJ #analysis #visualisation
A System for Analysis & Visualization of Domain Specific Data (SNK, S, KPJ), pp. 82–90.
ICEISICEIS-1999-ReisM99a #modelling #multi
Task Modelling in a Multi-Agent Logistic Domain (JR, NJM), p. 769.
CIKMCIKM-1999-YoonHPM #information management #using
Using Domain Knowledge in Knowledge Discovery (SCY, LJH, EKP, SAMM), pp. 243–250.
ICMLICML-1999-GambergerLG
Experiments with Noise Filtering in a Medical Domain (DG, NL, CG), pp. 143–151.
UMLUML-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.
TOOLSTOOLS-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.
TOOLSTOOLS-PACIFIC-1999-MahemoffJ #multi #mvc
Handling Multiple Domain Objects with Model-View-Controller (MM, LJ), pp. 28–39.
TOOLSTOOLS-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.
GPCEGCSE-1999-BayerMW #analysis
Customizable Domain Analysis (JB, DM, TW), pp. 178–194.
GPCEGCSE-1999-DHondtMW #logic programming #using
Using Reflective Logic Programming to Describe Domain Knowledge as an Aspect (MD, WDM, RW), pp. 16–23.
LOPSTRLOPSTR-1999-HoweK #source code #using
Specialising Fininte Domain Programs Using Polyhedra (JMH, AK), pp. 118–135.
LOPSTRLOPSTR-1999-SmausHK #analysis #logic programming #source code
Mode Analysis Domains for Typed Logic Programs (JGS, PMH, AK), pp. 82–101.
PPDPPPDP-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.
ICSEICSE-1999-FregoneseZC #architecture #framework #modelling
Architectural Framework Modeling in Telecommunication Domain (GF, AZ, GC), pp. 526–534.
HPDCHPDC-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.
CAVCAV-1999-BozgaM #on the #representation
On the Representation of Probabilities over Structured Domains (MB, OM), pp. 261–273.
CAVCAV-1999-PnueliRSS #similarity
Deciding Equality Formulas by Small Domains Instantiations (AP, YR, OS, MS), pp. 455–469.
ICLPICLP-1999-GavanelliLMM
Domains as First Class Objects in CLP(FD) (MG, EL, PM, MM), p. 608.
ASEASE-1998-BlaineGLSW #named #synthesis
Planware — Domain-Specific Synthesis of High-Performance Schedulers (LB, LG, JL, DRS, SJW), p. 270–?.
ASEASE-1998-ClaytonRW #framework #named
Dowsing: A Tool Framework for Domain-Oriented Browsing of Software Artifacts (RC, SR, LMW), p. 204–?.
DACDAC-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.
DACDAC-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.
SIGMODSIGMOD-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.
FoSSaCSFoSSaCS-1998-Mislove
Generalizing Domain Theory (MWM), pp. 1–19.
SASSAS-1998-Giacobazzi #abstract interpretation #tutorial
A Tutorial on Domain Theory in Abstract Interpretation (RG), pp. 349–350.
FMFM-1998-KutterST #design #domain-specific language #lifecycle
Integrating Domain Specific Language Design in the Software Life Cycle (PWK, DS, LT), pp. 196–212.
CSCWCSCW-1998-MoranMC #tool support
Tailorable Domain Objects as Meeting Tools for an Electronic Whiteboard (TPM, WvM, PC), pp. 295–304.
CAiSECAiSE-1998-SteinerKN #java #named
OMS/Java: Model Extensibility of OODBMS for Advanced Application Domains (AS, AK, MCN), pp. 115–138.
CIKMCIKM-1998-ClairLP #process
Attribute Weighting: A Method of Applying Domain Knowledge in the Decision Tree Process (CSC, CL, NP), pp. 259–266.
ICMLICML-1998-PendrithM #analysis #learning #markov
An Analysis of Direct Reinforcement Learning in Non-Markovian Domains (MDP, MM), pp. 421–429.
UMLUML-1998-KandeMPSW #design #uml
Applying UML to Design an Inter-domain Service Management Application (MMK, SM, OP, LS, MW), pp. 200–214.
TOOLSTOOLS-ASIA-1998-JacobsenKN #abstraction #development #modelling
Models, Domains and Abstraction in Software Development (EEJ, BBK, PN), pp. 28–42.
TOOLSTOOLS-ASIA-1998-LuJLFCXW #domain model #modelling #named
OSNET — A Language for Domain Modeling (RL, ZJ, LL, GF, GC, XX, SW), p. 83–?.
TOOLSTOOLS-ASIA-1998-Poo #policy
Policy Definition in Application-Domain-Related Classes (DCCP), pp. 94–103.
PPDPALP-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.
LOPSTRLOPSTR-1998-BaalenR #deduction #synthesis #using
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.
LOPSTRLOPSTR-1998-GabricGS #analysis #constraints #strict #theorem proving
Strictness Analysis as Finite-Domain Constraint Solving (TG, KG, HS), pp. 255–270.
ICSEICSE-1998-ShimizuFH #approach #development
A Systematic Approach to Domain-Oriented Software Development (YS, NF, MH), pp. 499–502.
ISSTAISSTA-1998-HajnalF #algorithm #fault #generative #testing
An Applicable Test Data Generation Algorithm for Domain Errors (ÁH, IF), pp. 63–72.
ICLPJICSLP-1998-CollavizzaDR #consistency
Relationships between Partial Consistencies over Continuous Domains (HC, FD, MR), pp. 345–346.
ICLPJICSLP-1998-Zhou #algorithm #compilation #constraints
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
LICSLICS-1998-CattaniFW #concurrent #formal method #recursion
A Theory of Recursive Domains with Applications to Concurrency (GLC, MPF, GW), pp. 214–225.
ASEASE-1997-Birk #modelling #re-engineering
Modeling the Application Domains of Software Engineering Technologies (AB), pp. 291–292.
ASEASE-1997-LamJ #analysis #requirements #reuse
Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology (WL, SJ), pp. 303–304.
ASEASE-1997-PautlerWQ #simulation #specification
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications (DP, SW, AQ), p. 117–?.
DACDAC-1997-AluruW #algorithm #simulation
Algorithms for Coupled Domain MEMS Simulation (NRA, JW), pp. 686–690.
DACDAC-1997-GoodbyO
Frequency-Domain Compatibility in Digital Filter BIST (LG, AO), pp. 540–545.
DACDAC-1997-KarypisAKS #clustering #multi
Multilevel Hypergraph Partitioning: Application in VLSI Domain (GK, RA, VK, SS), pp. 526–529.
DACDAC-1997-TianS #agile #fault #parametricity #simulation
Rapid Frequency-Domain Analog Fault Simulation Under Parameter Tolerances (MWT, CJRS), pp. 275–280.
ICDARICDAR-1997-StuckelbergPH #architecture #recognition #using
An Architecture for Musical Score Recognition using High-Level Domain Knowledge (MVS, CP, MH), pp. 813–818.
WCREWCRE-1997-DeBaud #named #re-engineering
DARE: Domain-Augmented ReEngineering (JMD), p. 164–?.
WCREWCRE-1997-MooreR #analysis #reuse
Domain Analysis for Transformational Reuse (MMM, SR), pp. 156–163.
WPCWPC-1997-ClaytonRTW #case study #comprehension
A Case Study of Domain-based Program Understanding (RC, SR, LT, LMW), pp. 102–110.
ICALPICALP-1997-GiacobazziR #abstract domain
Refining and Compressing Abstract Domains (RG, FR), pp. 771–781.
HCIHCI-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.
AdaTRI-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.
EDOCEDOC-1997-ThanhA #matter
Mobility Support: A Mutil-Domain Bridging Matter (DVT, JAA), pp. 348–353.
PPDPPLILP-1997-CarlssonOC #constraints #finite #theorem proving
An Open-Ended Finite Domain Constraint Solver (MC, GO, BC), pp. 191–206.
SACSAC-1997-DamianiT #analysis #clustering
Dynamic clustering for technology-based domain analysis (TDA) (ED, ADT), pp. 204–206.
SACSAC-1997-GoliP #data mining #mining #multi
Application of domain vector perfect hash join for multimedia data mining (VNRG, WP), pp. 334–339.
SACSAC-1997-Rine #reuse
Success factors for software reuse that are applicable across domains and businesses (DCR), pp. 182–186.
SACSAC-1997-SabharwalQ #algorithm #performance
An efficient algorithm for direct computation of adjacent block coefficients in the transformed domain (CLS, BQ), pp. 515–520.
ICLPICLP-1997-SmausHK #analysis #logic programming #source code
Domain Construction for Mode Analysis of Typed Logic Programs (JGS, PMH, AK), p. 418.
LICSLICS-1997-FiorePP #axiom #set
Complete Cuboidal Sets in Axiomatic Domain Theory (MPF, GDP, AJP), pp. 268–278.
TLCATLCA-1997-Buciarelli #logic #re-engineering
Logical Reconstruction of Bi-domains (AB), pp. 99–111.
DACDAC-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.
CSEETCSEE-1996-ShepardBS #automation #education #scalability #tool support
Use of Large, Domain Specific CASE tools in Undergraduate Curricula (TS, BB, MS), pp. 144–148.
ICSMEICSM-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.
WCREWCRE-1996-DeBaud #lessons learnt #re-engineering
Lessons from a Domain-Based Reengineering Effort (JMD), pp. 217–226.
WPCWPC-1996-Bull #comprehension #domain-specific language #safety #using
Comprehension of Safety-Critical Systems Using Domain-Specific Languages (TB), pp. 108–122.
SASSAS-1996-Venet #alias #analysis #source code
Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs (AV), pp. 366–382.
AdaTRI-Ada-1996-KlinglerS #architecture #implementation #named #process
DAGAR: A Process for Domain Architecture Definition and Asset Implementation (CDK, JS), pp. 231–245.
ICMLICML-1996-BoyanM #evaluation #learning #scalability
Learning Evaluation Functions for Large Acyclic Domains (JAB, AWM), pp. 63–70.
ICMLICML-1996-OkamotoY #analysis #classification #nearest neighbour
Theoretical Analysis of the Nearest Neighbor Classifier in Noisy Domains (SO, NY), pp. 355–363.
ICMLICML-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.
ICMLICML-1996-ZuckerG #learning #performance #representation
Representation Changes for Efficient Learning in Structural Domains (JDZ, JGG), pp. 543–551.
ICPRICPR-1996-ThayerG #constraints #design #using
Designing stereo heads using task domain constraints (SMT, CSG), pp. 820–824.
ICPRICPR-1996-Zhang96a #on the #parametricity
On the discretization of parameter domain in Hough transformation (MZ), pp. 527–531.
KDDKDD-1996-Rymon
SE-Trees Outperform Decision Trees in Noisy Domains (RR), pp. 331–334.
KRKR-1996-Sandewall #constraints
Assessments of Ramification Methods that Use Static Domain Constraints (ES), pp. 99–110.
SEKESEKE-1996-AgyapongB #case study #elicitation
Eliciting Domain Knowledge for Decision Support: A Case Study in the Criminal Justice System (OAA, POB), pp. 129–135.
SEKESEKE-1996-Robertson96a #problem
Domain Specific Problem Description (DR), pp. 206–213.
PPDPALP-1996-Marchiori96a #abstract domain #first-order #logic #using
Prime Factorizations of Abstract Domains Using First Order Logic (EM), pp. 209–223.
PPDPPLILP-1996-Fecht #logic programming #performance #precise #source code
An Efficient and Precise Sharing Domain for Logic Programs (CF), pp. 469–470.
REICRE-1996-KostersSV #analysis #requirements #user interface
Combined Analysis of User Interface and Domain Requirements (GK, HWS, JV), pp. 199–207.
ICSEICSE-1996-Fischer #design
Domain-Oriented Design Environments (Extended Abstract) (GF), pp. 517–520.
ICSEICSE-1996-Kaindl #domain model #how #identification #modelling
How to Identify Binary Relations for Domain Models (HK), pp. 28–36.
CADECADE-1996-DenzingerS #learning #proving #theorem proving
Learning Domain Knowledge to Improve Theorem Proving (JD, SS), pp. 62–76.
CSLCSL-1996-FioreP #axiom #modelling
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory (MPF, GDP), pp. 129–149.
ICLPJICSLP-1996-FileR #abstract domain
Complementation of Abstract Domains made Easy (GF, FR), pp. 348–362.
LICSLICS-1996-Stark #abstract domain #domain model #π-calculus
A Fully Abstract Domain Model for the π-Calculus (IS), pp. 36–42.
ASEKBSE-1995-LowryB #domain-specific language #named #performance #synthesis
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems (MRL, JVB), pp. 2–10.
ASEKBSE-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.
ICSMEICSM-1995-DeBaudR #domain model #modelling #re-engineering #using
A software re-engineering method using domain models (JMD, SR), pp. 204–213.
ICSMEICSM-1995-Tilley #modelling #reverse engineering
Domain-retargetable reverse engineering. III. Layered modeling (SRT), p. 52–?.
ICALPICALP-1995-DiekertG #concurrent #termination
A Domain for Concurrent Termination: A Generalization of Mazurkiewicz Traces (Extended Abstract) (VD, PG), pp. 15–26.
AdaTRI-Ada-1995-Sanden95a #modelling #problem
Modeling Problem-Domain Asynchrony (BS), pp. 27–69.
CAiSECAiSE-1995-GibsonC #requirements #reuse
Domain Knowledge Reuse During Requirements Engineering (MDG, KC), pp. 283–296.
CIKMCIKM-1995-AnandBH #data mining #mining
The Role of Domain Knowledge in Data Mining (SSA, DAB, JGH), pp. 37–43.
ICMLICML-1995-Blum #algorithm #empirical #scheduling
Empirical Support for Winnow and Weighted-Majority Based Algorithms: Results on a Calendar Scheduling Domain (AB), pp. 64–72.
KDDKDD-1995-DjokoCH
Analyzing the Benefits of Domain Knowledge in Substructure Discovery (SD, DJC, LBH), pp. 75–80.
SEKESEKE-1995-LiangT #domain model #learning #modelling
Apprenticeship Learning of Domain Models (YL, GT), pp. 54–62.
SACSAC-1995-PerrizoG #query
Domain vector hashing for earth system data querying (WP, VNRG), pp. 71–75.
ESECESEC-1995-Matsumoto
Quantitative Evaluations of Software Built in with Domain-specific Disciplines (MJM), pp. 438–456.
ICSEICSE-1995-HenningerLR #analysis #approach #learning
An Organizational Learning Approach to Domain Analysis (SH, KL, AR), pp. 95–104.
ICLPICLP-1995-BarthB #finite
Finite Domain and Cutting Plane Techniques in CLP(PB) (PB, AB), pp. 133–147.
ICLPICLP-1995-CarlsonC #compilation #constraints #finite
Compiling and Executing Disjunctions of Finite Domain Constraints (BC, MC), pp. 117–131.
ICLPICLP-1995-ShiraiH #constraints #problem
Two Approaches for Finite-Domain Constraint Satisfaction Problems — CP and CMGTP (YS, RH), pp. 249–263.
ICLPICLP-1995-SubrahmanianZ #modelling
Relating Stable Models and AI Planning Domains (VSS, CZ), pp. 233–247.
LICSLICS-1995-Edalat #probability #process
Domain Theory in Stochastic Processes (AE), pp. 244–254.
LICSLICS-1995-PalmgrenS
Logically Presented Domains (EP, VSH), pp. 455–463.
RTARTA-1995-Kahrs #proving #termination #towards
Towards a Domain Theory for Termination Proofs (SK), pp. 241–255.
DACDAC-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.
DATEEDAC-1994-WangFF
An Accurate Time-Domain Current Waveform Simulator for VLSI Circuits (JHW, JTF, WSF), pp. 562–566.
ASEKBSE-1994-LowryPPU94a #approach #design #formal method
A Formal Approach to Domain-Oriented Software Design Environments (MRL, AP, TP, IU), pp. 48–57.
ICSMEICSM-1994-DeBaudMR #analysis #reverse engineering
Domain Analysis and Reverse Engineering (JMD, BM, SR), pp. 326–335.
ICSMEICSM-1994-MayrhauserMW #testing
Domain Based Regression Testing (AvM, RTM, JW), pp. 26–35.
ICSMEICSM-1994-Tilley #personalisation #reverse engineering #user interface
Domain-Retargetable Reverse Engineering II: Personalized User Interfaces (SRT), pp. 336–342.
SASSAS-1994-BoulangerB #abstract domain
A Systematic Construction of Abstract Domains (DB, MB), pp. 61–77.
ICALPICALP-1994-Brauner #logic
A Model of Intuitionistic Affine Logic From Stable Domain Theory (TB), pp. 340–351.
CHICHI-1994-EisenbergF94a #design #programmable #programming
Programmable design environments: integrating end-user programming with domain-oriented assistance (ME, GF), pp. 431–437.
CIKMCIKM-1994-KwonKC #adaptation #query #using
Query Expansion Using Domain Adapted, Weighted Thesaurus in an Extended Boolean Model (OWK, MCK, KSC), pp. 140–146.
ICMLICML-1994-Asker
Improving Accuracy of Incorrect Domain Theories (LA), pp. 19–27.
ICMLICML-1994-Gil #incremental #learning #refinement
Learning by Experimentation: Incremental Refinement of Incomplete Planning Domains (YG), pp. 87–95.
KDDKDD-1994-ChiangBS #database #information management #relational #semantics
Extracting Domain Semantics for Knowledge Discovery in Relational Databases (RHLC, TMB, VCS), pp. 299–310.
SIGIRSIGIR-1994-Anick #adaptation #information retrieval
Adapting a Full-text Information Retrieval System to the Computer Troubleshooting Domain (PGA), pp. 349–358.
OOPSLAOOPSLA-1994-BogleL #using
Reducing Cross Domain Call Overhead using Batched Futures (PB, BL), pp. 341–354.
TOOLSTOOLS-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.
POPLPOPL-1994-CortesiCH #abstract domain #logic programming
Combinations of Abstract Domains for Logic Programming (AC, BLC, PVH), pp. 227–239.
REICRE-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.
REICRE-1994-MaidenS #abstraction #requirements #using
Requirements critiquing using domain abstractions (NAMM, AGS), pp. 184–193.
SACSAC-1994-Arango #analysis
A brief introduction to domain analysis (GA), pp. 42–46.
SACSAC-1994-GrissW #flexibility #hybrid
Hybrid domain-specific kits for a flexible software factory (MLG, KDW), pp. 47–52.
SACSAC-1994-Poulin #library #reuse #scalability
Balancing the need for large corporate and small domain-specific reuse libraries (JSP), pp. 88–93.
HPDCHPDC-1994-NguyenZZ #distributed #problem #using
Distributed Computation of Electromagnetic Scattering Problems Using Finite-Difference Time-Domain Decompositions (SN, BJZ, XZ), pp. 85–89.
CADECADE-1994-Slaney94a #finite #named
FINDER: Finite Domain Enumerator — System Description (JKS), pp. 798–801.
ICLPICLP-1994-CarlsonCD #constraints #finite
Entailment of Finite Domain Constraints (BC, MC, DD), pp. 339–353.
ICLPICLP-1994-Gervet #constraints #finite #named #set
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
ICLPICLP-1994-KirchnerR #algebra #constraints #theorem proving
Constraint Solving by Narrowing in Combined Algebraic Domains (HK, CR), pp. 617–631.
ICLPILPS-1994-Gervet #constraints #finite #logic programming #named #set
Conjunto: Constraint Logic Programming with Finite Set Domains (CG), pp. 339–358.
LICSLICS-1994-Edalat #integration
Domain Theory and Integration (AE), pp. 115–124.
LICSLICS-1994-FioreP #axiom #formal method #modelling
An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC (MPF, GDP), pp. 92–102.
DACDAC-1993-HeebPR #modelling #using
Frequency Domain Microwave Modeling Using Retarded Partial Element Equivalent Circuits (HH, SP, AER), pp. 702–706.
ICDARICDAR-1993-CaesarGM93a #adaptation #classification #scalability #set
Utilization of large disordered sample sets for classifier adaptation in complex domains (TC, JMG, EM), pp. 790–793.
PODSPODS-1993-Gelder #estimation #multi
Multiple Join Size Estimation by Virtual Domains (AVG), pp. 180–189.
VLDBVLDB-1993-PoulovassilisS #approach #database #functional #logic
A Domain-theoretic Approach to Integrating Functional and Logic Database Languages (AP, CS), pp. 416–428.
ICSMECSM-1993-TilleyMWW #reverse engineering
Domain-Retargetable Reverse Engineering (SRT, HAM, MJW, KW), pp. 142–151.
WCREWCRE-1993-CutilloFV #component #identification #independence #scalability #source code
Identification and Extraction of “Domain Independent” Components in Large Programs (FC, PF, GV), pp. 83–92.
PEPMPEPM-1993-CharlierH #analysis #evaluation #implementation #prolog
Groundness Analysis for PROLOG: Implementation and Evaluation of the Domain Prop (BLC, PVH), pp. 99–110.
PEPMPEPM-1993-CodishMBBH #abstract interpretation
Improving Abstract Interpretations by Combining Domains (MC, AM, MB, MJGdlB, MVH), pp. 194–205.
ICALPICALP-1993-BrachoD #automaton #concurrent
From Domains to Automata with Concurrency (FB, MD), pp. 669–681.
ICALPICALP-1993-DolevM #algorithm #distributed #on the
On Distributed Algorithms in a Broadcast Domain (DD, DM), pp. 371–387.
HCIHCI-SHI-1993-BroomeA #independence #information management
Knowledge Acquisition for a Domain-Independent Intelligent Training System (RWB, MFA), pp. 338–343.
HCIHCI-SHI-1993-Lowgren #editing #using #visual notation
Using Domain Knowledge to Support Graphical Editing (JL), pp. 421–426.
CHIINTERCHI-1993-Repenning #named #programming #visual notation
Agentsheets: a tool for building domain-oriented visual programming environments (AR), pp. 142–143.
AdaTRI-Ada-1993-CommonsG #architecture #reuse
A Model for Analyzing Megaprogramming, Reuse and Domain Specific Software Architectures (JCC, MG), pp. 58–64.
AdaTRI-Ada-1993-GrossmanKE #ada #approach #automation #programming
Automating the Ada Programming Rrocess: A Domain-Specific Approach (FG, RJK, CBEJ), pp. 302–311.
AdaTRI-Ada-1993-Salant #reuse
The Feasibility of Domain Specific Software Reuse for Electronic Warfare Systems (NS), pp. 170–179.
CIKMCIKM-1993-PissinouM #database #representation #semantics
Separating Semantics from Representation in a Temporal Object Database Domain (NP, KM), pp. 295–304.
ICMLICML-1993-Gil #independence #performance
Efficient Domain-Independent Experimentation (YG), pp. 128–134.
ICMLICML-1993-Kaelbling #learning #probability
Hierarchical Learning in Stochastic Domains: Preliminary Results (LPK), pp. 167–173.
SEKESEKE-1993-Pirlein #independence #knowledge base #reuse #scalability
Reusing a Large Domain-Independent Knowledge Base (TP), pp. 474–482.
ECOOPECOOP-1993-BirrerE #case study #experience #framework
Frameworks in the Financial Engineering Domain — An Experience Report (AB, TE), pp. 21–35.
TOOLSTOOLS-EUROPE-1993-HillG #animation #multi #object-oriented #simulation
A Multi-Domain Tool for Object-Oriented Simulation Animation (DRCH, MG), pp. 181–195.
PPDPPLILP-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.
RERE-1993-Easterbrook #domain model #modelling
Domain modelling with hierarchies of alternative viewpoints (SME), pp. 65–72.
RERE-1993-Feather #requirements
Requirements reconnoitring at the juncture of domain and instance (MSF), pp. 73–76.
RERE-1993-JacksonZ
Domain descriptions (MJ, PZ), pp. 56–64.
RERE-1993-PartridgeGBK #question
Should we specify systems or domain? (DP, DG, DRB, JK), pp. 77–80.
SACSAC-1993-GallionSCB #algorithm #learning
Dynamic ID3: A Symbolic Learning Algorithm for Many-Valued Attribute Domains (RG, CLS, DCSC, WEB), pp. 14–20.
SACSAC-1993-LungU #analysis #approach #integration #reuse
Integration of Domain Analysis and Analogical Approach for Software Reuse (CHL, JEU), pp. 48–53.
ESECESEC-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.
ICSEICSE-1993-Iscoe #bibliography #domain model #modelling #research
Domain Modeling — Overview & Ongoing Research at EDS (NI), pp. 198–200.
SOSPSOSP-1993-DruschelP #named
Fbufs: A High-Bandwidth Cross-Domain Transfer Facility (PD, LLP), pp. 189–202.
ASEKBSE-1992-Fischer #design
Domain Oriented Design Environments (Keynote) (GF), p. 32.
ASEKBSE-1992-FischerR #design #prototype
Prototypes of Domain-Oriented Design Environments (Demonstration) (GF, DR), p. 13.
ASEKBSE-1992-MaidenS #abstraction #approach #requirements
Domain Abstractions in Requirements Engineering: A Exemplar Approach (NM, AS), p. 19.
ASEKBSE-1992-MatwinB #database #query #reuse
Reusing Database Queries in Analogical Domains (SM, HOB), p. 16.
PODSPODS-1992-Meyden #complexity #order #query
The Complexity of Querying Indefinite Data about Linearly Ordered Domains (RvdM), pp. 331–345.
SASWSA-1992-BagnaraGL #source code #static analysis
Static Analysis of CLP Programs over Numeric Domains (RB, RG, GL), pp. 43–50.
SASWSA-1992-CorsiniMR #calculus #finite #prolog #semantics #μ-calculus
The μ-Calculus over Finite Domains as an Abstract Semantics of Prolog (MMC, KM, AR), pp. 51–59.
ICALPICALP-1992-Zhang
Disjunctive Systems and L-Domains (GQZ), pp. 284–295.
LISPLFP-1992-ChuangG #approach #finite #fixpoint
A Syntactic Approach to Fixed Point Computation on Finite Domains (TRC, BG), pp. 109–118.
AdaTRI-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.
CAiSECAiSE-1992-HofstedePW #modelling
Data Modelling in Complex Application Domains (AHMtH, HAP, TPvdW), pp. 364–377.
ICMLML-1992-LiuS #natural language
Augmenting and Efficiently Utilizing Domain Theory in Explanation-Based Natural Language Acquisition (RLL, VWS), pp. 282–289.
SEKESEKE-1992-Eichmann #multi #repository #reuse
Supporting Multiple Domains in a Single Reuse Repository (DE), pp. 164–169.
OOPSLAOOPSLA-1992-EggenschwilerG #using
ET++ Swaps Manager: Using Object Technology in the Financial Engineering Domain (TE, EG), pp. 166–177.
ASEKBSE-1991-CabralD #concept
Domain-Specific Representations in the KBSA Concept Demo (GC, MD), pp. 97–106.
ASEKBSE-1991-Iscoe #domain model #evolution #modelling #research
Domain Modeling — Evolving Research (NI), pp. 234–236.
ASEKBSE-1991-Schoen #domain model #modelling
Active Assistance for Domain Modeling (ES), pp. 26–35.
ASEKBSE-1991-Setliff #using
Using Domain Knowledge to Synthesize Routing Software (DES), pp. 77–82.
VLDBVLDB-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.
ESOPESOP-J-1990-Heckmann91
Power Domain Constructions (RH), pp. 77–117.
PEPMPEPM-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.
ICALPICALP-1991-ChenH #logic programming
Logic Programming with Recurrence Domains (HC, JH), pp. 20–34.
FMVDME-1991-1-SchmidtH #compilation #generative #library
The VDM Domain Compiler: A VDM Class Library Generator (US, HMH), pp. 675–676.
KDDKDD-1991-BergadanoGSBM #learning
Integrated Learning in a Real Domain (FB, AG, LS, FB, DDM), pp. 277–288.
KDDKDD-1991-Frawley #induction #statistics #using
Using Functions to Encode Domain and Contextual Knowledge in Statistical Induction (WJF), pp. 261–276.
KDDKDD-1991-Schaffer #evaluation #independence #on the
On Evaluation of Domain-Independent Scientific Function-Finding Systems (CS), pp. 93–106.
ICMLML-1991-AllenT #concept #probability #relational
Probabilistic Concept Formation in Relational Domains (JAA, KT), pp. 375–379.
ICMLML-1991-Cain
The DUCTOR: A Theory Revision System for Propositional Domains (TC), pp. 485–489.
ICMLML-1991-FeldmanSK #approximate #incremental #refinement
Incremental Refinement of Approximate Domain Theories (RF, AMS, MK), pp. 500–504.
ICMLML-1991-Gil #effectiveness #framework #independence
A Domain-Independent Framework for Effective Experimentation in Planning (YG), pp. 13–17.
ICMLML-1991-MaclinS #automaton #finite
Refining Domain Theories Expressed as Finite-State Automata (RM, JWS), pp. 524–528.
ICMLML-1991-OurstonM #multi
Improving Shared Rules in Multiple Category Domain Theories (DO, RJM), pp. 534–538.
ICMLML-1991-RaoLS #equation #knowledge-based
Knowledge-Based Equation Discovery in Engineering Domains (RBR, SCYL, RES), pp. 630–634.
ICMLML-1991-WhitehallL #case study #how #knowledge-based #learning
A Study of How Domain Knowledge Improves Knowledge-Based Learning Systems (BLW, SCYL), pp. 559–563.
ICMLML-1991-Wogulis #relational
Revising Relational Domain Theories (JW), pp. 462–466.
OOPSLAOOPSLA-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.
PPDPPLILP-1991-HentenryckD #constraints #finite #logic programming #semantics
Operational Semantics of Constraint Logic Programming over Finite Domains (PVH, YD), pp. 395–406.
ICSEICSE-1991-IscoeWA #domain model #modelling #re-engineering
Domain Modeling for Software Engineering (NI, GBW, GA), pp. 340–343.
ICLPISLP-1991-Caseau #abstract interpretation #constraints #order
Abstract Interpretation of Constraints on Order-Sorted Domains (YC), pp. 435–452.
LICSLICS-1991-CortesiFW #abstract domain #analysis
Prop revisited: Propositional Formula as Abstract Domain for Groundness Analysis (AC, GF, WHW), pp. 322–327.
LICSLICS-1991-Taylor #fixpoint
The Fixed Point Property in Synthetic Domain Theory (PT0), pp. 152–160.
ESOPESOP-1990-Heckmann #set
Set Domains (RH), pp. 177–196.
ESOPESOP-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.
ICALPICALP-1990-Droste #automaton #concurrent
Concurrency, Automata and Domains (MD), pp. 195–208.
ICALPICALP-1990-JagadeesanP #calculus #formal method #higher-order #process
A Domain-Theoretic Model for a Higher-Order Process Calculus (RJ, PP), pp. 181–194.
FMVDME-1990-SchmidtH #programming
Programming with VDM Domains (US, HMH), pp. 122–134.
FMVDME-1990-TarleckiW
A Naive Domain Universe for VDM (AT, MW), pp. 552–579.
CSCWCSCW-1990-Engelbart
Knowledge-Domain Interoperability and an Open Hyperdocument System (DCE), pp. 143–156.
ICMLML-1990-BergadanoGSMB #learning
Integrated Learning in a real Domain (FB, AG, LS, DDM, FB), pp. 322–329.
ICMLML-1990-Epstein #learning
Learning Plans for Competitive Domains (SLE), pp. 190–197.
ICMLML-1990-Flann #abstraction
Applying Abstraction and Simplification to Learn in Intractable Domains (NSF), pp. 277–285.
ICMLML-1990-LairdHYT #using
Correcting and Extending Domain Knowledge using Outside Guidance (JEL, MH, ESY, CMT), pp. 235–243.
PPDPALP-1990-ZhouM
Domain Theory for Nonmonotonic Functions (YZ, RM), pp. 144–157.
POPLPOPL-1990-SekarPR #analysis #performance #strict
Small Domains Spell Fast Strictness Analysis (RCS, SP, IVR), pp. 169–183.
LICSLICS-1990-DrosteG #formal method #programming language #semantics
Universal Domains in the Theory of Denotational Semantics of Programming Languages (MD, RG), pp. 19–34.
LICSLICS-1990-Jung #classification
The Classification of Continuous Domains (Extended Abstract) (AJ), pp. 35–40.
LICSLICS-1990-Phoa #effectiveness
Effective Domains and Intrinsic Structure (WP), pp. 366–377.
HTHT-1989-Young #challenge #hypermedia
Hypertext Challenges in the Auditing Domain (LDY), pp. 169–180.
ICALPICALP-1989-Zhang #information management
DI-Domains as Information Systems (Extended Abstract) (GQZ), pp. 773–788.
ICMLML-1989-Ali
Augmenting Domain Theory for Explanation-Based Generalization (KMA), pp. 40–42.
ICMLML-1989-FriedrichN #algorithm #induction #learning #using
Using Domain Knowledge to Improve Inductive Learning Algorithms for Diagnosis (GF, WN), pp. 75–77.
ICMLML-1989-GamsK #empirical #learning
New Empirical Learning Mechanisms Perform Significantly Better in Real Life Domains (MG, AK), pp. 99–103.
ICMLML-1989-GrosofR #bias #declarative
Declarative Bias for Structural Domains (BNG, SJR), pp. 480–482.
ICMLML-1989-Pazzani #learning
Explanation-Based Learning with Week Domain Theories (MJP), pp. 72–74.
ICMLML-1989-Rose #using
Using Domain Knowledge to Aid Scientific Theory Revision (DR), pp. 272–277.
ICMLML-1989-RudyK #learning
Learning to Plan in Complex Domains (DR, DFK), pp. 180–182.
ICMLML-1989-TecuciK #learning #multi
Multi-Strategy Learning in Nonhomongeneous Domain Theories (GT, YK), pp. 14–16.
ICMLML-1989-WilkinsT #consistency #knowledge base #refinement
Knowledge Base Refinement as Improving an Incorrect, Inconsistent and Incomplete Domain Theory (DCW, KWT), pp. 332–339.
ASPLOSASPLOS-1989-Karger #performance #using
Using Registers to Optimize Cross-Domain Call Performance (PAK), pp. 194–204.
CSLCSL-1989-DrosteG #effectiveness #information management
Effectively Given Information Systems and Domains (MD, RG), pp. 116–142.
LICSLICS-1989-Scott #logic
Domains and Logics (Extended Abstract) (DSS), pp. 4–5.
SIGMODSIGMOD-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.
FMVDME-1988-Haxthausen #algebra #equation #recursion
Mutually Recursive Algebraic Domain Equations (AEH), pp. 299–317.
ICMLML-1988-Mel #modelling #using
Building and Using Mental Models in a Sensory-Motor Domain (BWM), pp. 207–213.
ICMLML-1988-Spackman #category theory #learning
Learning Categorical Decision Criteria in Biomedical Domains (KAS), pp. 36–46.
ICMLML-1988-TanE #classification #network #using
Using Weighted Networks to Represent Classification Knowledge in Noisy Domains (MT, LJE), pp. 121–134.
LICSLICS-1988-GunterJ #consistency
Coherence and Consistency in Domains (Extended Outline) (CAG, AJ), pp. 309–317.
ICLPICLP-1987-MorishitaNH87 #logic programming
Symbolical Construction of Truth Value Domain for Logic Program (SM, MN, SH), pp. 533–555.
LICSLICS-1987-Abramsky #logic
Domain Theory in Logical Form (SA), pp. 47–53.
SIGIRSIGIR-1986-Croft #documentation #retrieval
User-Specified Domain Knowledge for Document Retrieval (WBC), pp. 201–206.
LICSLICS-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.
LICSLICS-1986-Gunter #axiom
The Largest First-Order-Axiomatizable Cartesian Closed Category of Domains (CAG), pp. 142–148.
STOCSTOC-1985-BruceL #equation #modelling #morphism
Provable Isomorphisms and Domain Equations in Models of Typed Languages (Preliminary Version) (KBB, GL), pp. 263–272.
ICALPICALP-1985-Gunter
A Universal Domain Technique for Profinite Posets (CAG), pp. 232–243.
ICALPICALP-1985-KarlssonMR #bound #nearest neighbour #problem
The Nearest Neighbor Problem on Bounded Domains (RGK, JIM, ELR), pp. 318–327.
ICALPICALP-1984-Dybjer #algebra
Domain Algebras (PD), pp. 138–150.
SIGMODSIGMOD-1983-MissikoffS #query #relational
Relational Queries in a Domain Based DBMS (MM, MS), pp. 219–227.
ICALPICALP-1983-MycroftN #abstract interpretation #using
Strong Abstract Interpretation Using Power Domains (Extended Abstract) (AM, FN), pp. 536–547.
ICALPICALP-1983-Smyth #perspective
Power Domains and Predicate Transformers: A Topological View (MBS), pp. 662–675.
SIGMODSIGMOD-1982-Missikoff #database #relational
A Domain Based Internal Schema for Relational Database Machines (MM), pp. 215–224.
VLDBVLDB-1982-LouisP #calculus #relational #semantics
A Denotational Definition of the Semantics of DRC, A Domain Relational Calculus (GL, AP), pp. 348–356.
ICALPICALP-1982-Scott #semantics
Domains for Denotational Semantics (DSS), pp. 577–613.
DACDAC-1981-McDermott81a #design #process
Domain knowledge and the design process (JM), pp. 580–588.
POPLPOPL-1981-RamanathanS #development #modelling #problem
Modeling of Problem Domains for Driving Program Development Systems (JR, CJS), pp. 28–40.
SOSPSOSP-1979-Cook #operating system
In Support of Domain Structure for Operating Systems (DC), pp. 128–130.
STOCSTOC-1978-ScioreT
Computability Theory in Admissible Domains (ES, AT), pp. 95–104.
VLDBVLDB-1977-LacroixP #relational
Domain-Oriented Relational Languages (ML, AP), pp. 370–378.
SOSPSOSP-1977-CaseyS #distributed
A Domain Structure for Distributed Computer Systems (LMC, NHS), pp. 101–108.
DACDAC-1976-Misra #algorithm #design #problem
A principle of algorithm design on limited problem domain (JM), pp. 479–483.
SOSPSOSP-1975-Janson #multi #process
Dynamic Linking and Environment Initialization in a Multi-Domain Process (PAJ), pp. 43–50.
POPLPOPL-1973-FischerF
Mode Modules as Representations of Domains (AEF, MJF), pp. 139–143.
SOSPSOSP-1973-SpierHC #architecture #implementation #kernel
An Experimental Implementation on the Kernel/Domain Architecture (MJS, TNH, DNC), pp. 8–21.

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