Stem compos$ (all stems)

192 papers:

FASE-2015-AndriescuMI #automaton #data type #using

Composing Message Translators and Inferring Their Data Types Using Tree Automata (EA, TM, VI), pp. 35–50.

PLDI-2015-ZivAGRS #concurrent

Composing concurrency control (OZ, AA, GGG, GR, MS), pp. 240–249.

STOC-2015-MirrokniZ #composition #distributed #random

Randomized Composable Core-sets for Distributed Submodular Maximization (VSM, MZ), pp. 153–162.

Onward-2015-ProkopecO #composition #distributed #programming

Isolates, channels, and event streams for composable distributed programming (AP, MO), pp. 171–182.

GPCE-2015-RingertRW #behaviour #code generation #tool support

Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) (JOR, BR, AW), pp. 113–116.

SAC-2015-DuarteBPC #composition #memory management #transaction

Composable memory transactions with eager version management (RMD, ARDB, MLP, GGHC), pp. 2093–2098.

SAC-2015-FernandezAQVFZC #multi #off the shelf

Introduction to partial time composability for COTS multicores (GF, JA, EQ, TV, LF, MZ, FJC), pp. 1955–1956.

SAC-2015-OmarWA #composition #metaprogramming #syntax

Composable and hygienic typed syntax macros (CO, CW, JA), pp. 1986–1991.

SAC-2015-ZiccardiSV #operating system

A time-composable operating system for the Patmos processor (MZ, MS, TV), pp. 1892–1897.

HPDC-2015-KocoloskiL #memory management #multi #named #performance

XEMEM: Efficient Shared Memory for Composed Applications on Multi-OS/R Exascale Systems (BK, JRL), pp. 89–100.

PPoPP-2015-MajoG #composition #library #locality #optimisation

A library for portable and composable data locality optimizations for NUMA systems (ZM, TRG), pp. 227–238.

ECSA-2014-FrommgenLB #composition #framework

A Property Description Framework for Composable Software (AF, ML, APB), pp. 267–282.

DATE-2014-NelsonNMKG #composition #kernel #named #predict #realtime

CoMik: A predictable and cycle-accurately composable real-time microkernel (AN, ABN, AMM, MK, KG), pp. 1–4.

PODS-2014-IndykMMM #composition

Composable core-sets for diversity and coverage maximization (PI, SM, MM, VSM), pp. 100–108.

VLDB-2014-YangDCC #keyword #knowledge base #using

Finding Patterns in a Knowledge Base using Keywords to Compose Table Answers (MY, BD, SC, KC), pp. 1809–1820.

ESOP-2014-HerlihyK #composition #transaction

Composable Transactional Objects: A Position Paper (MH, EK), pp. 1–7.

PLDI-2014-HammerKHF #adaptation #composition #incremental #named

Adapton: composable, demand-driven incremental computation (MAH, YPK, MH, JSF), p. 18.

SEFM-2014-AttieBBJS #architecture #framework

A General Framework for Architecture Composability (PCA, EB, SB, MJ, JS), pp. 128–143.

ICFP-2014-DownenA #composition #continuation #semantics

Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.

ICPR-2014-MatsuoSY #detection #image #using

Vehicle Driver Face Detection in Various Sunlight Environments Using Composed Face Images (HM, TS, NY), pp. 1687–1691.

ECOOP-2014-OmarKNCPA #composition

Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.

SAC-2014-Le #android #framework #modelling

A model driven framework for modeling and composing service based Android applications (CL), pp. 450–457.

CBSE-2013-GortonLLED #case study #component #experience #using

Build less code deliver more science: an experience report on composing scientific environments using component-based and commodity software platforms (IG, YL, CL, TE, KKvD), pp. 159–168.

STOC-2013-SyrgkanisT #composition #performance

Composable and efficient mechanisms (VS, ÉT), pp. 211–220.

AdaEurope-2013-BaldovinMV #operating system #towards

Towards a Time-Composable Operating System (AB, EM, TV), pp. 143–160.

BX-2013-MacedoPCO #lens

Composing Least-change Lenses (NM, HP, AC, JNO), pp. 57–75.

MoDELS-2013-AcherCCBLF #composition #modelling #variability

Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.

MoDELS-2013-FariasGWL #case study #design #industrial #modelling #scalability

Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (KF, AG, JW, CJPdL), pp. 639–655.

MoDELS-2013-AcherCCBLF #composition #modelling #variability

Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.

MoDELS-2013-FariasGWL #case study #design #industrial #modelling #scalability

Analyzing the Effort of Composing Design Models of Large-Scale Software in Industrial Case Studies (KF, AG, JW, CJPdL), pp. 639–655.

SAC-2013-BaldovinGMV #kernel

Kernel-level time composability for avionics applications (AB, AG, EM, TV), pp. 1552–1554.

HPDC-2013-GillLHNGL #composition #declarative #framework #manycore #named #scalability

Scalanytics: a declarative multi-core platform for scalable composable traffic analytics (HG, DL, XH, CN, TG, BTL), pp. 61–72.

QoSA-2012-Groenda #modelling #performance #predict

Improving performance predictions by accounting for the accuracy of composed performance models (HG), pp. 111–116.

DocEng-2012-Damera-VenkataB #automation #documentation

Ad insertion in automatically composed documents (NDV, JB), pp. 3–12.

FoSSaCS-2012-NainV #probability

Synthesizing Probabilistic Composers (SN, MYV), pp. 421–436.

PEPM-2012-GorbovitskiLSR #optimisation

Composing transformations for instrumentation and optimization (MG, YAL, SDS, TR), pp. 53–62.

PEPM-2012-HirzelG #metaprogramming #using

Streams that compose using macros that oblige (MH, BG), pp. 141–150.

PLDI-2012-Turon #concurrent #fine-grained #named

Reagents: expressing and composing fine-grained concurrency (AT), pp. 157–168.

ICALP-v1-2012-AdaCFN #communication #complexity #multi

The NOF Multiparty Communication Complexity of Composed Functions (AA, AC, OF, PN), pp. 13–24.

ICFP-2012-FoltzerKSSJN #composition #scheduling

A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud (AF, AK, RS, SS, EJ, RN), pp. 235–246.

ICEIS-J-2012-BabaianL12a #automation #interface

Composing Interface Demonstrations Automatically from Usage Logs (TB, WTL), pp. 376–392.

CIKM-2012-LiS #network #process #social

Composing activity groups in social networks (CTL, MKS), pp. 2375–2378.

MoDELS-2012-FariasGWCL #design #empirical #modelling

Evaluating the Effort of Composing Design Models: A Controlled Experiment (KF, AG, JW, CC, CJPdL), pp. 676–691.

MoDELS-2012-FariasGWCL #design #empirical #modelling

Evaluating the Effort of Composing Design Models: A Controlled Experiment (KF, AG, JW, CC, CJPdL), pp. 676–691.

OOPSLA-2012-BocqD #monad #named #network #process #streaming #using #virtual machine

Molecule: using monadic and streaming I/O to compose process networks on the JVM (SB, KD), pp. 315–334.

GPCE-2012-HuletteSM

Composing typemaps in Twig (GCH, MJS, ADM), pp. 41–49.

DATE-2011-CararaASM

Achieving composability in NoC-based MPSoCs through QoS management at software level (EC, GMA, GS, FGM), pp. 407–412.

DATE-2011-PerathonerLT #analysis #component #performance

Composing heterogeneous components for system-wide performance analysis (SP, KL, LT), pp. 842–847.

DocEng-2011-PinkneyBB #component #documentation

Reflowable documents composed from pre-rendered atomic components (AJP, SRB, DFB), pp. 163–166.

PLDI-2011-ZiarekSJ #composition

Composable asynchronous events (LZ, KCS, SJ), pp. 628–639.

LATA-2011-SalomaaSY #complexity

Undecidability of the State Complexity of Composed Regular Operations (AS, KS, SY), pp. 489–498.

CSCW-2011-Bouz-AsalII #education #web

Analyzing patterns in composing teaching materials from the web (NBA, RI, TI), pp. 605–608.

OOPSLA-2011-AndersonG #composition

Composable, nestable, pessimistic atomic statements (ZRA, DG), pp. 865–884.

OOPSLA-2011-HarrisAIM #composition #named

AC: composable asynchronous IO for native languages (TH, MA, RI, RM), pp. 903–920.

OOPSLA-2011-ShachamBASVY #concurrent #testing

Testing atomicity of composed concurrent operations (OS, NGB, AA, MS, MTV, EY), pp. 51–64.

PPoPP-2011-XiangBBDC #composition #modelling #profiling

All-window profiling and composable models of cache sharing (XX, BB, TB, CD, TMC), pp. 91–102.

ECSA-2010-PhoomvuthisarnLZ #approach #architecture #distributed

An Architectural Approach to Composing Reputation-Based Distributed Services (SP, YL, LZ), pp. 133–149.

ECSA-2010-TibermacineDSF #architecture #composition #constraints #reuse

Software Architecture Constraints as Customizable, Reusable and Composable Entities (CT, CD, SS, LF), pp. 505–509.

DATE-2010-CastrillonVSSCLAM #analysis

Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms (JC, RV, AS, WS, JC, RL, GA, HM), pp. 753–758.

PLDI-2010-PanHA #parallel

Composing parallel software efficiently with lithe (HP, BH, KA), pp. 376–387.

IFL-2010-BjornsonTG #f# #user interface #using

Composing Reactive GUIs in F# Using WebSharper (JB, AT, AG), pp. 203–216.

CHI-2010-MaFC #named

SoundNet: investigating a language composed of environmental sounds (XM, CF, PRC), pp. 1945–1954.

SEKE-2010-HirveMSV

Feature based Structuring and Composing of SDLC Artifacts (NH, TM, US, RV), pp. 583–586.

SEKE-2010-SilvaBC #composition #framework #named #semantics #workflow

Composer-Science: A Semantic Service Based framework for Workflow Composition in e-Science Projects (LMdS, RMMB, FC), pp. 84–87.

OOPSLA-2010-WoodSCG #communication #composition #specification

Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.

ICSE-2010-Farias #design #empirical #evaluation #modelling

Empirical evaluation of effort on composing design models (KF), pp. 405–408.

ICSE-2010-ShonleY #composition

Compose & conquer: modularity for end-users (MS, TTY), pp. 191–194.

LDTA-2009-KatsKV10 #composition #domain-specific language #editing #plugin

Domain-Specific Languages for Composable Editor Plugins (LCLK, KTK, EV), pp. 149–163.

HPCA-2010-GreskampKT #configuration management #multi #named #performance #thread

LeadOut: Composing low-overhead frequency-enhancing techniques for single-thread performance in configurable multicores (BG, URK, JT), pp. 1–12.

PPoPP-2010-SutherlandS #composition #concurrent #thread

Composable thread coloring (DFS, WLS), pp. 233–244.

WICSA-ECSA-2009-LiuLXSZ #architecture #enterprise #integration #using

Using architecture integration patterns to compose enterprise mashups (YL, XL, LX, MS, LZ), pp. 111–120.

CASE-2009-MitraS #automaton #composition #hybrid

Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.

DATE-2009-HanssonSG #composition #named #network #predict

Aelite: A flit-synchronous Network on Chip with composable and predictable services (AH, MS, KG), pp. 250–255.

VLDB-2009-CohenDKLT #composition #scalability #set #summary

Composable, Scalable, and Accurate Weight Summarization of Unaggregated Data Sets (EC, NGD, HK, CL, MT), pp. 431–442.

STOC-2009-LinPV #concurrent #framework #security

A unified framework for concurrent security: universal composability from stand-alone non-malleability (HL, RP, MV), pp. 179–188.

CIAA-J-2008-AbdullaBHKV09 #automaton #bisimulation

Composed Bisimulation for Tree Automata (PAA, AB, LH, LK, TV), pp. 685–700.

CHI-2009-TsandilasLM #music #named

Musink: composing music through augmented drawing (TT, CL, WEM), pp. 819–828.

HCI-AUII-2009-TokosumiM #component #higher-order

Extracting High-Order Aesthetic and Affective Components from Composer’s Writings (AT, HM), pp. 679–682.

HCI-NIMT-2009-PedroRBBA #domain-specific language #syntax #visual notation

Composing Visual Syntax for Domain Specific Languages (LP, MR, DB, BB, VA), pp. 889–898.

OCSC-2009-MilettoPHF #question #web

Who Are the Web Composers? (EMM, MSP, AFH, LVF), pp. 381–390.

CAiSE-2009-PichlerWE #web #web service

Composing Time-Aware Web Service Orchestrations (HP, MW, JE), pp. 349–363.

ICEIS-J-2009-HlaouiA #grid #modelling #workflow

Patterns for Modeling and Composing Workflows from Grid Services (YBH, LJBA), pp. 615–626.

TOOLS-EUROPE-2009-DucassePBC #reuse #testing

Reusing and Composing Tests with Traits (SD, DP, AB, DC), pp. 252–271.

TOOLS-EUROPE-2009-HovsepyanBBJ #domain-specific language #modelling #specification

Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages (AH, SVB, YB, WJ), pp. 116–135.

REFSQ-2009-PerrouinBBT #consistency #detection #modelling #nondeterminism #perspective #requirements

Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective (GP, EB, BB, YLT), pp. 89–103.

SAC-2009-HassaineMF

Composing a high fidelity HLA federation for littoral operations (FH, RM, CF), pp. 2087–2092.

SAC-2009-SchippersHH #implementation

An implementation substrate for languages composing modularized crosscutting concerns (HS, MH, RH), pp. 1944–1951.

ESEC-FSE-2009-BertolinoIPT #automation #behaviour #composition #protocol #synthesis

Automatic synthesis of behavior protocols for composable web-services (AB, PI, PP, MT), pp. 141–150.

SLE-2009-AcherCLF #feature model #modelling

Composing Feature Models (MA, PC, PL, RBF), pp. 62–81.

SPLC-2009-WestonCR #composition #feature model #framework #modelling #natural language #requirements #semantics

A framework for constructing semantically composable feature models from natural language requirements (NW, RC, AR), pp. 211–220.

ECSA-2008-MyllarniemiPRGM #approach #architecture #constraints #distributed

Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints (VM, CP, MR, JvG, TM), pp. 180–195.

DAC-2008-NikolovTSPPBZD #composition #design #multi #named #towards

Daedalus: toward composable multimedia MP-SoC design (HN, MT, TS, ADP, SP, RB, CZ, EFD), pp. 574–579.

CIAA-2008-AbdullaBHKV #automaton #bisimulation

Composed Bisimulation for Tree Automata (PAA, AB, LH, LK, TV), pp. 212–222.

ICALP-B-2008-Canetti #analysis #composition #performance #security

Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency (RC), pp. 1–13.

ICALP-C-2008-KurosawaF #composition

Universally Composable Undeniable Signature (KK, JF), pp. 524–535.

ICALP-C-2008-WehnerW #bound #composition #security

Composable Security in the Bounded-Quantum-Storage Model (SW, JW), pp. 604–615.

GT-VMT-2008-BottoniMWY #control flow

Composing control flow and formula rules for computing on grids (PB, NNM, YW, RY).

CIKM-2008-QianD #incremental #maintenance #towards

A step towards incremental maintenance of the composed schema mapping (GQ, YD), pp. 173–182.

ICML-2008-VincentLBM #robust

Extracting and composing robust features with denoising autoencoders (PV, HL, YB, PAM), pp. 1096–1103.

ECOOP-2008-HavingaBA #aspect-oriented #prototype

Prototyping and Composing Aspect Languages (WH, LB, MA), pp. 180–206.

ICLP-2008-BaseliceB #source code

Composing Normal Programs with Function Symbols (SB, PAB), pp. 425–439.

CBSE-2007-LauLE #component #deployment #design #towards

Towards Composing Software Components in Both Design and Deployment Phases (KKL, LL, PVE), pp. 274–282.

ICALP-2007-KiayiasZ #adaptation #composition #security

Trading Static for Adaptive Security in Universally Composable Zero-Knowledge (AK, HSZ), pp. 316–327.

ICFP-2007-FlattYFF #composition #programming

Adding delimited and composable control to a production programming environment (MF, GY, RBF, MF), pp. 165–176.

CAiSE-2007-BarhamgiCBO #collaboration #web #web service

Composing Data-Providing Web Services in P2P-Based Collaboration Environments (MB, PAC, DB, AMO), pp. 531–545.

OOPSLA-2007-KojarskiL #aspect-oriented #multi #named

Awesome: an aspect co-weaving system for composing multiple aspect-oriented extensions (SK, DHL), pp. 515–534.

TOOLS-EUROPE-2007-GalliWN #testing

Composing Tests from Examples (MG, RW, ON), pp. 71–86.

PADL-2007-HuangHP #named #parallel #process #using

HPorter: Using Arrows to Compose Parallel Processes (LH, PH, JP), pp. 275–289.

GTTSE-2007-WykM #analysis #composition #java

Adding Dimension Analysis to Java as a Composable Language Extension (EVW, YM), pp. 442–456.

QoSA-2006-Szyperski #architecture #component

Composing with Style — Components Meet Architecture (CAS), p. 2.

SEFM-2006-SampathK #analysis

Composing Context Sensitive Analysis (PS, SK), pp. 186–195.

EDOC-2006-LiG #policy

Composing Administrative Scope of Delegation Policies based on extended XACML (XFL, DF), pp. 467–470.

SIGIR-2006-VaradarajanHL #using #web

Searching the web using composed pages (RV, VH, TL), pp. 713–714.

SAC-2006-RuttiWS #abstraction #implementation #interface #protocol

Service interface: a new abstraction for implementing and composing protocols (OR, PTW, AS), pp. 691–696.

TestCom-2006-BenharrefDGS #generative #network #testing #towards #web #web service

Towards the Testing of Composed Web Services in 3rd Generation Networks (AB, RD, RHG, MAS), pp. 118–133.

ASE-2005-LiuGH #visual notation #web #web service

A visual language and environment for composing web services (NL, JCG, JGH), pp. 321–324.

PLDI-2005-BauerLW #policy #security

Composing security policies with polymer (LB, JL, DW), pp. 305–314.

IFL-2005-HuchK #composition #concurrent #haskell #implementation #memory management #transaction

A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell (FH, FK), pp. 124–141.

SEKE-2005-HouJ #component #framework #reuse #web

A Framework for Reusing and Composing Software Components on Web (LH, ZJ), pp. 645–648.

MoDELS-2005-EstublierVI #domain-specific language #re-engineering

Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.

MoDELS-2005-EstublierVI #domain-specific language #re-engineering

Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications (JE, GV, ADI), pp. 69–83.

CC-2005-OlmosV #data flow #text-to-text

Composing Source-to-Source Data-Flow Transformations with Rewriting Strategies and Dependent Dynamic Rewrite Rules (KO, EV), pp. 204–220.

LCTES-2005-HenzingerKM #code generation #composition #distributed

Composable code generation for distributed giotto (TAH, CMK, SM), pp. 21–30.

PPoPP-2005-HarrisMPH #composition #memory management #transaction

Composable memory transactions (TH, SM, SLPJ, MH), pp. 48–60.

PODS-2004-FaginPKT #dependence #higher-order

Composing Schema Mappings: Second-Order Dependencies to the Rescue (RF, PGK, LP, WCT), pp. 83–94.

ICSM-2004-SampathMSP #framework #testing

Composing a Framework to Automate Testing of Operational Web-Based Software (SS, VM, ALS, LLP), pp. 104–113.

STOC-2004-PrabhakaranS #security

New notions of security: achieving universal composability without trusted setup (MP, AS), pp. 242–251.

ICEIS-v3-2004-McNeileS #behaviour #mixin #modelling #state machine

Mixin Based Behaviour Modelling — An Example Based on Composed State Machines (ATM, NS), pp. 179–183.

ICEIS-v4-2004-MaamarMYH #approach #towards #web #web service

Towards an Agent-Based and Context-Oriented Approach to Compose Web Services (ZM, SKM, HY, WJvdH), pp. 214–221.

CIKM-2004-FanGXJ #composition #integration #xml

Composable XML integration grammars (WF, MNG, MX, XJ), pp. 2–11.

ICPR-v2-2004-LindeL #higher-order #recognition #using

Object Recognition Using Composed Receptive Field Histograms of Higher Dimensionality (OL, TL), pp. 1–6.

ECOOP-2004-ScharliDNW #composition #encapsulation #policy

Composable Encapsulation Policies (NS, SD, ON, RW), pp. 26–50.

RE-2004-AraujoWK #aspect-oriented #modelling #requirements

Modeling and Composing Scenario-Based Requirements with Aspects (JA, JW, DKK), pp. 58–67.

RE-2004-LaneyBJN #problem #requirements #using

Composing Requirements Using Problem Frames (RCL, LB, MJ, BN), pp. 122–131.

SAC-2004-DengYWL #flexibility #process #runtime #workflow

Enhancement of workflow flexibility by composing activities at run-time (SD, ZY, ZW, HL), pp. 667–673.

SIGMOD-2003-LiBKN #xml

Composing XSL Transformations with XML Publishing Views (CL, PB, HFK, PPSN), pp. 515–526.

VLDB-2003-MadhavanH #data flow

Composing Mappings Among Data Sources (JM, AYH), pp. 572–583.

FASE-2003-FenkamGJ #specification

Composing Specifications of Event Based Applications (PF, HCG, MJ), pp. 67–86.

FASE-2003-SoraVB #component #composition

A Description Language For Composable Components (IS, PV, YB), pp. 22–36.

FME-2003-Charpentier #invariant

Composing Invariants (MC), pp. 401–421.

FME-2003-TengT #specification

Composing Temporal-Logic Specifications with Machine Assistance (JWT, YKT), pp. 719–738.

ECOOP-2003-ScharliDNB #behaviour #composition #named

Traits: Composable Units of Behaviour (NS, SD, ON, APB), pp. 248–274.

ESEC-FSE-2003-MehtaM #architecture

Composing architectural styles from architectural primitives (NRM, NM), pp. 347–350.

LDTA-J-2001-DohM #programming language #semantics

Composing programming languages by combining action-semantics modules (KGD, PDM), pp. 3–36.

CBSE-2002-StaffordM #component #predict #reliability

Issues in Predicting the Reliability of Composed Components (JAS, JDM), p. 4.

CBSE-2003-BarnettGKSSTW #component #specification

Serious Specification for Composing Components (MB, WG, CK, WS, CS, NT, AW), p. 6.

CBSE-2003-HamletAT #component

Experiments with composing component properties (DH, MA, ZT), p. 14.

STOC-2002-CanettiLOS #composition #multi

Universally composable two-party and multi-party secure computation (RC, YL, RO, AS), pp. 494–503.

ICFP-2002-Flatt #composition #metaprogramming #question

Composable and compilable macros: : you want it when? (MF), pp. 72–83.

ICFP-2002-LuthG #monad #using

Composing monads using coproducts (CL, NG), pp. 133–144.

KR-2002-Broxvall #constraints #infinity

Constraint Satisfaction on Infinite Domains: Composing Domains and Decomposing Constraints (MB), pp. 509–520.

ECOOP-2002-Ostermann #composition

Dynamically Composable Collaborations with Delegation Layers (KO), pp. 89–110.

GPCE-2002-BrichauMV #composition #logic #metaprogramming

Building Composable Aspect-Specific Languages with Logic Metaprogramming (JB, KM, KDV), pp. 110–127.

GPCE-2002-Kiselyov #metaprogramming

Macros That Compose: Systematic Macro Programming (OK), pp. 202–217.

POPL-2002-LernerGC #analysis #data flow

Composing dataflow analyses and transformations (SL, DG, CC), pp. 270–282.

FSE-2002-CobleighOWL #adaptation #architecture #composition

Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.

FSE-2002-NiuAD #composition #modelling #semantics

Composable semantics for model-based notations (JN, JMA, NAD), pp. 149–158.

PLDI-2001-BergerZM #memory management

Composing High-Performance Memory Allocators (EDB, BGZ, KSM), pp. 114–124.

FME-2001-Jones #contract

Composing Contracts: An Adventure in Financial Engineering (SLPJ), p. 435.

CAiSE-2001-CasatiSS

Developing E-Services for Composing E-Services (FC, MS, MCS), pp. 171–186.

SEKE-2001-KitcharonesakkulW

Software Composing based on a Unified SCM System (SK, VW), pp. 321–325.

LDTA-2001-DohM #programming language #semantics

Composing Programming Languages by Combining Action-Semantics Modules (KGD, PDM), pp. 87–109.

WRLA-2000-DenkerMT #composition #distributed #semantics

Rewriting Semantics of Meta-Objects and Composable Distributed Services (GD, JM, CLT), pp. 405–425.

ICFP-2000-JonesES #contract #functional

Composing contracts: an adventure in financial engineering, functional pearl (SLPJ, JME, JS), pp. 280–292.

CSCW-2000-RoussevDJ #collaboration #composition #programming

Composable collaboration infrastructures based on programming patterns (VR, PD, VVJ), pp. 117–126.

CAiSE-2000-SchusterGCB #modelling #multi #process

Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes (HS, DG, AC, DB), pp. 247–263.

UML-2000-Clarke #design #modelling #uml

Composing Design Models: An Extension to the UML (SC), pp. 338–352.

FSE-2000-HayA #interactive

Composing features and resolving interactions (JDH, JMA), pp. 110–119.

SPLC-2000-Griss #aspect-oriented #implementation #product line

Implementing Product-line features by composing aspects (MLG), pp. 271–289.

CHI-1998-Fox #lens

Composing Magic Lenses (DF), pp. 519–525.

LOPSTR-1998-BrogiCT #source code

The Use of Renaming in Composing General Programs (AB, SC, FT), pp. 124–142.

PLDI-1997-SperberT #compilation #partial evaluation

Two for the Price of One: Composing Partial Evaluation and Compilation (MS, PT), pp. 215–225.

ALP-1997-AotoT #composition #on the #term rewriting

On Composable Properties of Term Rewriting Systems (TA, YT), pp. 114–128.

HPDC-1997-AsthanaSS #multi #named

Kaleido: An Environment for Composing Networked Multimedia Applications (AA, JS, MBS), pp. 181–190.

AFP-1996-FinneJ96 #user interface

Composing the User Interface with Haggis (SF, SLPJ), pp. 1–37.

POPL-1996-Honda #process

Composing Processes (KH), pp. 344–357.

ICLP-1995-JacquetB #concurrent #logic #on the #process

On Composing Concurrent Logic Processes (JMJ, KDB), pp. 531–545.

KBSE-1994-Novak #component #reuse

Composing Reusable Software Components Through Views (GSN), pp. 39–47.

LOPSTR-1994-BrogiC #logic programming #metalanguage #source code

Gödel as a Meta-Language for Composing Logic Programs (AB, SC), pp. 377–394.

POPL-1994-BoylandG

Composing Tree Attributions (JB, SLG), pp. 375–388.

POPL-1994-Steele #monad

Building Interpreters by Composing Monads (GLSJ), pp. 472–492.

CAV-1994-HazelhurstS #evaluation

Composing Symbolic Trajectory Evaluation Results (SH, CJHS), pp. 273–285.

CAV-1994-Schubert #hardware #hybrid #reasoning

A Hybrid Model for Reasoning about Composed Hardware Systems (ETS), pp. 260–272.

ISSTA-1993-Coen-PorisiniK #realtime #specification

The Composability of ASTRAL Realtime Specifications (ACP, RAK), pp. 128–138.

ECOOP-1992-AndersenR #design

System Design by Composing Structures of Interacting Objects (EPA, TR), pp. 133–152.

POPL-1992-FarrowMY #attribute grammar #composition #design #implementation

Composable Attribute Grammars: Support for Modularity in Translator Design and Implementation (RF, TJM, DMY), pp. 223–234.

JICSCP-1988-SterlingL88 #prolog

Composing Prolog Meta-Interpreters (LS, AL), pp. 386–403.

GG-1986-Wankmuller #graph grammar #music

Application of Graph Grammars in Music Composing Systems (FW), pp. 580–592.

STOC-1984-BarringerKP #logic #specification

Now You May Compose Temporal Logic Specifications (HB, RK, AP), pp. 51–63.

DAC-1978-TokoroSITIO #simulation

A module level simulation technique for systems composed of LSI’s and MSI’s (MT, MS, MI, ET, TI, HO), pp. 418–427.

DAC-1973-DoonerVL #design #interactive #process

An interactive graphic and process controlled system for composing and sampling loom constrained designs (NPD, PV, JRL), pp. 247–252.

DAC-1971-Veit #named

Analyze — Compose — Display computer aided space planning (FSV), pp. 180–192.