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:
user (55)
model (41)
softwar (37)
languag (33)
use (30)

Stem defin$ (all stems)

337 papers:

DATEDATE-2015-WangLZ #big data #named
SODA: software defined FPGA based accelerators for big data (CW, XL, XZ), pp. 884–887.
PODSPODS-2015-PraveenS #graph #how #question
Defining Relations on Graphs: How Hard is it in the Presence of Node Partitions? (MP, BS), pp. 159–172.
PLDIPLDI-2015-HathhornER #c
Defining the undefinedness of C (CH, CE, GR), pp. 336–345.
FMFM-2015-NelsonFK #difference #network #program analysis
Static Differential Program Analysis for Software-Defined Networks (TN, ADF, SK), pp. 395–413.
CHICHI-2015-RadleJSLRR #elicitation #evaluation #interactive
Spatially-aware or Spatially-agnostic?: Elicitation and Evaluation of User-Defined Cross-Device Interactions (RR, HCJ, MS, ZL, HR, YR), pp. 3913–3922.
CHICHI-2015-TungHWCLWVC #game studies
User-Defined Game Input for Smart Glasses in Public Space (YCT, CYH, HYW, SC, JWL, PJW, AV, MYC), pp. 3327–3336.
CSCWCSCW-2015-YoungL #research
(Re)defining Land Change Science through Synthetic Research Practices (ALY, WGL), pp. 431–442.
HCIDUXU-IXD-2015-Farkas #human-computer #user interface
Defining HCI/UX Principles for Urban Environment (PF), pp. 346–356.
HCIHCI-IT-2015-BakaevA #complexity #human-computer #optimisation #user interface
Defining and Optimizing User Interfaces Information Complexity for AI Methods Application in HCI (MB, TA), pp. 397–405.
ECMFAECMFA-2015-BousseMCB #approach #generative #metamodelling
A Generative Approach to Define Rich Domain-Specific Trace Metamodels (EB, TM, BC, BB), pp. 45–61.
ECOOPECOOP-2015-DongolDGS #architecture #concurrent #correctness #manycore
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures (BD, JD, LG, GS), pp. 470–494.
SACSAC-2015-ArbizaBSGT #internet #middleware #network #refactoring
Refactoring internet of things middleware through software-defined network (LMRA, LMB, CRPdS, LZG, LMRT), pp. 640–645.
SACSAC-2015-DuanZHX #analysis #framework #network #performance
Performance analysis for a service delivery platform in software defined network (QD, MZ, JH, CCX), pp. 2257–2262.
SACSAC-2015-TroisMBF #network
From software defined network to network defined for software (CT, MM, LCEDB, MDDF), pp. 665–668.
SPLCSPLC-2015-ColaLTQ #product line
An MDE tool for defining software product families with explicit variation points (SDC, KKL, CMT, CQ), pp. 355–360.
SPLCSPLC-2015-ValeAFG #case study #comparative #metric #product line
Defining metric thresholds for software product lines: a comparative study (GV, DA, EF, AFG), pp. 176–185.
ASPLOSASPLOS-2015-DhawanHRVCSKPD #architecture #metadata
Architectural Support for Software-Defined Metadata Processing (UD, CH, RR, NV, SC, JMS, TFKJ, BCP, AD), pp. 487–502.
SOSPSOSP-2015-BadamCDFHHMMPS
Software defined batteries (AB, RC, JD, AF, SH, PH, JM, TM, BP, EDS), pp. 215–229.
SOSPSOSP-2015-RaychevMM #execution #symbolic computation #using
Parallelizing user-defined aggregations using symbolic execution (VR, MM, TM), pp. 153–167.
CSLCSL-2015-ClementeL #analysis #automaton #first-order #reachability
Reachability Analysis of First-order Definable Pushdown Systems (LC, SL), pp. 244–259.
CSLCSL-2015-DawarW #finite
A Definability Dichotomy for Finite Valued CSPs (AD, PW), pp. 60–77.
LICSLICS-2015-CanavoiGLP #fixpoint #logic
Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.
SIGMODSIGMOD-2014-XiongHN #approach #distributed #network #performance #query
A software-defined networking based approach for performance management of analytical queries on distributed data stores (PX, HH, JFN), pp. 955–966.
VLDBVLDB-2014-XiongH #distributed #named #network #performance #query
Pronto: A Software-Defined Networking based System for Performance Management of Analytical Queries on Distributed Data Stores (PX, HH), pp. 1661–1664.
PLDIPLDI-2014-BallBGIKSSV #named #network #source code #towards #verification
VeriCon: towards verifying controller programs in software-defined networks (TB, NB, AG, SI, AK, MS, MS, AV), p. 31.
PLDIPLDI-2014-SousaDVDG #query
Consolidation of queries with user-defined functions (MS, ID, DV, TD, CG), p. 56.
SASSAS-2014-BrotherstonG #abduction #safety #termination
Cyclic Abduction of Inductively Defined Safety and Termination Preconditions (JB, NG), pp. 68–84.
FMFM-2014-DerrickDSTTW #consistency #verification
Quiescent Consistency: Defining and Verifying Relaxed Linearizability (JD, BD, GS, BT, OT, HW), pp. 200–214.
CHICHI-2014-ValdesEGTSMUK #design #gesture #interactive
Exploring the design space of gestural interaction with active tokens through user-defined gestures (CV, DE, CG, ST, OS, AM, BU, MK), pp. 4107–4116.
HCIDHM-2014-GoreW #concept #process
A Task Analytic Process to Define Future Concepts in Aviation (BFG, CW), pp. 236–246.
HCIDUXU-TMT-2014-Bergamo #experience #prototype #user interface
User Experience Technique in Computer Digital Arts Production: Paper Prototyping Used as Material to Define Intentionality (MLB), pp. 613–621.
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.
ICEISICEIS-v2-2014-CasalinoCMGT #effectiveness
Defining a Model for Effective e-Government Services and an Inter-organizational Cooperation in Public Sector (NC, MC, MdM, MG, GT), pp. 400–408.
CIKMCIKM-2014-WuLF
Searching Locally-Defined Entities (ZW, YL, AF), pp. 1499–1508.
ICPRICPR-2014-MontealegreH #interactive #named #tool support #visual notation
GIST: Graphical Interactive Display Tools Defining a Model for Interactive Search (IM, RMH), pp. 2984–2989.
SEKESEKE-2014-WuCZX #c++ #empirical #library
An empirical study on the adoption of C++ templates: Library templates versus user defined templates (DW, LC, YZ, BX), pp. 144–149.
ECMFAECMFA-2014-YueA #framework #metric #modelling #quality
A MOF-Based Framework for Defining Metrics to Measure the Quality of Models (TY, SA), pp. 213–229.
SACSAC-2014-RanaKS #algorithm #evaluation #ranking #social
The strength of social strength: an evaluation study of algorithmic versus user-defined ranking (JR, JK, KS), pp. 658–659.
SACSAC-2014-ReisIB #syntax
Defining the syntax of extensible languages (LVdSR, VODI, RdSB), pp. 1570–1576.
ASPLOSASPLOS-2014-OuyangLSHWW #internet #named
SDF: software-defined flash for web-scale internet storage systems (JO, SL, JS, ZH, YW, YW), pp. 471–484.
ICTSSICTSS-2014-Schmidberger #metric
Well-Defined Coverage Metrics for the Glass Box Test (RS), pp. 113–128.
PODSPODS-2013-RudolphK #data access #query
Flag & check: data access with monadically defined queries (SR, MK), pp. 151–162.
VLDBVLDB-2013-TranDSL #nondeterminism
Supporting User-Defined Functions on Uncertain Data (TTLT, YD, CAS, AL), pp. 469–480.
FoSSaCSFoSSaCS-2013-CzerwinskiDLM #regular expression
Deciding Definability by Deterministic Regular Expressions (WC, CD, KL, WM), pp. 289–304.
CHICHI-2013-NacentaKQK #gesture #set
Memorability of pre-designed and user-defined gesture sets (MAN, YK, YQ, POK), pp. 1099–1108.
HCIOCSC-2013-WhiteFB #social #social media
Social Media: An Ill-Defined Phenomenon (JW, KwF, BB), pp. 422–431.
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.
MODELSMoDELS-2013-Gonzalez-HuertaIA #approach #architecture #multi #validation
Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement (JGH, EI, SA), pp. 388–404.
MODELSMoDELS-2013-Gonzalez-HuertaIA #approach #architecture #multi #validation
Defining and Validating a Multimodel Approach for Product Architecture Derivation and Improvement (JGH, EI, SA), pp. 388–404.
ESEC-FSEESEC-FSE-2013-Tikhonova #domain-specific language #framework #semantics
A framework for defining the dynamic semantics of DSLs (UT), pp. 735–738.
HPDCHPDC-2013-ZhangKWWF #parallel #scalability
MTC envelope: defining the capability of large scale computers in the context of parallel scripting applications (ZZ, DSK, MW, JMW, ITF), pp. 37–48.
SOSPSOSP-2013-ThereskaBOKRTBZ #architecture #named
IOFlow: a software-defined storage architecture (ET, HB, GO, TK, AITR, TT, RB, TZ), pp. 182–196.
CSLCSL-2013-ColcombetKLB #automaton
Deciding the weak definability of Büchi definable tree languages (TC, DK, CL, MVB), pp. 215–230.
LICSLICS-2013-AlurDT #higher-order #monad #string #transducer
From Monadic Second-Order Definable String Transformations to Transducers (RA, ADG, AT), pp. 458–467.
WICSA-ECSAWICSA-ECSA-2012-ThatSO #design pattern #using
Using Architectural Patterns to Define Architectural Decisions (MTTT, SS, FO), pp. 196–200.
CASECASE-2012-YamamotoD #interface #learning
Robot interface learning user-defined voice instructions (DY, MD), pp. 926–929.
VLDBVLDB-2012-Jacques-SilvaGWWK #adaptation #runtime
Building User-defined Runtime Adaptation Routines for Stream Processing Applications (GJS, BG, RW, KLW, VK), pp. 1826–1837.
LATALATA-2012-BarashO #context-free grammar
Defining Contexts in Context-Free Grammars (MB, AO), pp. 106–118.
ICEISICEIS-v2-2012-BoudabousSB #ontology #semantics #towards
Towards an Arabic Ontology — Defining Morpho-lexical Patterns for Semantic Relation Extraction (MMB, FS, LHB), pp. 342–348.
CIKMCIKM-2012-StuparM #query
Being picky: processing top-k queries with set-defined selections (AS, SM), pp. 912–921.
SEKESEKE-2012-CorreaSSA #modelling #rest #testing #uml #web #web service
Defining RESTful Web Services Test Cases from UML Models (ALC, TSdS, EAS, AJA), pp. 319–323.
SEKESEKE-2012-RiveroC #usability #using #web
Using the Results from a Systematic Mapping Extension to Define a Usability Inspection Method for Web Applications (LR, TC), pp. 582–587.
MODELSMoDELS-2012-CombemaleTB #infinity #modelling
Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
MODELSMoDELS-2012-CombemaleTB #infinity #modelling
Formally Defining and Iterating Infinite Models (BC, XT, BB), pp. 119–133.
POPLPOPL-2012-RayL #injection
Defining code-injection attacks (DR, JL), pp. 179–190.
SACSAC-2012-ChhelLGS #biology #multi #using
Minimum multiple characterization of biological data using partially defined boolean formulas (FC, FL, AG, FS), pp. 1399–1405.
SACSAC-2012-TangJ #analysis #precise
Exploiting regularity of user-defined types to improve precision of program analyses (XT, JJ), pp. 1743–1750.
CSLCSL-2012-DawarGHKP #equation #linear
Definability of linear equation systems over groups and rings (AD, EG, BH, EK, WP), pp. 213–227.
CSLCSL-2012-KotekM #graph #matrix #parametricity
Connection Matrices and the Definability of Graph Parameters (TK, JAM), pp. 411–425.
CSLCSL-2012-Makowsky #complexity #graph #parametricity
Definability and Complexity of Graph Parameters (Invited Talk) (JAM), pp. 14–15.
LICSLICS-2012-KrebsS #first-order
Non-definability of Languages by Generalized First-order Formulas over (N, +) (AK, AVS), pp. 451–460.
ECSAECSA-2011-TekinerdoganS #architecture #quality
Defining Architectural Viewpoints for Quality Concerns (BT, HS), pp. 26–34.
FoSSaCSFoSSaCS-2011-SchwinghammerBS #metric #recursion
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces (JS, LB, KS), pp. 305–319.
ICALPICALP-v2-2011-AndersonMSS #first-order #invariant #locality #logic #query
Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates (MA, DvM, NS, LS), pp. 368–379.
CEFPCEFP-2011-PlasmeijerALM #multi #web
Defining Multi-user Web Applications with iTasks (RP, PA, BL, SM), pp. 46–92.
CHICHI-2011-RuizLL #gesture #interactive #mobile
User-defined motion gestures for mobile interaction (JR, YL, EL), pp. 197–206.
CSCWCSCW-2011-KamranC #collaboration #ontology #social #social media #using
Defining ontology by using users collaboration on social media (SK, FC), pp. 657–660.
CIKMCIKM-2011-GamperBCI #multimodal #network
Defining isochrones in multimodal spatial networks (JG, MHB, WC, MI), pp. 2381–2384.
KMISKMIS-2011-FortierS #modelling #process #requirements #using
Defining Information Requirements — Using Business Process Modeling for Incident Response for Chemical Facilities (SCF, GLS), pp. 411–417.
SEKESEKE-2011-FaureFHUV #execution #ubiquitous
User-defined Scenarios in Ubiquitous Environments: Creation, Execution Control and Sharing (MF, LF, MH, CU, SV), pp. 302–307.
MODELSMoDELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.
MODELSMoDELS-2011-CuccuruGT
Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
MODELSMoDELS-2011-Chimiak-Opoka #framework #metric #modelling #ocl #uml #using
Measuring UML Models Using Metrics Defined in OCL within the SQUAM Framework (JCO), pp. 47–61.
MODELSMoDELS-2011-CuccuruGT
Defining MARTE’s VSL as an Extension of Alf (AC, SG, FT), pp. 699–713.
GPCEGPCE-2011-LindemanKV #domain-specific language
Declaratively defining domain-specific language debuggers (RTL, LCLK, EV), pp. 127–136.
ESEC-FSEESEC-FSE-2011-Bodden #approach #monitoring #runtime
Stateful breakpoints: a practical approach to defining parameterized runtime monitors (EB), pp. 492–495.
CSLCSL-2011-Eickmeyer #first-order #logic #random
Non-Definability Results for Randomised First-Order Logic (KE), pp. 218–232.
LICSLICS-2011-BodirskyPT #decidability
Decidability of Definability (MB, MP, TT), pp. 321–328.
DATEDATE-2010-Fettweis #energy
The road to energy-efficient systems: From hardware-driven to software-defined (GF), p. 477.
GT-VMTGT-VMT-2010-HoffmannM #graph grammar #metamodelling #modelling
Defining Models — Meta Models versus Graph Grammars (BH, MM).
ICEISICEIS-DISI-2010-DiboB #architecture #component #deployment #distributed #metamodelling #modelling
Defining an Unified Meta Modeling Architecture for Deployment of Distributed Components-based Software Applications (MD, NB), pp. 316–321.
ICEISICEIS-ISAS-2010-DohringKGZ #architecture #challenge #convergence #workflow
The Convergence of Workflows, Business Rules and Complex Events — Defining a Reference Architecture and Approaching Realization Challenges (MD, LK, EG, BZ), pp. 338–343.
KEODKEOD-2010-ValienteRV #modelling #owl #semantics #using
Defining the Semantics of It Service Management Models using OWL and SWRL (MCV, DR, CVC), pp. 378–381.
RecSysRecSys-2010-LeeB #collaboration #process #recommendation #self #using
Using self-defined group activities for improvingrecommendations in collaborative tagging systems (DHL, PB), pp. 221–224.
SEKESEKE-2010-WangPACC #analysis #automation #process
An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (DW, JP, GSA, LAC, BC), pp. 765–770.
SACSAC-2010-WeinreichB #architecture #development
Paving the road for formally defined architecture description in software development (RW, GB), pp. 2337–2343.
SPLCSPLC-2010-TekinerdoganTS #approach #classification #multi #product line
Multidimensional Classification Approach for Defining Product Line Engineering Transition Strategies (BT, ET, ES), pp. 461–465.
CSLCSL-2010-Gradel #game studies
Definability in Games (EG), pp. 19–21.
LICSLICS-2010-Grohe #fixpoint #graph #polynomial
Fixed-Point Definability and Polynomial Time on Graphs with Excluded Minors (MG), pp. 179–188.
LICSLICS-2010-PlaceS #xpath
Deciding Definability in FO2(<) (or XPath) on Trees (TP, LS), pp. 253–262.
WICSA-ECSAWICSA-ECSA-2009-AriasAA #execution #scalability
Defining execution viewpoints for a large and complex software-intensive system (TBCA, PA, PA), pp. 1–10.
DACDAC-2009-HelinskiAP #physics #using
A physical unclonable function defined using power distribution system equivalent resistance variations (RH, DA, JP), pp. 676–681.
DATEDATE-2009-LiRJ #architecture
An architecture for secure software defined radio (CL, AR, NKJ), pp. 448–453.
VLDBVLDB-2009-FriedmanPC #approach #named #pipes and filters #polymorphism #self #sql
SQL/MapReduce: A practical approach to self-describing, polymorphic, and parallelizable user-defined functions (EF, PMP, JC), pp. 1402–1413.
FoSSaCSFoSSaCS-2009-AlurDMW #on the
On ω-Languages Defined by Mean-Payoff Conditions (RA, AD, OM, GW), pp. 333–347.
SASSAS-2009-XiaFL #data flow
Inferring Dataflow Properties of User Defined Table Processors (SX, MF, FL), pp. 19–35.
DLTDLT-2009-BehleKR #quantifier #regular expression
Regular Languages Definable by Majority Quantifiers with Two Variables (CB, AK, SR), pp. 91–102.
DLTDLT-2009-KudinovS #order #word
Definability in the Infix Order on Words (OVK, VLS), pp. 454–465.
ICALPICALP-v2-2009-BrancoP #equation #polynomial #regular expression
Equations Defining the Polynomial Closure of a Lattice of Regular Languages (MJJB, JÉP), pp. 115–126.
CEFPCEFP-2009-KoopmanPA #consistency #effectiveness #semantics
An Effective Methodology for Defining Consistent Semantics of Complex Systems (PWMK, RP, PA), pp. 224–267.
CHICHI-2009-LawRHVK #approach #bibliography #comprehension #experience #user interface
Understanding, scoping and defining user experience: a survey approach (ELCL, VR, MH, APOSV, JK), pp. 719–728.
CHICHI-2009-WobbrockMW #gesture
User-defined gestures for surface computing (JOW, MRM, ADW), pp. 1083–1092.
HCIHCD-2009-ProppF #behaviour #testing #usability
Defining Expected Behavior for Usability Testing (SP, PF), pp. 110–119.
HCIHCI-AUII-2009-HamaguchiKDI #framework
User-Definable Rule Description Framework for Autonomous Actor Agents (NH, HK, MD, SI), pp. 257–266.
HCIHIMI-II-2009-IbrahimN #design #online #quote #web
“Online Legitimacy”: Defining Institutional Symbolisms for the Design of Information Artifact in the Web Mediated Information Environment (W-MIE) (ENMI, NLMN), pp. 65–73.
CAiSECAiSE-2009-MaoBPF #automation #generative #using
Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings (LM, KB, NWP, AAAF), pp. 79–93.
ICEISICEIS-HCI-2009-BrisaboaCLS #documentation #process #workflow
Defining a Workflow Process for Textual and Geographic Indexing of Documents (NRB, ACP, MRL, DS), pp. 78–83.
ICEISICEIS-J-2009-LimaLO
Evaluating the Accessibility of Websites to Define Indicators in Service Level Agreements (STdL, FL, KMdO), pp. 858–869.
SEKESEKE-2009-BarbosaB #elicitation #process #requirements #towards
Towards the Selection of the Most Suitable Elicitation Technique Through a Defined Requirements Elicitation Process (MWB, GARB), pp. 33–36.
SEKESEKE-2009-HamouiHUV #component #specification
Specification of a Component-based Domotic System to Support User-defined Scenarios (FH, MH, CU, SV), pp. 597–602.
OOPSLAOOPSLA-2009-Riehle #design pattern
Design pattern density defined (DR), pp. 469–480.
TOOLSTOOLS-EUROPE-2009-SadilekW #grammarware #semantics #using
Using Grammarware Languages to Define Operational Semantics of Modelled Languages (DAS, GW), pp. 348–356.
LOPSTRLOPSTR-2009-AlpuenteFJV #datalog #logic
Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.
ICSEICSE-2009-GarlanS #architecture #evolution #named
Ævol: A tool for defining and planning architecture evolution (DG, BRS), pp. 591–594.
CSLCSL-2009-Grohe #fixpoint #polynomial
Fixed-Point Definability and Polynomial Time (MG), pp. 20–23.
ICLPICLP-2009-VazCF
User Defined Indexing (DV, VSC, MF), pp. 372–386.
WICSAWICSA-2008-SanzACM #architecture #development #modelling #process
Defining Service-Oriented Software Architecture Models for a MDA-based Development Process at the PIM level (MLS, CJA, CEC, EM), pp. 309–312.
CASECASE-2008-AzarnasabHAF #case study #design
Progressive simulation-based design: A case study example on software defined radio (EA, XH, PA, BFB), pp. 394–399.
DATEDATE-2008-BougardSRNADP #array
A Coarse-Grained Array based Baseband Processor for 100Mbps+ Software Defined Radio (BB, BDS, SR, DN, OA, SD, LVdP), pp. 716–721.
DATEDATE-2008-NovoBLPC #energy #fixpoint #refinement
Scenario-Based Fixed-point Data Format Refinement to Enable Energy-scalable Software Defined Radios (DN, BB, AL, LVdP, FC), pp. 722–727.
HTHT-2008-AlbertsenB
User defined structural searches in mediawiki (JA, NOB), pp. 15–20.
ICALPICALP-B-2008-BojanczykS #first-order #logic #quantifier
Tree Languages Defined in First-Order Logic with One Quantifier Alternation (MB, LS), pp. 233–245.
GT-VMTGT-VMT-2006-Lanese08 #graph transformation
Exploiting User-definable Synchronizations in Graph Transformation (IL), pp. 27–38.
CAiSECAiSE-2008-FranchG #metric #towards
Towards a Catalogue of Patterns for Defining Metrics over i*Models (XF, GG), pp. 197–212.
ICEISICEIS-ISAS2-2008-SchmitzAFA #implementation #nondeterminism #order
Defining the Implementation Order of Software Projects in Uncertain Environments (EAS, AJA, MCF, CMdA), pp. 23–29.
ECMFAECMDA-FA-2008-Espinazo-PaganTM #approach #metamodelling
Metamodel Syntactic Sheets: An Approach for Defining Textual Concrete Syntaxes (JEP, MMT, JGM), pp. 185–199.
MODELSMoDELS-2008-KelsenM #approach #lightweight #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
MODELSMoDELS-2008-KelsenM #approach #lightweight #modelling #semantics
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language (PK, QM), pp. 690–704.
SACSAC-2008-SchmitzAA #implementation #nondeterminism #order
A method for defining the implementation order of software projects under uncertainty (EAS, AJA, CMdA), pp. 844–845.
FSEFSE-2008-OsterweilCEPWBH #dataset #experience #process #using #workflow
Experience in using a process language to define scientific workflow and generate dataset provenance (LJO, LAC, AME, RMP, AEW, ERB, JLH), pp. 319–329.
ICSEICSE-2008-EichbergKKM #dependence
Defining and continuous checking of structural program dependencies (ME, SK, KK, MM), pp. 391–400.
CSLCSL-2008-Katsumata
A Characterisation of λ Definability with Sums Via TT-Closure Operators (SyK), pp. 278–292.
ICSTICST-2008-El-FakihKPY #fault #finite #state machine
Extended Finite State Machine Based Test Derivation Driven by User Defined Faults (KEF, AK, SP, NY), pp. 308–317.
LICSLICS-2008-Grohe08a
Definable Tree Decompositions (MG), pp. 406–417.
DATEDATE-2007-GailliardNSV #modelling #transaction
Transaction level modelling of SCA compliant software defined radio waveforms and platforms PIM/PSM (GG, EN, MS, FV), pp. 966–971.
DATEDATE-2007-YeGM #interactive
Interactive presentation: An FPGA based all-digital transmitter with radio frequency output for software defined radio (ZY, JG, GM), pp. 21–26.
PASTEPASTE-2007-ChinMMM #programming #validation
Enforcing and validating user-defined programming disciplines (BC, DM, SM, TDM), pp. 85–86.
DLTDLT-2007-Matthissen #logic
Definable Transductions and Weighted Logics for Texts (CM), pp. 324–336.
CEFPCEFP-2007-PlasmeijerAK #interactive #web
An Introduction to iTasks: Defining Interactive Work Flows for the Web (RP, PA, PWMK), pp. 1–40.
AGTIVEAGTIVE-2007-RangerGH #graph #interface
Defining Abstract Graph Views as Module Interfaces (UR, KG, MH), pp. 120–135.
HCIHCI-AS-2007-PengKLC #approach #tablet
The Practices of Scenario Observation Approach in Defining Medical Tablet PC Applications (CYP, WSK, YZL, WKC), pp. 518–524.
HCIHCI-IPT-2007-WuH #visualisation
The Perceptual Eye View: A User-Defined Method for Information Visualization (LHW, PYH), pp. 181–190.
CAiSECAiSE-2007-GrauF #framework #named #re-engineering
ReeF: Defining a Customizable Reengineering Framework (GG, XF), pp. 485–500.
ICEISICEIS-EIS-2007-MurzekK #model transformation #process
Business Process Model Transformation Issues — The Top 7 Adversaries Encountered at Defining Model Transformations (MM, GK), pp. 144–151.
SEKESEKE-2007-VilainFM #agile #framework #process
A Framework for Selecting Agile Practices and Defining Agile Software Processes (PV, PBF, TLM), pp. 25–28.
MODELSMoDELS-2007-XuL #interactive #monitoring #visual notation
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
MODELSMoDELS-2007-XuL #interactive #monitoring #visual notation
Formally Defining a Graphical Language for Monitoring and Checking Object Interactions (KX, DL), pp. 620–634.
PPDPPPDP-2007-KoninckSD
User-definable rule priorities for CHR (LDK, TS, BD), pp. 25–36.
REFSQREFSQ-2007-RinkeW #how #modelling #requirements
Defining Reference Models for Modelling Qualities: How Requirements Engineering Techniques Can Help (TR, TW), pp. 335–340.
SACSAC-2007-SaCA #personalisation
Defining personalized therapies for handheld devices (MdS, LC, PA), pp. 163–164.
ICLPICLP-2007-NavasMLH #analysis #bound #logic programming #source code
User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.
CBSECBSE-2006-Hamlet #assembly #predict
Defining “Predictable Assembly” (DH), pp. 320–327.
CBSECBSE-2006-LauU #component #contract #deployment
Defining and Checking Deployment Contracts for Software Components (KKL, VU), pp. 1–16.
DocEngDocEng-2006-BrunoM #query #xml
Describing and querying hierarchical XML structures defined over the same textual data (EB, EM), pp. 147–154.
SIGMODSIGMOD-2006-Cohen #theory and practice
User-defined aggregate functions: bridging theory and practice (SC), pp. 49–60.
ESOPESOP-2006-ChinMMP
Inference of User-Defined Type Qualifiers and Qualifier Rules (BC, SM, TDM, JP), pp. 264–278.
FLOPSFLOPS-2006-BartheFPR #coq #proving #reasoning #recursion
Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant (GB, JF, DP, VR), pp. 114–129.
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-Baar #modelling #syntax #visual notation
Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
MODELSMoDELS-2006-Baar #modelling #syntax #visual notation
Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
SACSAC-2006-Gomez-SanzP #coordination #multi #re-engineering
Defining coordination in multi-agent systems within an agent oriented software engineering methodology (JJGS, JP), pp. 424–428.
SACSAC-2006-LallouetL #consistency #constraints #satisfiability
From satisfiability to consistency through certificates: application to partially defined constraints (AL, AL), pp. 415–416.
SPLCSPLC-2006-KoskiL #product line
The JTRS Program: Software-Defined Radios as a Software Product Line (EK, CL), pp. 182–191.
SPLCSPLC-2006-TraskRPB #component #modelling #product line #using
Using Model-Driven Engineering to Complement Software Product Line Engineering in Developing Software Defined Radio Components and Applications (BT, AR, DP, VB), pp. 192–202.
PPoPPPPoPP-2006-DeitzCCS #abstraction #reduction
Global-view abstractions for user-defined reductions and scans (SJD, DC, BLC, LS), pp. 40–47.
LICSLICS-2006-DawarGKS #approximate #first-order #optimisation #problem
Approximation Schemes for First-Order Definable Optimisation Problems (AD, MG, SK, NS), pp. 411–420.
DATEDATE-2005-ZhaoG #semantics
Defining an Enhanced RTL Semantics (SZ, DDG), pp. 548–553.
ICSMEICSM-2005-PilskalnsWA #component #design
Defining Maintainable Components in the Design Phase (OP, DW, AAA), pp. 49–58.
STOCSTOC-2005-Basu #algebra #algorithm #polynomial #set
Polynomial time algorithm for computing the top Betti numbers of semi-algebraic sets defined by quadratic inequalities (SB), pp. 313–322.
DLTDLT-J-2004-DassowH05 #problem #product line
Language families defined by a ciliate bio-operation: hierarchies and decision problems (JD, MH), pp. 645–662.
FMFM-2005-SalverdaRZ #parallel #verification
Formally Defining and Verifying Master/Slave Speculative Parallelization (PS, GR, CBZ), pp. 123–138.
SEFMSEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.
AdaEuropeAdaEurope-2005-RivasMH #ada #policy #scheduling
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks (MAR, JM, MGH), pp. 220–235.
SACSAC-2005-EgidiT #approach #database #flexibility
A flexible approach to user-defined symbolic granularities in temporal databases (LE, PT), pp. 592–597.
SACSAC-2005-RobinsonRHD #automation #database
User-defined view automation of genomic databases (AJR, JWR, SH, TSD), pp. 671–675.
SPLCSPLC-2005-ReiserW #set #using
Using Product Sets to Define Complex Product Decisions (MOR, MW), pp. 21–32.
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.
SPLCSPLC-2005-Trew #architecture #embedded #integration #product line
Enabling the Smooth Integration of Core Assets: Defining and Packaging Architectural Rules for a Family of Embedded Products (TT), pp. 137–149.
LICSLICS-2005-Atserias05a #random
Definability on a Random 3-CNF Formula (AA), pp. 458–466.
DACDAC-2004-AsafMZ #analysis #functional
Defining coverage views to improve functional coverage analysis (SA, EM, AZ), pp. 41–44.
DLTDLT-2004-DaleyD #on the
On Codes Defined by Bio-Operations (MD, MD), pp. 127–138.
AdaEuropeAdaEurope-2004-RivasGH #ada #framework #implementation #scheduling
Implementing an Application-Defined Scheduling Framework for Ada Tasking (MAR, FJMG, MGH), pp. 283–296.
SEKESEKE-2004-OFallonPKA #component #design
Defining and Qualifying Components in the Design Phase (AO, OP, AK, AAA), pp. 129–134.
RERE-2004-BuhneHPWKW #abstraction #requirements
Defining Requirements at Different Levels of Abstraction (SB, GH, KP, MW, HK, TW), pp. 346–347.
RERE-2004-RegevW #approach #requirements
Defining Early IT System Requirements with Regulation Principles: The Lightswitch Approach (GR, AW), pp. 144–153.
SACSAC-2004-PereiraS #architecture #enterprise #framework #using
A method to define an Enterprise Architecture using the Zachman Framework (CMP, PMAS), pp. 1366–1371.
LICSLICS-2004-DalmauKL #first-order #graph #problem #reflexive
First-Order Definable Retraction Problems for Posets and Reflexive Graph (VD, AAK, BL), pp. 232–241.
DATEDATE-2003-BurmenPT #cost analysis #design #optimisation #robust
Defining Cost Functions for Robust IC Design and Optimization (ÁB, JP, TT), pp. 20196–20201.
ICEISICEIS-v1-2003-Aaen #process
Software Process Improvement Defined (IA), pp. 169–176.
ICEISICEIS-v3-2003-CechichP #assessment #component #integration
Defining Stability for Component Integration Assessment (AC, MP), pp. 251–256.
SEKESEKE-2003-GambleGD #assessment #component
Defining Change Management Properties for Component Interoperability Assessment (MTG, RFG, LAD), pp. 475–482.
ICSEICSE-2003-GantnerB #adaptation #bibliography #case study #experience #process
Experiences on Defining and Evaluating an Adapted Review Process (TG, TB), pp. 506–511.
CSLCSL-2003-Korovina #aspect-oriented #similarity
Computational Aspects of σ-Definability over the Real Numbers without the Equality Test (MVK), pp. 330–344.
FATESFATES-2003-Aaltonen #distributed
Defining Observation Objectives for Reactive and Distributed Systems (TA), pp. 101–113.
LICSLICS-2003-Kopylov #type system
Dependent Intersection: A New Way of Defining Records in Type Theory (AK), pp. 86–95.
LICSLICS-2003-LibkinN #logic #query
Logical Definability and Query Languages over Unranked Trees (LL, FN), pp. 178–187.
TLCATLCA-2003-BucciarelliLP #modelling
Relative Definability and Models of Unary PCF (AB, BL, VP), pp. 75–89.
ITiCSEITiCSE-2002-Pears #education #research
Defining a global view of CS education research (AP), p. 227.
AdaEuropeAdaEurope-2002-RivasH #interface #scheduling
A POSIX-Ada Interface for Application-Defined Scheduling (MAR, MGH), pp. 136–150.
CAiSECAiSE-2002-GeneroPP #concept #metric #quality #validation
Defining and Validating Measures for Conceptual Data Model Quality (MG, GP, MP), pp. 724–727.
SEKESEKE-2002-CanforaC #approach #visual notation #xml
A visual approach to define XML to FO transformations (GC, LC), pp. 563–570.
UMLUML-2002-AkehurstK #approach #metamodelling #relational
A Relational Approach to Defining Transformations in a Metamodel (DHA, SK), pp. 243–258.
RERE-2002-Schmid #approach #product line
The Product Line Mapping Approach to Defining and Structuring Product Portfolios (KS), pp. 219–226.
VMCAIVMCAI-2002-MurawskiY #analysis
Static Monotonicity Analysis for lambda-definable Functions over Lattices (ASM, KY), pp. 139–153.
AdaEuropeAdaEurope-2001-Burns #ada #policy
Defining New Non-preemptive Dispatching and Locking Policies for Ada (AB), pp. 328–336.
ICEISICEIS-v2-2001-KuzniarzP #uml
Defining Pattern Class Stereotypes in UML (LK, MP), pp. 578–582.
ICMLICML-2001-LloraG #algorithm
Inducing Partially-Defined Instances with Evolutionary Algorithms (XL, JMGiG), pp. 337–344.
SEKESEKE-2001-Marcos #inheritance #multi #taxonomy
Defining taxonomic hierarchies: their implications for multiple inheritance (EM), pp. 336–340.
ECOOPECOOP-2001-HaradaYP #c #named
CCC: User-Defined Object Structure in C (YH, KY, RP), pp. 118–129.
IJCARIJCAR-2001-Urbain #automation #incremental #proving #term rewriting #termination
Automated Incremental Termination Proofs for Hierarchically Defined Term Rewriting Systems (XU), pp. 485–498.
LICSLICS-2001-HuuskonenH #logic #on the #order
On Definability of Order in Logic with Choice (TH, TH), pp. 167–172.
TLCATLCA-2001-Normann #calculus
Definability of Total Objects in PCF and Related Calculi (DN), pp. 4–5.
HTHT-2000-LiKVT #logic #web
Defining logical domains in a web site (WSL, OK, QV, HT), pp. 123–132.
WRLAWRLA-2000-KulasB #logic #prolog #standard
Defining Standard Prolog in Rewriting Logic (MK, CB), pp. 158–174.
CSMRCSMR-2000-Oinas #case study #fault #metric
Defining Goal-driven Fault Management Metrics in a Real World Environment: A Case-Study from Nokia (AO), pp. 101–108.
WCREWCRE-2000-Godfrey
Defining, Transforming, and Exchanging High-Level Schemas (MWG), pp. 290–292.
STOCSTOC-2000-Grohe #graph #morphism #testing
Isomorphism testing for embeddable graphs through definability (MG), pp. 63–72.
CAiSECAiSE-2000-Zhang #automation #component
Defining Components in a MetaCASE Environment (ZZ), pp. 340–354.
ICPRICPR-v1-2000-Rodriguez-SanchezGFF #how
How to Define the Notion of Microcalcifications in Digitized Mammograms (RRS, JAG, JFV, XRFV), pp. 1494–1499.
ICPRICPR-v3-2000-Levienaise-ObadiaKC #retrieval #similarity
Defining Quantization Strategies and a Perceptual Similarity Measure for Texture-Based Annotation and Retrieval (BLO, JK, WJC), pp. 3453–3457.
CSLCSL-2000-BenediktK #constraints #linear
Definability over Linear Constraints (MB, HJK), pp. 217–231.
LICSLICS-2000-AfratiLR
Definability and Compression (FNA, HL, MdR), pp. 63–73.
ICDARICDAR-1999-KochiS #documentation #identification
User-defined Template for Identifying Document Type and Extracting Information from Documents (TK, TS), pp. 127–130.
ICDARICDAR-1999-NosaryHPL #adaptation #invariant #recognition
Defining Writer’s Invariants to Adapt the Recognition Task (AN, LH, TP, YL), pp. 765–768.
VLDBVLDB-1999-ChenCFGJMTW
High Level Indexing of User-Defined Types (WC, JHC, YCF, JG, MJ, NMM, BTT, YW), pp. 554–564.
VLDBVLDB-1999-JaedickeM
User-Defined Table Operators: Enhancing Extensibility for ORDBMS (MJ, BM), pp. 494–505.
FMFM-v2-1999-LangLL #calculus #framework
A Framework for Defining Object-Calculi (FL, PL, LL), pp. 963–982.
AGTIVEAGTIVE-1999-Blostein #semantics #syntax #visual notation
Defining the Syntax and Semantics of Natural Visual Languages (DB), pp. 225–232.
HCIHCI-CCAD-1999-KaasinenAL #requirements
Defining user requirements for WAP services (EK, MA, TL), pp. 33–37.
AdaEuropeAdaEurope-1999-Emery #architecture #framework
Architectural Frameworks: Defining the Contents of Architectural Descriptions (DEE), pp. 64–75.
UMLUML-1999-CookKMWW #ocl
Defining the Context of OCL Expressions (SC, AK, RM, JW, AW), pp. 372–383.
TOOLSTOOLS-PACIFIC-1999-CookKWMRW #product line #uml #using
Defining UML Family Members Using Prefaces (SC, AK, JW, RM, BR, ACW), pp. 102–114.
ICSEICSE-1999-ArdisC #analysis #product line
Defining Families — Commonality Analysis (MAA, DAC), pp. 671–672.
ICTSSIWTCS-1999-KoufarevaPY #fault #generative #modelling #testing
Test Generation Driven by User-defined Fault Models (IK, AP, NY), pp. 215–236.
RTARTA-1999-Courcelle #graph #logic
Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas (BC), pp. 90–91.
TLCATLCA-1999-FioreS #logic
λ Definability with Sums via Grothendieck Logical Relations (MPF, AKS), pp. 147–161.
DACDAC-1998-GrinwaldHOUZ #design #tool support #verification
User Defined Coverage — A Tool Supported Methodology for Design Verification (RG, EH, MO, SU, AZ), pp. 158–163.
VLDBVLDB-1998-CarinoO #execution #optimisation #parallel
Plan-Per-Tuple Optimization Solution — Parallel Execution of Expensive User-Defined Functions (FC, WO), pp. 690–695.
FLOPSFLOPS-1998-Tsukada #equation #reasoning
Type-free Equational Reasoning in the Theeory of Inductively Defined Types (YT), pp. 227–246.
ICALPICALP-1998-BorchertKS #first-order #on the
On Existentially First-Order Definable Languages and Their Relation to NP (BB, DK, FS), pp. 17–28.
ICALPICALP-1998-BucciarelliS
Totality, Definability and Boolean Ciruits (AB, IS), pp. 808–819.
KDDKDD-1998-KellyHA #data mining #mining #performance
Defining the Goals to Optimise Data Mining Performance (MGK, DJH, NMA), pp. 234–238.
KDDKDD-1998-Subramonian #data mining #mining
Defining diff as a Data Mining Primitive (RS), pp. 334–338.
KRKR-1998-LangM #complexity #independence #logic
Complexity Results for Independence and Definability in Propositional Logic (JL, PM), pp. 356–367.
SIGIRSIGIR-1998-SaitoO #user satisfaction #web
A Cognitive Model for Searching for Ill-Defined Targets on the Web: The Relationship Between Search Strategies and User Satisfaction (MS, KO), pp. 155–163.
CSLCSL-1998-Makowsky #invariant
Invariant Definability and P/poly (JAM), pp. 142–158.
HTHT-1997-WangH #process
Supporting User-defined Activity Spaces (WW, JMH), pp. 112–123.
DLTDLT-1997-IkedaA #complexity #on the
On the Complexity of Languages Definable by Hereditary Elementary Formal Systems (DI, HA), pp. 223–235.
ICALPICALP-1997-Kabanets
Recognizability Equals Definability for Partial k-Paths (VK), pp. 805–815.
HCIHCI-CC-1997-PerusichM #fuzzy #problem #using
Using Fuzzy Cognitive Maps to Define the Search Space in Problem Solving (KP, MDM), pp. 805–808.
CAiSECAiSE-1997-KloosterBHW #information management #intranet
Intranet Facilitated Knowledge Management: A Theory and Tool for Defining Situational Methods (MK, SB, FH, GW), pp. 303–317.
ICSEICSE-1997-ArdisW #analysis #product line #tutorial
Defining Families: The Commonality Analysis (Tutorial) (MAA, DMW), pp. 649–650.
LICSLICS-1997-Hughes #game studies #system f
Games and Definability for System F (DJDH), pp. 76–86.
TLCATLCA-1997-MalolepszyMZ #decidability
Schwichtenberg-Style λ Definability Is Undecidable (JM, MM, MZ), pp. 267–283.
VLDBVLDB-1996-ChaudhuriS #optimisation #query
Optimization of Queries with User-defined Predicates (SC, KS), pp. 87–98.
VLDBVLDB-1996-Hammond #consistency #set #using
Using Referential Integrity To Easily Define Consistent Subset Replicas (BH), p. 591.
SEKESEKE-1996-Gates #constraints #on the
On Defining a Class of Integrity Constraints (AQG), pp. 338–344.
PPDPPLILP-1996-Kahrs
Limits of ML-Definability (SK), pp. 17–31.
PEPMPEPM-1995-Metayer #data type #proving #recursion #source code
Proving Properties of Programs Defined over Recursive Data Structures (DLM), pp. 88–99.
PEPMPEPM-1995-Monsuez #abstract interpretation #strict #type inference #using
Using Abstract Interpretation to Define a Strictness Type Inference System (BM), pp. 122–133.
DLTDLT-1995-Drewes #on the
On the Connectedness of Pictures Defined by Iterated Function Systems (FD), pp. 289–298.
DLTDLT-1995-DrosteK #composition #quantifier
Trace Languages Definable with Modular Quantifiers (MD, DK), pp. 386–395.
ICALPICALP-1995-DawarHK #finite #logic
Implicit Definability and Infinitary Logic in Finite Model Theory (AD, LH, PGK), pp. 624–635.
ICGTTAGT-1994-CourcelleS #graph #set
The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed (BC, GS), pp. 351–367.
CSCWCSCW-1994-NeuwirthKCM #collaboration #distributed #interactive #parametricity
Computer Support for Distributed Collaborative Writing: Defining Parameters of Interaction (CN, DK, RC, JHM), pp. 145–152.
CIKMCIKM-1994-Al-AnziS #behaviour #concurrent #modelling #towards
Modeling Behavior, A Step Towards Defining Functionally Correct Views of Complex Objects in Concurrent Engineering (FSAA, DLS), pp. 1–9.
KRKR-1994-Gotts #how #using
How Far Can We “C”? Defining a “Doughnut” Using Connection Alone (NMG), pp. 246–257.
LICSLICS-1994-HellaKL #finite #how #linear #modelling #order
How to Define a Linear Order on Finite Models (LH, PGK, KL), pp. 40–49.
DACDAC-1993-SuttonBD #design #using
Design Management Using Dynamically Defined Flows (PRS, JBB, SWD), pp. 648–653.
ICALPICALP-1993-EbingerM #infinity #logic
Logical Definability on Infinite Traces (WE, AM), pp. 335–346.
OOPSLAOOPSLA-1993-LiskovW #specification #type system
Specifications and Their Use in Defining Subtypes (BL, JMW), pp. 16–28.
RERE-1993-HarrisonB #interactive #on the #requirements
On defining requirements for interaction (MDH, PJB), pp. 50–54.
ICLPICLP-1993-Fruhwirth #constraints
User-Defined Constraint Handling (TWF), pp. 837–838.
ICLPILPS-1993-BaldoniGM #logic programming #multimodal
A Multimodal Logic to Define Modules in Logic Programming (MB, LG, AM), pp. 473–487.
RTARTA-1993-Raoult #recursion
Recursively Defined Tree Transductions (JCR), pp. 343–357.
TLCATLCA-1993-JungT
A New Characterization of λ Definability (AJ, JT), pp. 245–257.
SIGMODSIGMOD-1992-GesmannGHHKMS #database #named
PRIMA — A Database System Supporting Dynamically Defined Composite Objects (MG, AG, TH, CH, WK, BM, HS), p. 5.
AdaTRI-Ada-C-1992-Carmichael #architecture #design #object-oriented #using
Defining Software Architectures Using the Hierarchical Object-Oriented Design Nethod (HOOD) (ARC), pp. 211–219.
CSLCSL-1992-GradelO #finite #induction
Inductive Definability with Counting on Finite Structures (EG, MO), pp. 231–247.
CSLCSL-1992-Lautemann #logic #monad #problem
Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates (CL), pp. 327–339.
LICSLICS-1992-Stolboushkin #axiom #finite #linear #modelling #order
Axiomatizable Classes of Finite Models and Definability of Linear Order (APS), pp. 64–70.
CSLCSL-1991-Tyszkiewicz #logic #query #transitive
Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic (JT), pp. 396–410.
ICGTGG-1990-Caucal #graph grammar
An Application of Graph Grammars to the Elimination of Redundancy from Functions Defined by Schemes (DC), pp. 190–206.
CCCC-1990-LammelF #attribute grammar
Mixed Dialogue Control Defined by an Attribute Grammar (Abstract) (UL, PF), pp. 219–221.
LICSLICS-1990-Kolaitis #ambiguity #finite
Implicit Definability on Finite Structures and Unambiguous Computations (Preliminary Report) (PGK), pp. 168–180.
ICALPICALP-1989-Courcelle #equation #graph #higher-order #logic #monad
The Definability of Equational Graphs in Monadic Second-Order Logic (BC), pp. 207–221.
LICSLICS-1989-Lubarsky #integer #set
μ-Definable Sets of Integers (RSL), pp. 343–352.
PODSPODS-1988-Hegner #component #composition #relational #strict
Decomposition of Relational Schemata into Components Defined by Both Projection and Restriction (SJH), pp. 174–183.
VLDBVLDB-1988-LinnemannKDPEKSWW #data type #database #design #implementation
Design and Implementation of an Extensible Database Management System Supporting User Defined Data Types and Functions (VL, KK, PD, PP, RE, AK, NS, GW, MW), pp. 294–305.
VLDBVLDB-1988-LynchS #database
Extended User-Defined Indexing with Application to Textual Databases (CAL, MS), pp. 306–317.
ICALPICALP-1988-StraubingTT #quantifier #regular expression
regular Languages Defined with Generalized Quantifiers (HS, DT, WT), pp. 561–575.
ECOOPECOOP-1987-EgeM #interface #visual notation
The Filter Browser Defining Interfaces Graphically (RKE, DM), pp. 140–150.
LICSLICS-1987-HarperHP #framework #logic
A Framework for Defining Logics (RH, FH, GDP), pp. 194–204.
LICSLICS-1987-ImmermanK #bound
Definability with Bounded Number of Bound Variables (NI, DK), pp. 236–244.
DACDAC-1986-ClarkeF #geometry #layout #named #recursion
Escher — a geometrical layout system for recursively defined circuits (EMC, YF), pp. 650–653.
OOPSLAOOPSLA-1986-BallardMW #named
Quicktalk: A Smalltalk-80 Dialect for Defining Primitive Methods (MBB, DM, AWB), pp. 140–150.
ICLPICLP-1986-Moss86 #prolog
Cut and Paste — defining the impure Primitives of Prolog (CM), pp. 686–694.
LICSLICS-1986-Meyer #hoare #logic #semantics
Floyd-Hoare Logic Defines Semantics: Preliminary Version (ARM), pp. 44–48.
DACDAC-1985-SchefferS #abstraction #analysis
Hierarchical analysis of IC artwork with user defined abstraction rules (LS, RS), pp. 293–298.
VLDBVLDB-1985-Ioannidis #bound #recursion
A Time Bound on the Materialization of some Recursively Defined Views (YEI), pp. 219–226.
ICALPICALP-1985-Coppo #recursion #theorem
A Completeness Theorem for Recursively Defined Types (MC), pp. 120–129.
ICLPSLP-1985-GlasgowJM85 #parallel
User Defined Parallel Control Strategies in Nial (JIG, MAJ, CM), pp. 22–28.
VLDBVLDB-1984-YangD
A Dynamic Perfect Hash Function Defined by an Extended Hash Indicator Table (WPY, MWD), pp. 245–254.
STOCSTOC-1984-Rougemont #finite
Uniform Definability on Finite Structures with Successor (MdR), pp. 409–417.
ICALPICALP-1984-BergstraK #algebra #process #recursion
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes (JAB, JWK), pp. 82–94.
DACDAC-1982-NestorT #design #implementation #multi #representation #simulation
Defining and implementing a multilevel design representation with simulation applications (JAN, DET), pp. 740–746.
LISPLFP-1982-Moss #how #prolog #using
How to Define a Language Using PROLOG (CDSM), pp. 67–73.
POPLPOPL-1982-MeyerM #axiom #recursion #source code
Axiomatic Definability and Completeness for Recursive Programs (ARM, JCM), pp. 337–346.
ICSEICSE-1982-SakabeIH #data type #specification
Specification of Abstract Data Types with Partially Defined Operations (TS, YI, NH), pp. 218–224.
DACDAC-1981-GoatesP #array #design #layout #lisp #logic #modelling #named
ABLE: A LISP-based layout modeling language with user-definable procedural models for storage/logic array design (GBG, SSP), pp. 322–329.
DACDAC-1981-Goldstein #bound
Defining the bounding edges of a SynthaVision solid model (RCG), pp. 457–461.
VLDBVLDB-1981-Sakai #concept #design #transaction
A Method for Defining Information Structures and Transactions in Conceptual Schema Design (HS), pp. 225–234.
STOCSTOC-1980-MeyerP #logic
Definability in Dynamic Logic (ARM, RP), pp. 1–7.
AdaTFDA-1980-BundgaardS #ada #semantics
A Denotational (Static) Semantics Method for Defining Ada Context Conditions (JB, LS), pp. 21–212.
CCSDCG-1980-Madsen #attribute grammar #on the #semantics
On defining semantics by means of extended attribute grammars (OLM), pp. 259–299.
POPLPOPL-1978-AshcroftW #named
Clauses: Scope Structures and Defined Functions in Lucid (EAA, WWW), pp. 17–22.
POPLPOPL-1978-Oppen #data type #reasoning #recursion
Reasoning about Recursively Defined Data Structures (DCO), pp. 151–157.
ICALPICALP-1977-Damm
Languages Defined by Higher Type Program Schemes (WD), pp. 164–179.
ICALPICALP-1977-SippuS #fault #on the #parsing
On Defining Error Recovery in Context-Free Parsing (SS, ESS), pp. 492–503.
ICALPICALP-1976-Cartwright #data type #lisp #source code #verification
User-Defined Data Types as an Aid to Verifying LISP Programs (RC), pp. 228–256.
STOCSTOC-1975-Skyum #on the #parallel
On Decomposing Languages Defined by Parallel Devices (SS), pp. 121–125.
ICALPICALP-1974-EhrenfeuchtR #morphism #term rewriting #trade-off
Trade-off between the Use of Nonterminals, Codings and Homomorphisms in Defining Languages for Some Classes of Rewriting Systems (AE, GR), pp. 473–480.
POPLPOPL-1973-LewisR #data type #recursion
Recursively Defined Data Types (CHL, BKR), pp. 125–138.
ICALPICALP-1972-HenkeIW #automaton #recursion
Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata (FWvH, KI, KW), pp. 549–561.
SIGMODSIGFIDET-1971-Liu #database #information management #scalability
A Data Base System Defined to Support a Large Information System (HL), pp. 349–372.
STOCSTOC-1969-MannaP #formal method #recursion
Formalization of Properties of Recursively Defined Functions (ZM, AP), pp. 201–210.
STOCSTOC-1969-McCreightM #bound
Classes of Computable Functions Defined by Bounds on Computation: Preliminary Report (EMM, ARM), pp. 79–88.

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.