Stem composit$ (all stems)

967 papers:

CBSE-2015-BenesDHKN #composition #testing

Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.

QoSA-2015-CaporuscioMT #composition #feedback

QoS-based Feedback for Service Compositions (MC, RM, CT), pp. 37–42.

CASE-2015-Malik #composition #verification

Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.

DAC-2015-KrishnaNRT #analysis #composition #modelling #product line

Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.

DAC-2015-WangLZYW #architecture #configuration management #control flow

Acceleration of control flows on reconfigurable architecture with a composite method (JW, LL, JZ, SY, SW), p. 6.

DocEng-2015-HassanV #composition #documentation

The Browser as a Document Composition Engine (TH, NDV), pp. 3–12.

ESOP-2015-GotsmanY #data type

Composite Replicated Data Types (AG, HY), pp. 585–609.

ESOP-2015-Penninckx0P #behaviour #composition #source code #verification

Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs (WP, BJ, FP), pp. 158–182.

FoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #process #reasoning

Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.

MSR-2015-TaoK #bibliography #clustering #code review #perspective

Partitioning Composite Code Changes to Facilitate Code Review (YT, SK), pp. 180–190.

SANER-2015-LaverdiereBM #analysis #composition #graph #using

Taint analysis of manual service compositions using Cross-Application Call Graphs (MAL, BJB, EM), pp. 585–589.

PLDI-2015-Carbonneaux0S #bound #composition

Compositional certified resource bounds (QC, JH, ZS), pp. 467–478.

STOC-2015-DinurHK #composition #fault #query

Polynomially Low Error PCPs with polyloglog n Queries via Modular Composition (ID, PH, GK), pp. 267–276.

ICFP-2015-NeisHKMDV #compilation #higher-order #imperative #named

Pilsner: a compositionally verified compiler for a higher-order imperative language (GN, CKH, JOK, CM, DD, VV), pp. 166–178.

ICFP-2015-PombrioK #composition

Hygienic resugaring of compositional desugaring (JP, SK), pp. 75–87.

GCM-2015-PeuserH #category theory #composition #graph

Attribution of Graphs by Composition of M, N-adhesive Categories (CP, AH), pp. 66–81.

CHI-2015-BentleyC #composition #mobile

The Composition and Use of Modern Mobile Phonebooks (FRB, YYC), pp. 2749–2758.

DHM-HM-2015-KurataniHHKUGH #analysis #comparison #process

Expert vs. Elementary Skill Comparison and Process Analysis in VaRTM-Manufactured Carbon Fiber Reinforced Composites (YK, KH, TH, TK, TU, AG, HH), pp. 133–142.

DUXU-IXD-2015-TeixeiraANT #composition #game studies #music

Improving Song Guessing Games Through Music Track Composition (JMXNT, DA, EVN, VT), pp. 303–314.

HCI-IT-2015-HolsteinWWL #challenge #user interface

Current Challenges in Compositing Heterogeneous User Interfaces for Automotive Purposes (TH, MW, JW, RL), pp. 531–542.

ICEIS-v2-2015-FellaBB #composition #constraints #web #web service

Temporal Constraint in Web Service Composition (BF, SB, AB), pp. 577–584.

ICEIS-v2-2015-FissaaGHN #composition #how #question #semantics

How Can Semantics and Context Awareness Enhance the Composition of Context-aware Services? (TF, HG, HH, MN), pp. 640–647.

ICEIS-v3-2015-LongoZB #composition #contract

Extending WSLA for Service and Contract Composition (AL, MZ, MAB), pp. 307–315.

ICEIS-v3-2015-NetoH #architecture #composition #lifecycle #web #web service

e-Business Architecture for Web Service Composition based on e-Contract Lifecycle (JBN, CH), pp. 276–283.

ECIR-2015-BotaZJ #perspective #retrieval

Exploring Composite Retrieval from the Users’ Perspective (HB, KZ, JMJ), pp. 13–24.

ICML-2015-AybatWI #distributed #optimisation

An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.

ICML-2015-GasseAE #classification #composition #multi #on the #set

On the Optimality of Multi-Label Classification under Subset Zero-One Loss for Distributions Satisfying the Composition Property (MG, AA, HE), pp. 2531–2539.

ICML-2015-KairouzOV #composition #difference #privacy #theorem

The Composition Theorem for Differential Privacy (PK, SO, PV), pp. 1376–1385.

KDD-2015-ZhengYX #composition #linear #modelling #topic #using

Linear Time Samplers for Supervised Topic Models using Compositional Proposals (XZ, YY, EPX), pp. 1523–1532.

SEKE-2015-FanYC #adaptation #composition #energy #modelling

Modeling and Analyzing Adaptive Energy Consumption for Service Composition (GF, HY, LC), pp. 585–588.

SEKE-2015-FariasGSOV #architecture #composition #towards

Toward an Architecture for Model Composition Techniques (KF, LG, MS, TCO, MV), pp. 656–659.

SIGIR-2015-LiomaSLH #dependence #information retrieval

Non-Compositional Term Dependence for Information Retrieval (CL, JGS, BL, NDH), pp. 595–604.

POPL-2015-FioritiH #composition #probability #termination

Probabilistic Termination: Soundness, Completeness, and Compositionality (LMFF, HH), pp. 489–501.

POPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.

POPL-2015-StewartBCA #composition

Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.

SAC-2015-BurtonS #composition #mixin #safety

The safety of dynamic mixin composition (EB, ES), pp. 1992–1999.

SAC-2015-ZappatoreLB #composition #contract #network #representation

SLA composition in service networks: a tool for representing relationships between SLAs and contracts (MZ, AL, MAB), pp. 1219–1224.

ICSE-v1-2015-OcteauLDJM #analysis #android #communication #component #constant

Composite Constant Propagation: Application to Android Inter-Component Communication Analysis (DO, DL, MD, SJ, PM), pp. 77–88.

ICSE-v1-2015-QiuYPK #composition #execution #symbolic computation

Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.

ICSE-v2-2015-FischerLLE #composition

The ECCO Tool: Extraction and Composition for Clone-and-Own (SF, LL, RELH, AE), pp. 665–668.

SPLC-2015-DudderRH #composition #design #staged #type safety #using

Synthesizing type-safe compositions in feature oriented software designs using staged composition (BD, JR, GTH), pp. 398–401.

SPLC-2015-McGeeM #architecture #composition #cyber-physical

Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.

SPLC-2015-Santos #composition #comprehension #hybrid #refactoring

Understanding hybrid SPL composition impact on the refactoring into SPL (ARS), pp. 348–351.

CADE-2015-BalbianiB #composition #logic #parallel

Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.

ICLP-J-2015-DassevilleHJD #composition #framework #logic #semantics

Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.

TLCA-2015-BessaiDDCdR #composition #mixin #synthesis

Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.

VMCAI-2015-ChristakisG #composition #image #memory management #parsing #proving #safety #testing #using

Proving Memory Safety of the ANI Windows Image Parser Using Compositional Exhaustive Testing (MC, PG), pp. 373–392.

ASE-2014-ArifulinaWBP #composition #modelling #named

SeSAME: modeling and analyzing high-quality service compositions (SA, SW, MB, MCP), pp. 839–842.

ASE-2014-Mohr #automation #composition

Issues of automated software composition in AI planning (FM), pp. 895–898.

DAC-2014-GuglielmoPC #composition #design #synthesis

A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs (GDG, CP, LPC), p. 6.

DATE-2014-Velasco-JimenezCRF #composition #implementation #modelling #performance

Implementation issues in the hierarchical composition of performance models of analog circuits (MVJ, RCL, ER, FVF), pp. 1–6.

ESOP-2014-DudderMR #composition #staged #synthesis

Staged Composition Synthesis (BD, MM, JR), pp. 67–86.

FoSSaCS-2014-Munch-Maccagnoni #composition #modelling

Models of a Non-associative Composition (GMM), pp. 396–410.

FoSSaCS-2014-Padovani #linear #re-engineering #recursion #π-calculus

Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (LP), pp. 88–102.

TACAS-2014-AstefanoaeiRBBC #composition #generative #invariant

Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.

TACAS-2014-Siirtola #bound #composition #multi #named #verification

Bounds2: A Tool for Compositional Multi-parametrised Verification (AS), pp. 599–604.

WRLA-2014-Duran #composition #domain-specific language

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.

ICSME-2014-WangLL #composition #debugging #locality #modelling

Compositional Vector Space Models for Improved Bug Localization (SW, DL, JL), pp. 171–180.

PLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier

Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.

STOC-2014-GavinskyMWW #approach #bound #complexity #composition #towards

Toward better formula lower bounds: an information complexity approach to the KRW composition conjecture (DG, OM, OW, AW), pp. 213–222.

AFL-2014-Crespi-ReghizziP #commutative #composition

Commutative Languages and their Composition by Consensual Methods (SCR, PSP), pp. 216–230.

LATA-2014-Cerny #composition #morphism #multi #problem

Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms (AC), pp. 273–284.

FM-2014-DammF #automation #composition #distributed #synthesis

Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.

FM-2014-LinH #composition #concurrent #learning #model checking #synthesis

Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning (SWL, PAH), pp. 416–431.

FM-2014-SchebenS #calculus #composition #performance #self

Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.

IFM-2014-TofanSR #composition #multi #proving

A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset (BT, GS, WR), pp. 357–372.

SEFM-2014-AlrajehC #automation #composition #detection #specification

Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.

ICFP-2014-DownenA #composition #continuation #semantics

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

IFL-2014-AchtenSDP #composition #interactive #programming #scalability

Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics (PA, JS, LD, RP), p. 7.

CHI-2014-BenjaminCREVR #composition #named

Juxtapoze: supporting serendipity and creative expression in clipart compositions (WB, SKC, DR, NE, SVNV, KR), pp. 341–350.

CHI-2014-FreemanSCBS #authoring #editing #named #streaming #video

LACES: live authoring through compositing and editing of streaming video (DERF, SS, FC, RB, KS), pp. 1207–1216.

CHI-2014-YueMJ #collaboration #composition #online

Share your view: impact of co-navigation support and status composition in collaborative online shopping (YY, XM, ZJ), pp. 3299–3308.

EDOC-2014-HauptFKLV #composition #rest

Service Composition for REST (FH, MF, DK, FL, KVH), pp. 110–119.

ICEIS-v2-2014-DHondtT #composition #sequence

QoS-aware Service Composition Based on Sequences of Services (SD, ST), pp. 548–555.

CIKM-2014-AnnesiCB #composition #kernel #semantics

Semantic Compositionality in Tree Kernels (PA, DC, RB), pp. 1029–1038.

ICML-c2-2014-BothaB #composition #modelling #word

Compositional Morphology for Word Representations and Language Modelling (JAB, PB), pp. 1899–1907.

ICML-c2-2014-ZhangDW #approximate #nearest neighbour

Composite Quantization for Approximate Nearest Neighbor Search (TZ, CD, JW), pp. 838–846.

ICPR-2014-KramarevZWL #categorisation #composition #image #representation #using

Object Categorization from Range Images Using a Hierarchical Compositional Representation (VK, SZ, JLW, AL), pp. 586–591.

SEKE-2014-Wang #composition #using #web #web service

QoS-Based Web Service Composition by GA Using Consumer Decision-Making Function (GW), pp. 361–364.

SEKE-2014-YangKSWF #named #refactoring

RefactoringScript: A Script and Its Processor for Composite Refactoring (LY, TK, KS, HW, YF), pp. 711–716.

SIGIR-2014-ThomasL #composition #data analysis #distance #information retrieval

Compositional data analysis (CoDA) approaches to distance in information retrieval (PT, DL), pp. 991–994.

ECMFA-2014-LogreMCR #approach #variability #visualisation

Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability (IL, SM, PC, MR), pp. 101–116.

ECOOP-2014-PrincehouseCJBFS #architecture #composition #named #protocol

MiCA: A Compositional Architecture for Gossip Protocols (LP, RC, ZJ, KPB, NF, RS), pp. 644–669.

SAC-2014-AngelisFS #composition #self

Self-composition of services with chemical reactions (FDA, JLFM, GDMS), pp. 1355–1356.

SAC-2014-FariasGLGCRBO #composition #quality #towards

Towards a quality model for model composition effort (KF, AG, CJPdL, LGJ, CAdC, RdRR, FPB, TCdO), pp. 1181–1183.

SAC-2014-Guimaraes #architecture #composition #distributed #fault tolerance

A fault-tolerant architecture for decentralized compositions of services in the wild (FPG), pp. 1255–1256.

SAC-2014-GuimaraesGF #composition #on the #quantifier

On the impact of obliviousness and quantification on model composition effort (EG, AG, KF), pp. 1043–1048.

SAC-2014-LiuCM #ad hoc #approach #composition #mobile #network

A low-latency service composition approach in mobile ad hoc networks (CL, JC, FLM), pp. 509–511.

SAC-2014-WangZC #composition #energy #framework #network

An energy-aware service composition framework for service-oriented wireless sensor networks (TW, KZ, LC), pp. 408–410.

SLE-2014-DiekmannT #composition #editing #named

Eco: A Language Composition Editor (LD, LT), pp. 82–101.

SPLC-2014-SimidchievaO #composition #generative #product line #verification

Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.

CC-2014-SrinivasanR #composition

Recovery of Class Hierarchies and Composition Relationships from Machine Code (VS, TWR), pp. 61–84.

CAV-2014-EsparzaK #approach #automaton #composition #ltl

From LTL to Deterministic Automata: A Safraless Compositional Approach (JE, JK), pp. 192–208.

ICST-2014-DacaHKN #composition #specification #testing

Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.

ICTSS-2014-Estero-BotaroGDPM #composition #framework #generative #search-based #testing

A Framework for Genetic Test-Case Generation for WS-BPEL Compositions (AEB, AGD, JJDJ, FPL, IMB), pp. 1–16.

LICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification

Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.

LICS-CSL-2014-TsukadaO #composition #game studies #higher-order #model checking

Compositional higher-order model checking via ω-regular games over Böhm trees (TT, CHLO), p. 10.

ECSA-2013-ThatSOB #design pattern

Composition-Centered Architectural Pattern Description Language (MTTT, SS, FO, IB), pp. 1–16.

ASE-2013-ChoDS #bound #composition #model checking #named #source code

BLITZ: Compositional bounded model checking for real-world programs (CYC, VD, DS), pp. 136–146.

CASE-2013-MohajeraniMF #automaton #composition #finite #using #verification

Compositional nonblocking verification for extended finite-state automata using partial unfolding (SM, RM, MF), pp. 930–935.

DATE-2013-SchneiderZGMC #analysis #composition

Compositional analysis of switched ethernet topologies (RS, LZ, DG, AM, SC), pp. 1099–1104.

DocEng-2013-AhmadullinD #composition #probability

Hierarchical probabilistic model for news composition (IA, NDV), pp. 141–150.

DRR-2013-XuTTS #documentation #segmentation

Graphic composite segmentation for documents with complex layouts (CX, ZT, XT, CS).

HT-2013-MarieCGR #linked data #on the fly #open data

Composite interests’ exploration thanks to on-the-fly linked data spreading activation (NM, OC, FG, MR), pp. 31–40.

ESOP-2013-EneaSS #composition #invariant

Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.

ESOP-2013-JagadeesanPPR #composition #memory management #modelling #reasoning

Quarantining Weakness — Compositional Reasoning under Relaxed Memory Models (Extended Abstract) (RJ, GP, CP, JR), pp. 492–511.

FASE-2013-StruberTJS #distributed #modelling #process #towards

Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.

FoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification

A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.

TACAS-2013-LiDDMS #abduction #composition #proving #synthesis

Synthesis of Circular Compositional Program Proofs via Abduction (BL, ID, TD, KLM, MS), pp. 370–384.

WCRE-2013-DaiMLC #component #precise #specification

Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.

STOC-2013-BitanskyCCT #composition #recursion

Recursive composition and bootstrapping for SNARKS and proof-carrying data (NB, RC, AC, ET), pp. 111–120.

DLT-2013-FulopM #composition #linear #top-down #transducer

Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers (ZF, AM), pp. 239–251.

ICALP-v1-2013-ODonnellT #composition #fourier #theorem

A Composition Theorem for the Fourier Entropy-Influence Conjecture (RO, LYT), pp. 780–791.

ICALP-v2-2013-BartheO #composition #difference #logic #privacy #probability #relational #source code #theorem

Beyond Differential Privacy: Composition Theorems and Relational Logic for f-divergences between Probabilistic Programs (GB, FO), pp. 49–60.

ICALP-v2-2013-Gelderie #composition #game studies

Strategy Composition in Compositional Games (MG), pp. 263–274.

IFM-2013-CastillosDJKT #composition #semantics

A Compositional Automata-Based Semantics for Property Patterns (KCC, FD, JJ, BK, ST), pp. 316–330.

IFM-2013-MilloRKN #composition #product line #verification

Compositional Verification of Software Product Lines (JVM, SR, SNK, GKN), pp. 109–123.

SEFM-2013-TranST #composition #static analysis #transaction

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.

ICFP-2013-SvenningssonS #composition #embedded #monad

Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.

IFL-2013-VieraS #composition #semantics #syntax

First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.

HCI-AMTE-2013-GabillonLO #case study #composition #towards #user interface

Towards Ergonomic User Interface Composition: A Study about Information Density Criterion (YG, SL, KMdO), pp. 211–220.

HIMI-D-2013-OkuboN #composition #generative

Proposal of Avatar Generating Method by Composition of the Portraits Made by Friends (MO, SN), pp. 515–523.

OCSC-2013-LambropoulosTKM #community #framework #network #semantics

Composites Ideas in COMPOOL Immersion: A Semantics Engineering Innovation Network Community Platform (NL, PT, IK, IM), pp. 385–394.

VISSOFT-2013-BradleyH #composition #development #named #navigation

Visuocode: A software development environment that supports spatial navigation and composition (DRB, IJH), pp. 1–4.

HILT-2013-MurugesanWRH #composition #verification

Compositional verification of a medical device system (AM, MWW, SR, MPEH), pp. 51–64.

CAiSE-2013-YuHGV #composition #framework #protocol #testing #web #web service

A Business Protocol Unit Testing Framework for Web Service Composition (JY, JH, SOG, SV), pp. 17–34.

ICEIS-v2-2013-SuB #analysis #composition #data flow #graph #web #web service

Service Call Graph (SCG) — Information Flow Analysis in Web Service Composition (ZS, FB), pp. 17–24.

ICML-c2-2013-Tran-DinhKC #framework #graph #learning #matrix

A proximal Newton framework for composite minimization: Graph learning without Cholesky decompositions and matrix inversions (QTD, ATK, VC), pp. 271–279.

ICML-c3-2013-DuvenaudLGTG #composition #kernel #parametricity

Structure Discovery in Nonparametric Regression through Compositional Kernel Search (DKD, JRL, RBG, JBT, ZG), pp. 1166–1174.

KDD-2013-ZhongFZY #modelling #network #social

Modeling the dynamics of composite social networks (EZ, WF, YZ, QY), pp. 937–945.

KDIR-KMIS-2013-SaxenaBW #composition #learning

A Cognitive Reference based Model for Learning Compositional Hierarchies with Whole-composite Tags (ABS, AB, AW), pp. 119–127.

SIGIR-2013-RousseauV #ad hoc #composition #information retrieval #normalisation

Composition of TF normalizations: new insights on scoring functions for ad hoc IR (FR, MV), pp. 917–920.

MoDELS-2013-AcherCCBLF #composition #modelling #variability

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

MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml

Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.

MoDELS-2013-GreenyerK #composition #specification #synthesis

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.

MoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification

Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.

MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using

Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.

MoDELS-2013-AcherCCBLF #composition #modelling #variability

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

MoDELS-2013-BalabanM #composition #constraints #correctness #diagrams #multi #uml

Simplification and Correctness of UML Class Diagrams — Focusing on Multiplicity and Aggregation/Composition Constraints (MB, AM), pp. 454–470.

MoDELS-2013-GreenyerK #composition #specification #synthesis

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.

MoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification

Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.

MoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using

Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.

ECOOP-2013-SujeethRBLCPWPJOO #composition #domain-specific language #reuse

Composition and Reuse with Compiled Domain-Specific Languages (AKS, TR, KJB, HL, HC, VP, MW, AP, VJ, MO, KO), pp. 52–78.

ECOOP-2013-VakilianCMNJ #automation #composition #paradigm #refactoring

A Compositional Paradigm of Automating Refactorings (MV, NC, RZM, SN, REJ), pp. 527–551.

PADL-2013-RodriguesASF #abstraction #analysis #composition #declarative #multi #using

A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction (VR, BA, SMdS, MF), pp. 43–59.

POPL-2013-Dinsdale-YoungBGPY #composition #concurrent #named #reasoning #source code

Views: compositional reasoning for concurrent programs (TDY, LB, PG, MJP, HY), pp. 287–300.

SAC-2013-ChoCC #ad hoc #mobile #network #trust

Composite trust-based public key management in mobile ad hoc networks (JHC, KSC, IRC), pp. 1949–1956.

SAC-2013-CohenA #composition #refactoring

Practical use of static composition of refactoring operations (JC, AA), pp. 1700–1705.

SAC-2013-HahnMPM #composition #semantics #web #web service

Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.

SAC-2013-KaratasK #approach #composition #flexibility #security

A flexible approach for considering interdependent security objectives in service composition (FK, DK), pp. 1919–1926.

SAC-2013-LiBB #ad hoc #approach #composition #web #web service

Service farming: an ad-hoc and QoS-aware web service composition approach (WL, YB, FB), pp. 750–756.

SAC-2013-MaalejKJ #composition #consistency #named #testing

WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.

ESEC-FSE-2013-BertolinoMM #composition #monitoring

Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.

ESEC-FSE-2013-LiuDZ #composition

Finding incorrect compositions of atomicity (PL, JD, CZ), pp. 158–168.

ESEC-FSE-2013-LoharAZC #composition #data-driven

Improving trace accuracy through data-driven configuration and composition of tracing features (SL, SA, AZ, JCH), pp. 378–388.

ICSE-2013-InverardiT #automation #composition #protocol #synthesis

Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.

ICSE-2013-TanA00DC #composition #synthesis

Dynamic synthesis of local time requirement for service composition (THT, ÉA, JS, YL, JSD, MC), pp. 542–551.

LDTA-J-2009-AndersenBC #algebra #composition

Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.

LICS-2013-CristescuKV #calculus #composition #semantics

A Compositional Semantics for the Reversible p-Calculus (IC, JK, DV), pp. 388–397.

VMCAI-2013-ChakiGKS #composition #source code

Compositional Sequentialization of Periodic Programs (SC, AG, SK, OS), pp. 536–554.

VMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference

Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.

CBSE-2012-DongFLSZZ #component #composition

Unblockable compositions of software components (RD, JF, ZL, JS, NZ, JZ), pp. 103–108.

CBSE-2012-KarolBA #attribute grammar #composition #towards

Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.

WICSA-ECSA-2012-HilliardMMP #architecture #composition #framework #on the #reuse

On the Composition and Reuse of Viewpoints across Architecture Frameworks (RH, IM, HM, PP), pp. 131–140.

CASE-2012-MohajeraniMF #composition #synthesis

Transition removal for compositional supervisor synthesis (SM, RM, MF), pp. 694–699.

DAC-2012-UrdahlSWK #abstraction #composition #concurrent #verification

System verification of concurrent RTL modules by compositional path predicate abstraction (JU, DS, MW, WK), pp. 334–343.

DATE-2012-LiuPC #composition #design #synthesis

Compositional system-level design exploration with planning of high-level synthesis (HYL, MP, LPC), pp. 641–646.

SIGMOD-2012-BogSP #interactive #monitoring #performance

Interactive performance monitoring of a composite OLTP and OLAP workload (AB, KS, HP), pp. 645–648.

ITiCSE-2012-GinatA #composition #pseudo

Pseudo abstract composition: the case of language concatenation (DG, RA), pp. 28–33.

ESOP-2012-ChenCJK #behaviour #component #composition #specification

A Compositional Specification Theory for Component Behaviours (TC, CC, BJ, MZK), pp. 148–168.

FASE-2012-FiadeiroL #composition #consistency

Consistency of Service Composition (JLF, AL), pp. 63–77.

FASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using

Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.

TACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination #thread

Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.

FM-2012-AponteCMS #composition #invariant

Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.

FM-2012-LinLSDA #automation #composition #verification

Automatic Compositional Verification of Timed Systems (SWL, YL, JS, JSD, ÉA), pp. 272–276.

SEFM-2012-DinDO #composition #reasoning

Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.

SEFM-2012-ZhangKJ #composition #verification

Verification of Aspectual Composition in Feature-Modeling (QZ, RK, JJ), pp. 109–125.

IFL-2012-DieterleHBL #composition #parallel

Iterating Skeletons — Structured Parallelism by Composition (MD, TH, JB, RL), pp. 18–36.

ICGT-2012-GhamarianR #composition #graph transformation

Generalised Compositionality in Graph Transformation (AHG, AR), pp. 234–248.

CAiSE-2012-MehandjievLCR #composition

Cooperative Service Composition (NM, FL, MC, FAR), pp. 111–126.

CAiSE-2012-SchmelingCMM #composition #non-functional #towards

Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.

EDOC-2012-SilvaPS #composition #flexibility #framework #named

A-DynamiCoS: A Flexible Framework for User-centric Service Composition (EGdS, LFP, MvS), pp. 81–92.

EDOC-2012-WangWART #analysis #composition #ecosystem #modelling

Compositional QoS Modeling and Analysis of Cloud-based Federated Ecosystems (GW, HW, SA, RR, JPT), pp. 173–182.

ICEIS-J-2012-NikovskiEYST12a #automation #composition

Matcher Composition Methods for Automatic Schema Matching (DN, AE, XY, MS, ST), pp. 108–123.

ICEIS-v1-2012-NikovskiEYST #automation #composition #network

Bayesian Networks for Matcher Composition in Automatic Schema Matching (DN, AE, XY, MS, ST), pp. 48–55.

ICEIS-v2-2012-BaidouriHNK #architecture #composition

A Mediator Architecture for Context-aware Composition in SOA (HB, HH, MN, AK), pp. 245–251.

ICEIS-v2-2012-CapelM #approach #automation #composition #correctness #model checking #safety #verification

A Formal Compositional Verification Approach for Safety-Critical Systems Correctness — Model-Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software (MIC, LEMM), pp. 105–112.

ICEIS-v2-2012-ErdensCLA #composition

Discoverying Cloud Services by Preconditions and Effects for Compositions (LE, DBC, DL, PA), pp. 264–270.

ICML-2012-ReidWS #design #multi

The Convexity and Design of Composite Multiclass Losses (MDR, RCW, PS), p. 36.

ICML-2012-SilverC #composition #modelling #using

Compositional Planning Using Optimal Option Models (DS, KC), p. 165.

ICPR-2012-LiuLYZ #composition #learning #visual notation

Learning to describe color composition of visual objects (YL, YL, ZY, NZ), pp. 3337–3340.

ICPR-2012-SongLLWT #retrieval

Envelope extraction for composite shapes for shape retrieval (JS, XL, HL, XW, ZT), pp. 1932–1935.

ICPR-2012-YasudaKWT #estimation #strict

Composite likelihood estimation for restricted Boltzmann machines (MY, SK, YW, KT), pp. 2234–2237.

KDD-2012-ZhongFWXL #adaptation #behaviour #named #network #social

ComSoc: adaptive transfer of user behaviors over composite social network (EZ, WF, JW, LX, YL), pp. 696–704.

KR-2012-DohertyKS #constraints

Temporal Composite Actions with Constraints (PD, JK, AS).

KR-2012-EveraereKM #composition

Compositional Belief Merging (PE, SK, PM).

SEKE-2012-BritoOMNBGM #case study #composition #implementation #social #web

Implementing Web Applications as Social Machines Composition: A Case Study (KdSB, LEAO, PFM, LMN, VAdAB, VCG, SRdLM), pp. 311–314.

SIGIR-2012-SongYXLLW #multi #query #summary

Multi-aspect query summarization by composite query (WS, QY, ZX, TL, SL, JRW), pp. 325–334.

ECMFA-2012-MosserBD #adaptation #commutative #composition

A Commutative Model Composition Operator to Support Software Adaptation (SM, MBF, LD), pp. 4–19.

RE-2012-Chernak #composition #requirements

Requirements Composition Table explained (YC), pp. 273–278.

SAC-2012-ChiwiacowskyGMVG #algorithm #search-based

A two-level procedure based on genetic algorithms to optimize an aeronautical composite structure (LDC, PG, RM, HFdCV, ATG), pp. 259–260.

SAC-2012-FkiJST #approach #composition #flexibility #using

A flexible approach for service composition using service patterns (EF, MJ, CSD, ST), pp. 1976–1983.

SAC-2012-MalakutiA #composition #evolution

Evolution of composition filters to event composition (SM, MA), pp. 1850–1857.

SAC-2012-MenezesOV #abstraction #composition #coordination #pervasive

Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp (RM, AO, MV), pp. 1557–1559.

SAC-2012-TinelliCSD #automation #compilation #composition #sql #standard

Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.

SAC-2012-YanCY #composition #optimisation #web #web service

Anytime QoS optimization over the PlanGraph for web service composition (YY, MC, YY), pp. 1968–1975.

ICSE-2012-MarianiP #composition #named #plugin

MASH: A tool for end-user plug-in composition (LM, FP), pp. 1387–1390.

LDTA-2012-ErdwegGR #composition

Language composition untangled (SE, PGG, TR), p. 7.

ICLP-2012-ChenJY

Extending C+ with Composite Actions for Robotic Task Planning (XC, GJ, FY), pp. 404–414.

ISSTA-2012-ZhangED #composition #generative #pipes and filters #testing

Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.

LICS-2012-TraytelPB #category theory #composition #data type #higher-order #logic #proving #theorem proving

Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving (DT, AP, JCB), pp. 596–605.

VMCAI-2012-NamjoshiT #composition #symmetry #verification

Local Symmetry and Compositional Verification (KSN, RJT), pp. 348–362.

CBSE-2011-DistefanoFGM #analysis #composition #multi #reliability #workflow

A compositional method for reliability analysis of workflows affected by multiple failure modes (SD, AF, CG, RM), pp. 149–158.

ECSA-2011-CuboP #architecture #automation #component #composition #framework #named

DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures (JC, EP), pp. 388–404.

ECSA-2011-DeitersR #approach #architecture #composition #design

A Constructive Approach to Compositional Architecture Design (CD, AR), pp. 75–82.

ECSA-2011-HamelGKBG #behaviour #transaction #verification

Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.

CASE-2011-BallariniDDHP #composition #flexibility #modelling #petri net #verification

Petri nets compositional modeling and verification of Flexible Manufacturing Systems (PB, HD, MD, SH, NP), pp. 588–593.

CASE-2011-MohajeraniMF #composition #nondeterminism #synthesis

Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.

DAC-2011-LiuDPC #approximate #composition #design #set

Supervised design space exploration by compositional approximation of Pareto sets (HYL, ID, MP, LPC), pp. 399–404.

DocEng-2011-BalinskyCS #documentation #encryption

Publicly posted composite documents with identity based encryption (HB, LC, SJS), pp. 239–248.

DocEng-2011-DamascenoSM #authoring #editing #hypermedia #interactive #named #visual notation

EDITEC: hypermedia composite template graphical editor for interactive tv authoring (JRD, JAFdS, DCMS), pp. 77–80.

DocEng-2011-Damera-VenkataBO #automation #composition #documentation #probability

Probabilistic document model for automated document composition (NDV, JB, EOS), pp. 3–12.

ICDAR-2011-GhoshC #detection #identification #image

Composite Script Identification and Orientation Detection for Indian Text Images (SG, BBC), pp. 294–298.

VLDB-2011-BenouaretBHB #composition #fuzzy #named #query #web #web service

FuDoCS: A Web Service Composition System Based on Fuzzy Dominance for Preference Query Answering (KB, DB, AH, MB), pp. 1430–1433.

FASE-2011-FengKP #automation #composition #learning #probability #reasoning

Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.

FASE-2011-VanoverbergheP #aspect-oriented #composition #execution #symbolic computation

Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.

TACAS-2011-GargM #composition

Compositionality Entails Sequentializability (PG, PM), pp. 26–40.

CSMR-2011-Lopez-HerrejonE #composition #consistency #multi #named #variability

C2MV2: Consistency and Composition for Managing Variability in Multi-view Systems (RELH, AE), pp. 347–350.

MSR-2011-RaoK #case study #comparative #debugging #library #locality #modelling #retrieval

Retrieval from software libraries for bug localization: a comparative study of generic and composite text models (SR, ACK), pp. 43–52.

SAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.

CIAA-J-2010-AllauzenRS11 #algorithm #composition #finite #performance #transducer

A Filter-Based Algorithm for Efficient Composition of Finite-State Transducers (CA, MR, JS), pp. 1781–1795.

CIAA-2011-FelscherT #composition #detection

Compositional Failure Detection in Structured Transition Systems (IF, WT), pp. 130–141.

CHI-2011-KomanduriSKMBCCE #people #policy

Of passwords and people: measuring the effect of password-composition policies (SK, RS, PGK, MLM, LB, NC, LFC, SE), pp. 2595–2604.

CHI-2011-WaldnerSGS

Importance-driven compositing window management (MW, MS, RG, DS), pp. 959–968.

DUXU-v1-2011-ZilzF #composition

Smart User Assistance Based on Dynamic Model Composition (RZ, PF), pp. 706–714.

DUXU-v2-2011-DahlS #case study #composition #interface #smarttech #usability

End-User Composition Interfaces for Smart Environments: A Preliminary Study of Usability Factors (YD, RMS), pp. 118–127.

HCD-2011-PommeranzWJ #composition #design #elicitation #evaluation #interface #towards

Towards Compositional Design and Evaluation of Preference Elicitation Interfaces (AP, PW, CMJ), pp. 586–596.

HCI-DDA-2011-ShiraiT #composition #interactive #music #using

A Proposal of an Interactive Music Composition System Using Gibbs Sampler (AS, TT), pp. 490–497.

HIMI-v1-2011-MaeshiroNM #composition #music #process #representation

Representation of Decision Making Process in Music Composition Based on Hypernetwork Model (TM, SiN, MM), pp. 109–117.

HIMI-v1-2011-Pavel11a #approach #composition #design #protocol #security

An Approach for Security Protocol Design Based on Zero-Knowledge Primitives Composition (OP), pp. 374–378.

CAiSE-2011-MedjahedM #bottom-up #fault #web #web service

Bottom-Up Fault Management in Composite Web Services (BM, ZM), pp. 597–611.

EDOC-2011-KapurugeCK #adaptation #composition #named

ROAD4WS — Extending Apache Axis2 for Adaptive Service Compositions (MK, AWC, JK), pp. 183–192.

EDOC-2011-SapkotaAIS #composition #hybrid #information management #web #web service

A Simple Solution for Information Sharing in Hybrid Web Service Composition (BS, CHA, MEI, MvS), pp. 235–244.

ICEIS-v3-2011-XiongNF #component #composition #feature model #research

Research on Component Composition based on Feature Model (LRX, ZN, JF), pp. 214–222.

ICEIS-v4-2011-Ganesan #enterprise #framework #modelling #process #using

Composite Enterprise Process Modeling (CEProM) Framework — Setting up a Process Modeling Center of Excellence using CEProM Framework (EG), pp. 378–383.

CIKM-2011-LangeN11a #composition #metric #performance #similarity

Efficient similarity search: arbitrary similarity measures, arbitrary composition (DL, FN), pp. 1679–1688.

KDD-2011-LuoXZGD #composition #perspective

Enhancing investment decisions in P2P lending: an investor composition perspective (CL, HX, WZ, YG, GD), pp. 292–300.

KDD-2011-WilkinsonAN #classification #named #random

CHIRP: a new classifier based on composite hypercubes on iterated random projections (LW, AA, DTN), pp. 6–14.

KEOD-2011-HlomaniGKS #case study #composition #evaluation #framework #ontology

Utilizing a Compositional System Knowledge Framework for Ontology Evaluation — A Case Study on BioSTORM (HH, MGG, DK, DAS), pp. 167–175.

KEOD-2011-PhamSD #composition #framework #workflow

A Practical Ontology-driven Workflow Composition Framework (HP, DS, RD), pp. 242–248.

KEOD-2011-SerranoSFD #composition #information management #modelling #ontology

Ontological Modeling in Cloud Services — About Information Sharing to Support Service Composition (MS, LS, MÓF, WD), pp. 328–335.

SEKE-2011-CatalA #approach #development #enterprise #estimation

A Composite Project Effort Estimation Approach in an Enterprise Software Development Project (CC, MSA), pp. 331–334.

SEKE-2011-ChawlaXZ #composition #ontology #realtime #reliability #web #web service

A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition (HC, HX, MZ), pp. 153–158.

SEKE-2011-YuLFC #composition #testing

A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.

SIGIR-2011-ZhangWS #multi

Composite hashing with multiple information sources (DZ, FW, LS), pp. 225–234.

ICMT-J-2010-HeidenreichKA11 #composition

Safe Composition of Transformations (FH, JK, UA), pp. 162–181.

MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards

Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.

MoDELS-2011-WagelaarTCJ #composition #model transformation #rule-based #semantics #towards

Towards a General Composition Semantics for Rule-Based Model Transformation (DW, MT, JC, FJ), pp. 623–637.

GPCE-2011-BatoryHK #composition #feature model #interactive

Feature interactions, products, and composition (DSB, PH, JK), pp. 13–22.

GPCE-2011-HannousseDA #component #composition #interactive #modelling #static analysis

Static analysis of aspect interaction and composition in component models (AH, RD, GA), pp. 43–52.

SAC-2011-AlencarRB #composition #evaluation #human-computer #hybrid

Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.

SAC-2011-BenouaretBH #approach #composition #fuzzy

Top-k service compositions: a fuzzy set-based approach (KB, DB, AH), pp. 1033–1038.

SAC-2011-RodriguezSV #approach #composition #execution #multi

Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.

SAC-2011-ShimadaKLCN #composition #design #embedded #functional #kernel

Design issues in composition kernels for highly functional embedded systems (HS, YK, THL, AC, TN), pp. 338–345.

GTTSE-2011-Voelter #composition #ide

Language and IDE Modularization and Composition with MPS (MV), pp. 383–430.

ICSE-2011-BianculliGP #composition #interface

Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.

ICSE-2011-Dantas #composition #maintenance #reuse

Reuse vs. maintainability: revealing the impact of composition code properties (FD), pp. 1082–1085.

ICSE-2011-Pinto #approach #composition #declarative #flexibility

A declarative approach to enable flexible and dynamic service compositions (LSP), pp. 1130–1131.

SLE-2011-SeibelHNG #black box #composition #execution #model transformation

A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.

PLEASE-2011-RosaL #component #composition #mobile #product line #reuse

Smart composition of reusable software components in mobile application product lines (REVDSR, VFdLJ), pp. 45–49.

CAV-2011-Platzer #composition #hybrid #logic #tutorial #verification

Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.

ICLP-J-2011-Porto #composition #prolog #semantics

A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.

ICST-2011-HummerRSLD #composition #test coverage

Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.

ICTSS-2011-SchwarzlAW #composition #random testing #testing #using

Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.

CBSE-2010-EichbergKMM #component #composition #feature model #modelling #using

Component Composition Using Feature Models (ME, KK, RM, MM), pp. 200–215.

CBSE-2010-LauNTR #behaviour #composition #design pattern

(Behavioural) Design Patterns as Composition Operators (KKL, IN, CMT, TR), pp. 232–251.

CBSE-2010-LoiretSDS #approach #composition #embedded #realtime

A Three-Tier Approach for Composition of Real-Time Embedded Software Stacks (FL, LS, LD, DS), pp. 37–54.

ECSA-2010-Bosch #architecture #composition

Architecture in the Age of Compositionality (JB), pp. 1–4.

ECSA-2010-Hock-koonO10a #composition #specification

Specifying Loose Coupling from Existing Service Composition Approaches (AAHk, MO), pp. 464–471.

ECSA-2010-Pahl #adaptation #architecture #composition #coordination #towards

Dynamic Adaptive Service Architecture — Towards Coordinated Service Composition (CP), pp. 472–475.

ECSA-2010-ParraCBD #architecture #composition

Feature-Based Composition of Software Architectures (CAP, AC, XB, LD), pp. 230–245.

ASE-2010-Bosch #composition #re-engineering #towards

Keynote address: toward compositional software engineering (JB), pp. 1–2.

DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability

BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.

DocEng-2010-BalinskyS #difference #documentation #multi #workflow

Differential access for publicly-posted composite documents with multiple workflow participants (HB, SJS), pp. 115–124.

DocEng-2010-ChaoTZA #composition #image #recursion

Blocked recursive image composition with exclusion zones (HC, DT, XZ, CBA), pp. 111–114.

DocEng-2010-LecarpentierBC #approach #documentation #framework #internet #multi

Multilingual composite document management framework for the internet: an FRBR approach (JML, CB, HLC), pp. 13–16.

SIGMOD-2010-RoyACDY

Constructing and exploring composite items (SBR, SAY, AC, GD, CY), pp. 843–854.

FASE-2010-KelsenM #composition

A Modular Model Composition Technique (PK, QM), pp. 173–187.

FASE-2010-NaeemHOH #composition #contract #incremental #visual notation

Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.

FoSSaCS-2010-ChambartS #composition #towards

Toward a Compositional Theory of Leftist Grammars and Transformations (PC, PS), pp. 237–251.

ICSM-2010-LiQJW #automation #generative #graph #testing

Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.

SCAM-2010-TroshinaDC #decompiler #re-engineering

Reconstruction of Composite Types for Decompilation (KT, YD, AC), pp. 179–188.

SAS-2010-FarzanK #analysis #composition #concurrent #source code

Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (AF, ZK), pp. 253–270.

CIAA-2010-AllauzenRS #composition #finite #performance #transducer

Filters for Efficient Composition of Weighted Finite-State Transducers (CA, MR, JS), pp. 28–38.

ICALP-v1-2010-LeeZ #communication #complexity #composition #theorem

Composition Theorems in Communication Complexity (TL, SZ), pp. 475–489.

ICALP-v2-2010-CoeckeK #composition #multi #quantum

The Compositional Structure of Multipartite Quantum Entanglement (BC, AK), pp. 297–308.

ICALP-v2-2010-McIverMM #composition #probability

Compositional Closure for Bayes Risk in Probabilistic Noninterference (AM, LM, CM), pp. 223–235.

ICALP-v2-2010-Rensink #composition #graph transformation

Compositionality in Graph Transformation (AR), pp. 309–320.

IFM-2010-Dimovski #composition #equivalence #nondeterminism #source code #termination

A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs (AD), pp. 121–135.

IFM-2010-Faber #architecture #composition #realtime #reasoning #verification

Verification Architectures: Compositional Reasoning for Real-Time Systems (JF), pp. 136–151.

ICGT-2010-Jurack #emf #graph #inheritance #modelling

Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures (SJ), pp. 397–399.

ICEIS-ISAS-2010-FkiSTJ #composition

Intention Driven Service Composition with Patterns (EF, CSD, ST, MJ), pp. 236–241.

ICEIS-ISAS-2010-MoralesTP #composition #process #verification

Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.

ICEIS-J-2010-MoralesTP10a #composition #formal method #process #verification

A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes (LEMM, MICT, MAP), pp. 388–403.

ICPR-2010-HabeMK #automation #composition #image #video

Automatic Composition of an Informative Wide-View Image from Video (HH, SM, MK), pp. 4117–4120.

KEOD-2010-GillespieSC #case study #composition #modelling

Satisfying user Expectations in Ontology-driven Compositional Systems — A Case Study in Fish Population Modeling (MGG, DAS, SSC), pp. 133–143.

KMIS-2010-SrivastavaS #composition #game studies #using #validation

The Validation of a Dynamic Service Composition Model using a Simple Game (AS, PGS), pp. 260–266.

SEKE-2010-BansalKBG #composition #non-functional #weaving #web #web service

Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition (AB, SK, MBB, GG), pp. 247–252.

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.

SEKE-2010-TsaiZECB #composition #ontology

Ontology-Based Dependency-Guided Service Composition for User-Centric SOA (WTT, PZ, JE, YC, XB), pp. 462–467.

SIGIR-2010-ChatzichristofisA #database #image #retrieval

Late fusion of compact composite descriptorsfor retrieval from heterogeneous image databases (SAC, AA), pp. 825–826.

ECMFA-2010-AcherCLF #composition #feature model

Comparing Approaches to Implement Feature Model Composition (MA, PC, PL, RBF), pp. 3–19.

ECMFA-2010-JohannesF #abstraction #composition #framework #modelling #network #reuse #using

Adding Abstraction and Reuse to a Network Modelling Tool Using the Reuseware Composition Framework (JJ, MAF), pp. 132–143.

ICMT-2010-AzanzaBDT #composition

Domain-Specific Composition of Model Deltas (MA, DSB, OD, ST), pp. 16–30.

ICMT-2010-HeidenreichKA #composition

Safe Composition of Transformations (FH, JK, UA), pp. 108–122.

ICMT-2010-WimmerKKRSS

Surviving the Heterogeneity Jungle with Composite Mapping Operators (MW, GK, AK, WR, JS, WS), pp. 260–275.

MoDELS-v2-2010-JohannesA #composition #development #modelling #process

Concern-Based (de)composition of Model-Driven Software Development Processes (JJ, UA), pp. 47–62.

OOPSLA-2010-ServettoZ #composition #java #named

MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.

GPCE-2010-TanterMBA #aspect-oriented #composition #dynamic analysis

Composition of dynamic analysis aspects (ÉT, PM, WB, DA), pp. 113–122.

LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing

Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.

PADL-2010-DieterleHL #composition #using

Skeleton Composition Using Remote Data (MD, TH, RL), pp. 73–87.

POPL-2010-GodefroidNRT #composition #power of #program analysis

Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.

SAC-2010-KokashKV #composition #design #verification

Data-aware design and verification of service compositions with Reo and mCRL2 (NK, CK, EPdV), pp. 2406–2413.

SAC-2010-SantosM #composition #documentation #hypermedia #reuse #semantics

XTemplate 3.0: adding semantics to hypermedia compositions and providing document structure reuse (JAFdS, DCMS), pp. 1892–1897.

SAC-2010-ViroliC #composition #self

Chemical-inspired self-composition of competing services (MV, MC), pp. 2029–2036.

SPLC-2010-Elizondo #composition #development #using

Using Composition Connectors to Support Software Asset Development (PVE), pp. 496–497.

HPDC-2010-PhamJJS #composition #framework #performance

A service composition framework for market-oriented high performance computing cloud (TVP, HJ, KEJ, ZYS), pp. 284–287.

ISMM-2010-PetricekS

Collecting hollywood’s garbage: avoiding space-leaks in composite events (TP, DS), pp. 53–62.

PPoPP-2010-CedermanT #composition #concurrent

Supporting lock-free composition of concurrent data objects (DC, PT), pp. 339–340.

CAV-2010-CohenNS #composition #reasoning

A Dash of Fairness for Compositional Reasoning (AC, KSN, YS), pp. 543–557.

CAV-2010-CohenNS10a #composition #ltl #named #verification

SPLIT: A Compositional LTL Verifier (AC, KSN, YS), pp. 558–561.

CAV-2010-KroeningSTW #analysis #composition #invariant #termination

Termination Analysis with Compositional Transition Invariants (DK, NS, AT, CMW), pp. 89–103.

VMCAI-2010-SummersD #design pattern #reasoning

Considerate Reasoning and the Composite Design Pattern (AJS, SD), pp. 328–344.

CBSE-2009-LauO #calculus #component #composition #encapsulation

Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.

QoSA-2009-ChanP #architecture #behaviour #composition #predict #process

Compositional Prediction of Timed Behaviour for Process Control Architecture (KC, IP), pp. 86–100.

QoSA-2009-LiKWHGGJMMNNW #adaptation #composition #quantum

Adaptive Application Composition in Quantum Chemistry (LL, JPK, MSW, KAH, AG, MSG, CLJ, LCM, HM, HN, BN, TLW), pp. 194–211.

DAC-2009-ShojaeiGBGSH #composition #heuristic #multi #runtime

A parameterized compositional multi-dimensional multiple-choice knapsack heuristic for CMP run-time management (HS, AHG, TB, MG, SS, RH), pp. 917–922.

DAC-2009-SunNWS #composition #contract

Contract-based system-level composition of analog circuits (XS, PN, CCW, ALSV), pp. 605–610.

DocEng-2009-BattleB #behaviour #concurrent #documentation #modelling #state machine

Modelling composite document behaviour with concurrent hierarchical state machines (SB, HB), pp. 25–28.

DocEng-2009-BoyerWA #documentation #interactive #protocol #rest #web

A REST protocol and composite format for interactive web documents (JMB, CW, RPA), pp. 139–148.

SIGMOD-2009-MeiM #adaptation #cost analysis #detection #named #query

ZStream: a cost-based query processor for adaptively detecting composite events (YM, SM), pp. 193–206.

ITiCSE-2009-BlasGMB #analysis #automation #composition #using

Automatic E-learning contents composition by using gap analysis techniques (JMdB, JMG, LdM, RB), p. 369.

ITiCSE-2009-Ginat #composition #learning

Interleaved pattern composition and scaffolded learning (DG), pp. 109–113.

FASE-2009-GiannakopoulouP #composition #generative #interface #verification

Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.

FoSSaCS-2009-Guttman #authentication #composition #encryption #protocol #testing

Cryptographic Protocol Composition via the Authentication Tests (JDG), pp. 303–317.

TACAS-2009-BakewellG #abstraction #composition #game studies #semantics

Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.

TACAS-2009-ChenFCTW #automaton #composition #learning #verification

Learning Minimal Separating DFA’s for Compositional Verification (YFC, AF, EMC, YKT, BYW), pp. 31–45.

TACAS-2009-KuglerS #composition #sequence chart #specification #synthesis

Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.

PLDI-2009-SchwerdfegerW #composition

Verifiable composition of deterministic grammars (AS, EVW), pp. 199–210.

CIAA-J-2008-AllauzenM09 #composition #finite #transducer

N-Way Composition of Weighted Finite-State Transducers (CA, MM), pp. 613–627.

CIAA-J-2008-TsayW09 #automation #composition #reasoning

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 747–762.

LATA-2009-ClarridgeS #automaton #composition

A Cryptosystem Based on the Composition of Reversible Cellular Automata (AC, KS), pp. 314–325.

FM-2009-JeffordsHAL #composition #fault tolerance #formal method #refinement #using

A Formal Method for Developing Provably Correct Fault-Tolerant Systems Using Partial Refinement and Composition (RDJ, CLH, MA, EIL), pp. 173–189.

FM-2009-LangM #composition #confluence #detection #partial order #reduction #using

Partial Order Reductions Using Compositional Confluence Detection (FL, RM), pp. 157–172.

FM-2009-McIverM #case study #composition #refinement #security

Sums and Lovers: Case Studies in Security, Compositionality and Refinement (AM, CCM), pp. 289–304.

SFM-2009-BravettiZ #composition #contract #web #web service

Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.

SFM-2009-MarconiP #composition #synthesis #web #web service

Synthesis and Composition of Web Services (AM, MP), pp. 89–157.

HCI-NIMT-2009-MaceA #composition #interactive #pattern matching #pattern recognition #recognition #sketching

Pattern Recognition Strategies for Interactive Sketch Composition (SM, ÉA), pp. 840–849.

HCI-NT-2009-AlmadaLAFC #composition #framework #named

YVision: A General Purpose Software Composition Framework (AA, GL, AA, JF, NC), pp. 779–788.

HCI-NT-2009-LucasAW #composition #declarative #development #named #programming #web

Collage: A Declarative Programming Model for Compositional Development of Web Applications (BL, RPA, CW), pp. 856–865.

HCI-NT-2009-Sauro #modelling

Estimating Productivity: Composite Operators for Keystroke Level Modeling (JS), pp. 352–361.

EDOC-2009-RosenbergCMLD #approach #composition

An End-to-End Approach for QoS-Aware Service Composition (FR, PC, AM, PL, SD), pp. 151–160.

ICEIS-J-2009-Al-NoryBN #composition #framework #nondeterminism

A Service Composition Framework for Decision Making under Uncertainty (MTAN, AB, HN), pp. 363–375.

ICEIS-J-2009-MoralesC #automation #composition #process #verification

Automatic Compositional Verification of Business Processes (LEMM, MIC), pp. 479–490.

ICEIS-SAIC-2009-BodenstaffWWJR #composition #design #monitoring #validation

Monitoring Service Compositions in MoDe4SLA — Design of Validation (LB, AW, RW, MCJ, MR), pp. 114–121.

ICML-2009-YuilleZ #composition #learning

Compositional noisy-logical learning (ALY, SZ), pp. 1209–1216.

KDIR-2009-Exman #composition #named #paradigm

Interestingness — A Unifying Paradigm — Bipolar Function Composition (IE), pp. 196–201.

KEOD-2009-HlomaniS #approach #composition #ontology

An Ontology Driven Approach to Software Systems Composition (HH, DAS), pp. 254–260.

KEOD-2009-ZghalKYN #composition #named #ontology #using

OACAS — Ontologies Alignment using Composition and Aggregation of Similarities (SZ, MK, SBY, EMN), pp. 233–238.

SEKE-2009-ChengCSW #composition

Dynamic Service Composition for Virtual UPnP Device Creation (STC, CLC, JS, MW), pp. 364–369.

SEKE-2009-LiCQJJ #generative #testing

Generating Test Cases of Composite Services Based on OWL-S and EH-CPN (BL, JC, DQ, SJ, YJ), pp. 350–355.

SEKE-2009-LiuC #analysis #composition #data flow #testing #web #web service

Data Flow Analysis and Testing for Web Service Compositions Based on WS-BPEL (CHL, SLC), pp. 306–311.

SEKE-2009-YangCC #architecture #composition

Service Creation and Composition for Realization On Service-oriented Architecture (CLY, YKC, CPC), pp. 338–343.

SEKE-2009-ZhaoWX #optimisation #web #web service

User Perceived Response-time Optimization Method for Composite Web Services (JZ, YW, BX), pp. 356–363.

SIGIR-2009-ZhangSXW #framework #music #named #novel #similarity

CompositeMap: a novel framework for music similarity measure (BZ, JS, QX, YW), pp. 403–410.

MoDELS-2009-BroschLSWWKRS #modelling #word

An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example (PB, PL, MS, KW, MW, GK, WR, WS), pp. 271–285.

MoDELS-2009-EsfahaniMSGM #composition #modelling

A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.

MoDELS-2009-JohannesZFCKP #composition

Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.

MoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using

Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.

MoDELS-2009-OldevikMK #composition #contract

Model Composition Contracts (JO, MM, IK), pp. 531–545.

MoDELS-2009-BroschLSWWKRS #modelling #word

An Example Is Worth a Thousand Words: Composite Operation Modeling By-Example (PB, PL, MS, KW, MW, GK, WR, WS), pp. 271–285.

MoDELS-2009-EsfahaniMSGM #composition #modelling

A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.

MoDELS-2009-JohannesZFCKP #composition

Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.

MoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using

Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.

MoDELS-2009-OldevikMK #composition #contract

Model Composition Contracts (JO, MM, IK), pp. 531–545.

ECOOP-2009-IbrahimJTC #composition

Remote Batch Invocation for Compositional Object Services (AI, YJ, ET, WRC), pp. 595–617.

ECOOP-2009-LagorioSZ #calculus #composition

Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.

TOOLS-EUROPE-2009-CamilleriCB #aspect-oriented #composition #framework #named

CIF: A Framework for Managing Integrity in Aspect-Oriented Composition (AC, GC, LB), pp. 18–36.

GPCE-2009-KuhlemannBK #composition

Safe composition of non-monotonic features (MK, DSB, CK), pp. 177–186.

POPL-2009-CalcagnoDOY #analysis #composition

Compositional shape analysis by means of bi-abduction (CC, DD, PWO, HY), pp. 289–300.

SAC-2009-BlakeNBK

Annotating UDDI registries to support the management of composite services (MBB, MFN, AB, SK), pp. 2146–2153.

SAC-2009-CaladoBB #approach #automation #composition #metric #semantics #similarity #web #web service

An approach for semantic web services automatic discovery and composition with similarity metrics (IC, HB, IIB), pp. 694–695.

SAC-2009-DelicatoSPOBP #adaptation #aspect-oriented #composition #mobile #using

Using aspects and dynamic composition to provide context-aware adaptation for mobile applications (FCD, ILAS, PFP, ALSO, TVB, LP), pp. 456–460.

SAC-2009-HidakaHKN #approach #composition #development #model transformation #towards

Towards a compositional approach to model transformation for software development (SH, ZH, HK, KN), pp. 468–475.

SAC-2009-MondejarLPUM #aspect-oriented #composition #design #distributed #runtime

Designing a distributed AOP runtime composition model (RM, PGL, CP, PU, PM), pp. 539–540.

SAC-2009-RodriguesSC #composition #embedded #functional #set #using #verification

Improving functional verification of embedded systems using hierarchical composition and set theory (CLR, KRGdS, HdNC), pp. 1632–1636.

SAC-2009-ZurowskaD #execution #web #web service

Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.

ESEC-FSE-2009-DelawareCB #composition

Fitting the pieces together: a machine-checked model of safe composition (BD, WRC, DSB), pp. 243–252.

ESEC-FSE-2009-HannaBR #automation #automaton #behaviour #composition #independence #verification

Behavioral automata composition for automatic topology independent verification of parameterized systems (YH, SB, HR), pp. 325–334.

ICSE-2009-ApelKL #automation #composition #independence #named

FEATUREHOUSE: Language-independent, automated software composition (SA, CK, CL), pp. 221–231.

ICSE-2009-BianculliBDG #framework #named #web #web service

ReMan: A pro-active reputation management infrastructure for composite Web services (DB, WB, MLD, CG), pp. 623–626.

ICSE-2009-CamaraMSCOCP #adaptation #automation #composition #named #web #web service

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services (JC, JAM, GS, JC, MO, CC, EP), pp. 627–630.

SLE-2009-AlferezSMGKAA #composition #multi #product line #requirements

Multi-view Composition Language for Software Product Line Requirements (MA, JPS, AMDM, AG, UK, JA, VA), pp. 103–122.

SLE-2009-SchwerdfegerW #composition #parsing

Verifiable Parse Table Composition for Deterministic Parsing (AS, EVW), pp. 184–203.

SPLC-2009-SunLB #composition #requirements #web #web service

Product-line-based requirements customization for web service compositions (HS, RRL, SB), pp. 141–150.

HPDC-2009-QinFP #approach #automation #composition #graph #grid #novel #quality #workflow

A novel graph based approach for automatic composition of high quality grid workflows (JQ, TF, RP), pp. 167–176.

CAV-2009-BensalemBNS #composition #concurrent #detection #named #verification

D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.

CAV-2009-CosteHLS #composition #design #industrial #modelling #performance #predict #towards

Towards Performance Prediction of Compositional Models in Industrial GALS Designs (NC, HH, EL, WS), pp. 204–218.

CAV-2009-Jiang #composition #functional #quantifier

Quantifier Elimination via Functional Composition (JHRJ), pp. 383–397.

TestCom-FATES-2009-EscobedoGGC #composition #consistency #testing #web #web service

Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.

QoSA-2008-GallottiGMT #composition #model checking #predict #probability #quality

Quality Prediction of Service Compositions through Probabilistic Model Checking (SG, CG, RM, GT), pp. 119–134.

ASE-2008-ChauvelBBJ #adaptation #composition #policy

Composition of Qualitative Adaptation Policies (FC, OB, IB, JMJ), pp. 455–458.

ASE-2008-ShevertalovM #automation #case study #composition #network

A Case Study on the Automatic Composition of Network Application Mashups (MS, SM), pp. 359–362.

CASE-2008-BandaruN #algorithm #combinator #composition #performance #web #web service

Efficient algorithms for combinatorial auctions with volume discounts arising in web service composition (PB, YN), pp. 995–1000.

DAC-2008-Moon #composition #optimisation #verification

Compositional verification of retiming and sequential optimizations (IHM), pp. 131–136.

DATE-2008-MolnosHC #composition #embedded #multi

Compositional, dynamic cache management for embedded chip multiprocessors (AMM, MJMH, SDC), pp. 991–996.

DATE-2008-TalpinOBG #composition #design

Compositional design of isochronous systems (JPT, JO, LB, PLG), pp. 928–933.

DRR-2008-BaiNS #composition #using

Extracting curved text lines using the chain composition and the expanded grouping method (NNB, KN, YS), p. 68150.

PODS-2008-FanGGNP #complexity #composition #web #web service

Complexity and composition of synthesized web services (WF, FG, WG, FN, AP), pp. 231–240.

VLDB-2008-BuFWCL #composition #privacy

Privacy preserving serial data publishing by role composition (YB, AWCF, RCWW, LC, JL), pp. 845–856.

FASE-2008-AtirHKM #composition #programming

Object Composition in Scenario-Based Programming (YA, DH, AK, SM), pp. 301–316.

FASE-2008-CamaraSC #composition #interpreter #named

Clint: A Composition Language Interpreter (Tool Paper) (JC, GS, CC), pp. 423–427.

FASE-2008-MellitiPM #adaptation #automation #behaviour #composition #distributed #semantics

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.

FoSSaCS-2008-BraunCP #composition #information management

Compositional Methods for Information-Hiding (CB, KC, CP), pp. 443–457.

TACAS-2008-AnandGT #composition #execution #symbolic computation

Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.

TACAS-2008-FarzanCCTW #automation #composition #regular expression #verification

Extending Automated Compositional Verification to the Full Class of ω-Regular Languages (AF, YFC, EMC, YKT, BYW), pp. 2–17.

TACAS-2008-FinkbeinerPS #composition #model checking #named #synthesis

RESY: Requirement Synthesis for Compositional Model Checking (BF, HJP, SS), pp. 463–466.

STOC-2008-Umans #composition #performance #polynomial

Fast polynomial factorization and modular composition in small characteristic (CU), pp. 481–490.

CIAA-2008-AllauzenM #composition #finite #transducer

3-Way Composition of Weighted Finite-State Transducers (CA, MM), pp. 262–273.

CIAA-2008-TsayW #automation #composition #reasoning

Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 36–45.

ICALP-B-2008-Kesner #composition

Perpetuality for Full and Safe Composition (in a Constructive Setting) (DK), pp. 311–322.

SEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification

Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.

ICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process

Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.

CAiSE-2008-GuoHLD #adaptation #dependence #maintenance #named

KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services (HG, JH, YL, TD), pp. 328–342.

EDOC-2008-Foster #composition #modelling #self

Service Compositions: From Models to Self-Management (HF).

EDOC-2008-GuermoucheG #composition #data flow #towards

Toward Data Flow Oriented Services Composition (NG, CG), pp. 379–385.

EDOC-2008-PreteC #mobile #reliability

Reliable Discovery and Selection of Composite Services in Mobile Environments (LDP, LC), pp. 171–180.

EDOC-2008-TakahashiTIHF #approach #composition #coordination #metadata #multi #protocol #using

Coordination Protocol Composition Approach Using Metadata in Multi-agent Systems (RT, KT, FI, SH, YF), pp. 372–378.

ICEIS-DISI-2008-StoitsevSFM #architecture #composition #process

Architecture for End User-Driven Composition of Underspecified, Human-Centric Business Processes (TS, SS, FF, MM), pp. 165–172.

ICEIS-ISAS1-2008-MoralesTPA #communication #composition #concept #model checking #verification

A Conceptual Scheme for Compositional Model-Checking Verification of Critical Communicating Systems (LEMM, MICT, MAP, KBA), pp. 86–93.

ICEIS-ISAS2-2008-AnwarENCK #approach #composition #qvt

A QVT-Based Approach for Model Composition — Application to the VUML Profile (AA, SE, MN, BC, AK), pp. 360–367.

ICEIS-J-2008-MoralesCPA #composition #model checking #verification

Compositional Model-Checking Verification of Critical Systems (LEMM, MIC, MAP, KBA), pp. 213–225.

ICML-2008-BryanS #learning

Actively learning level-sets of composite functions (BB, JGS), pp. 80–87.

ICML-2008-SzafranskiGR #kernel #learning

Composite kernel learning (MS, YG, AR), pp. 1040–1047.

ICML-2008-WangYQZ #analysis #component #composition #feature model

Dirichlet component analysis: feature extraction for compositional data (HYW, QY, HQ, HZ), pp. 1128–1135.

ICPR-2008-GhoshM #classification #documentation #kernel #similarity #using #xml

Combining content and structure similarity for XML document classification using composite SVM kernels (SG, PM), pp. 1–4.

KDD-2008-GantaKS #composition #privacy

Composition attacks and auxiliary information in data privacy (SRG, SPK, AS), pp. 265–273.

KR-2008-SardinaPG #behaviour #composition

Behavior Composition in the Presence of Failure (SS, FP, GDG), pp. 640–650.

RecSys-2008-BrodskyHW #framework #named #recommendation

CARD: a decision-guidance framework and application for recommending composite alternatives (AB, SMH, JW), pp. 171–178.

SEKE-2008-DaiYZG #approach #composition #predict #self #web #web service

Failure Prediction Based Self-healing Approach for Web Service Composition (YD, LY, BZ, KG), pp. 853–856.

SEKE-2008-EzenwoyeS #approach #reliability #web #web service

A Language-based Approach to Addressing Reliability in Composite Web Services (OE, SMS), pp. 649–654.

SEKE-2008-SamimiM #composition #distributed #named

Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing (FAS, PKM), pp. 881–886.

SEKE-2008-YangDZ #performance #predict #reliability

Reliability Oriented QoS Driven Composite Service Selection Based on Performance Prediction (LY, YD, BZ), pp. 215–218.

ECMDA-FA-2008-FritzscheGFSKB #analysis #modelling #performance #towards

Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis (MF, WG, CF, ITAS, PK, TJB), pp. 369–380.

ECMDA-FA-2008-HovsepyanBBJ #composition #reuse

Generic Reusable Concern Compositions (AH, SVB, YB, WJ), pp. 231–245.

ICMT-2008-CuadradoM #composition #model transformation #reuse

Approaches for Model Transformation Reuse: Factorization and Composition (JSC, JGM), pp. 168–182.

ICMT-2008-Wagelaar #composition #model transformation #rule-based

Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.

MoDELS-2008-CuccuruGR

Meaningful Composite Structures (AC, SG, AR), pp. 828–842.

MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using

Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.

MoDELS-2008-RosseboR #composition #policy #specification #uml #using

Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.

MoDELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving

Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.

MoDELS-2008-WeisemollerS #component #composition #metamodelling

Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.

MoDELS-2008-CuccuruGR

Meaningful Composite Structures (AC, SG, AR), pp. 828–842.

MoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using

Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.

MoDELS-2008-RosseboR #composition #policy #specification #uml #using

Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.

MoDELS-2008-SanchezFSHU #aspect-oriented #composition #model transformation #weaving

Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation (PS, LF, DS, SH, RU), pp. 766–781.

MoDELS-2008-WeisemollerS #component #composition #metamodelling

Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.

OOPSLA-2008-BouilletFLRR #approach #composition #design #information management

A tag-based approach for the design and composition of information processing applications (EB, MF, ZL, AR, AR), pp. 585–602.

TOOLS-EUROPE-2008-BettiniBV #composition #java

Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.

TOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing

Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.

GPCE-2008-RosenmullerSSA #code generation #composition #product line

Code generation to support static and dynamic composition of software product lines (MR, NS, GS, SA), pp. 3–12.

PPDP-2008-BertolissiF #composition #data access #framework #policy

A rewriting framework for the composition of access control policies (CB, MF), pp. 217–225.

RE-2008-LencastreMAC #aspect-oriented #composition #problem

Aspects Composition in Problem Frames (ML, AMDM, JA, JC), pp. 343–344.

RE-2008-WestonCR #approach #aspect-oriented #composition #formal method #requirements #semantics

A Formal Approach to Semantic Composition of Aspect-Oriented Requirements (NW, RC, AR), pp. 173–182.

SAC-2008-BaF #composition #dependence #graph #web #web service

Dependence graphs for verifications of web service compositions with PEWS (CB, MHF), pp. 2387–2391.

SAC-2008-CamilleriBC #composition

Securing aspect composition (AC, LB, GC), pp. 278–279.

SAC-2008-CorreaLSM #composition #learning #network

Neural network based systems for computer-aided musical composition: supervised x unsupervised learning (DCC, ALML, JHS, JFM), pp. 1738–1742.

SAC-2008-IacobAI #composition #semantics

Optimized dynamic semantic composition of services (SMI, JPAA, MEI), pp. 2286–2292.

SAC-2008-LecueDL #composition #independence #semantics #towards #web #web service

Towards the composition of stateful and independent semantic web services (FL, AD, AL), pp. 2279–2285.

SAC-2008-NogueraPPF #composition #ubiquitous

Context distribution for supporting composition of applications in ubiquitous computing (CN, EVP, CAP, JF), pp. 1647–1648.

SAC-2008-RamosSM #composition #consistency #framework #refinement

Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.

SAC-2008-ShiYLZ #composition #semantics #verification #web #web service

Path-based verification for composition of semantic web services (YS, JY, ZJL, JZ), pp. 2392–2396.

FSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards

Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.

SLE-2008-BravenboerV #composition

Parse Table Composition (MB, EV), pp. 74–94.

CAV-2008-EisnerNY #composition #design #functional #power management #reasoning #verification

Functional Verification of Power Gated Designs by Compositional Reasoning (CE, AN, KY), pp. 433–445.

ICLP-2008-BoennBVF #automation #composition #music #programming #set

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (GB, MB, MDV, Jf), pp. 160–174.

CBSE-2007-FornasierWG #component #composition #named #programming #runtime #using

Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL (PF, JW, IG), pp. 227–241.

CBSE-2007-PadillaOO #component #composition #modelling #testing

An Execution-Level Component Composition Model Based on Component Testing Information (GP, CMdO, CLO), pp. 203–210.

CBSE-2007-SeryP #behaviour #component #composition #slicing #specification

Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.

CBSE-2007-Storm #composition #set

Binary Change Set Composition (TvdS), pp. 17–32.

ASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #encoding #process

Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.

CASE-2007-MohabeyNMSS #combinator #composition #web #web service

A Combinatorial Procurement Auction for QoS-Aware Web Services Composition (MM, YN, SM, PS, SVS), pp. 716–721.

DATE-2007-ChenSN #behaviour #composition #semantics #specification

Compositional specification of behavioral semantics (KC, JS, SN), pp. 906–911.

DATE-2007-MoonBP #approach #composition #equivalence

A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states (IHM, PB, CP), pp. 1170–1175.

DATE-2007-SchlieckerSE #analysis #composition #data flow #graph #integration #performance

Performance analysis of complex systems by integration of dataflow graphs and compositional performance analysis (SS, SS, RE), pp. 273–278.

DRR-2007-Obrador #composition #image #quality

Content selection based on compositional image quality (PO).

VLDB-2007-DeRoseSCDR #approach #community #composition #incremental #top-down #web

Building Structured Web Community Portals: A Top-Down, Compositional, and Incremental Approach (PD, WS, FC, AD, RR), pp. 399–410.

FASE-2007-Bosch #composition #product line #towards

Software Product Families: Towards Compositionality (JB), pp. 1–10.

FASE-2007-GronmoJW #composition #development

A Service Composition Construct to Support Iterative Development (RG, MCJ, AW), pp. 230–244.

FoSSaCS-2007-MuschollW #bound #composition #web #web service

A Lower Bound on Web Services Composition (AM, IW), pp. 274–286.

TACAS-2007-GheorghiuGP #composition #interface #verification

Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.

SCAM-2007-Johannes #composition #framework #reuse #source code

Source Code Composition with the Reuseware Composition Framework (JJ), pp. 159–160.

SAS-2007-ShohamG #abstraction #composition #verification

Compositional Verification and 3-Valued Abstractions Join Forces (SS, OG), pp. 69–86.

LATA-2007-Maletti #composition #top-down #transducer

Compositions of Extended Top-down Tree Transducers (AM), pp. 379–390.

SEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction

Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.

CHI-2007-VallgardaR

Computational composites (AV, JR), pp. 513–522.

DHM-2007-WangDD #evaluation

A Composite Measure for the Evaluation of Mental Workload (LmW, VGD, YD), pp. 460–466.

HCI-IDU-2007-LewandowskiLB #component #composition #modelling

Tasks Models Merging for High-Level Component Composition (AL, SL, GB), pp. 1129–1138.

HCI-IPT-2007-KimP #smarttech

Preparation of Conductive Materials for Smart Clothing: Doping and Composite of Conducting Polymer (JK, NP), pp. 1147–1154.

HCI-MIE-2007-LepreuxHRTTK #composition #multimodal #towards #user interface

Towards Multimodal User Interfaces Composition Based on UsiXML and MBD Principles (SL, AH, JR, DT, JCT, CK), pp. 134–143.

HIMI-MTT-2007-ZhangCF #image #multi #named #personalisation #retrieval #video

MyView: Personalized Event Retrieval and Video Compositing from Multi-camera Video Images (CCZ, SBC, SF), pp. 549–558.

EDOC-2007-FranceFRBG #composition #metamodelling

Providing Support for Model Composition in Metamodels (RBF, FF, RR, BB, SG), pp. 253–266.

EDOC-2007-QuartelS #assessment #composition #consistency #on the

On Interoperability and Conformance Assessment in Service Composition (DACQ, MvS), pp. 229–240.

EDOC-2007-TosicSL #composition #uml #web #web service

UML Profiles for WS-Policy4MASC as Support for Business Value Driven Engineering and Management of Web Services and their Compositions (VT, BS, HL), pp. 157–168.

ICEIS-DISI-2007-ArntsenK #case study #composition #transaction

Transaction service composition — a study of compatibility related issues (ABA, RK), pp. 239–245.

ICEIS-DISI-2007-NemoBRK #composition #distributed #semantics #towards

Semantic orchestration merging — towards composition of overlapping orchestrations (CN, MBF, MR, GK), pp. 378–383.

ICEIS-DISI-2007-OHaganSS #collaboration #composition #named #process

EVIE — An event brokering language for the composition of collaborative business processes (TO, SWS, WS), pp. 372–377.

ICEIS-SAIC-2007-BoukadiGMB #petri net #specification #using #verification #web #web service

Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets (KB, CG, ZM, DB), pp. 107–112.

ICEIS-SAIC-2007-RezguiN #categorisation #composition #ontology #semantics #using

Ontology-Based Dynamic Service Composition Using Semantic Relatedness and Categorization Techniques (YR, SN), pp. 113–120.

ICEIS-SAIC-2007-WuGRSM #automation #composition #process #semantics #using #web #web service

Automatic Composition of Semantic Web Services Using Process Mediation (ZW, KG, AR, APS, JAM), pp. 453–462.

SEKE-2007-FiondellaG #modelling #parametricity #reliability

Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.

SEKE-2007-HofmeisterW #architecture #design #independence #using

Designing a Platform-Independent Use-Case for a Composite Application using a Reference Architecture (HH, GW), pp. 227–231.

SEKE-2007-HuangL07a #composition #reasoning #using

Service Composition Using Planning and Case-Based Reasoning (KHH, AL), pp. 610–615.

SEKE-2007-MizouniSD #case study #composition #requirements #using

Using Formal Composition of Use Cases in Requirements Engineering (RM, AS, RD), p. 238–?.

ECMDA-FA-2007-HerrmannKRSV #algebra #composition #semantics

An Algebraic View on the Semantics of Model Composition (CH, HK, BR, MS, SV), pp. 99–113.

MoDELS-2007-JayaramanWEG #analysis #composition #detection #feature model #interactive #product line #using

Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis (PKJ, JW, AME, HG), pp. 151–165.

MoDELS-2007-WhittleMAJER #composition #diagrams #uml

An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.

MoDELS-2007-JayaramanWEG #analysis #composition #detection #feature model #interactive #product line #using

Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis (PKJ, JW, AME, HG), pp. 151–165.

MoDELS-2007-WhittleMAJER #composition #diagrams #uml

An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.

TOOLS-EUROPE-2007-PotterS #incremental

Incremental Lock Selection for Composite Objects (JP, AS), pp. 477–494.

GPCE-2007-JarviMS #adaptation #c++ #composition #concept #library #using

Library composition and adaptation using c++ concepts (JJ, MAM, JNS), pp. 73–82.

GPCE-2007-ThakerBKC #composition #product line

Safe composition of product lines (ST, DSB, DK, WRC), pp. 95–104.

POPL-2007-Godefroid #composition #generative #testing

Compositional dynamic test generation (PG), pp. 47–54.

SAC-2007-MouhoubS #constraints #problem

Solving conditional and composite constraint satisfaction problems (MM, AS), pp. 336–337.

SAC-2007-NarendraO #approach #composition #execution #modelling #web #web service

Modeling web service composition and execution via a requirements-driven approach (NCN, BO), pp. 1642–1648.

ESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking

Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.

ESEC-FSE-2007-Potena #composition #non-functional #research #trade-off

Composition and tradeoff of non-functional attributes in software systems: research directions (PP), pp. 583–586.

ESEC-FSE-2007-YeCCX #composition #detection

Detection and resolution of atomicity violation in service composition (CY, SCC, WKC, CX), pp. 235–244.

ATEM-2007-FleureyBFG #approach #automation #composition

A Generic Approach for Automatic Model Composition (FF, BB, RBF, SG), pp. 7–15.

SPLC-2007-ParkHSK #component #composition #product line

A Component Model supporting Decomposition and Composition of Consumer Electronics Software Product Lines (CMP, SH, KHS, JK), pp. 181–192.

CAV-2007-BerdineCCDOWY #analysis #data type

Shape Analysis for Composite Data Structures (JB, CC, BC, DD, PWO, TW, HY), pp. 178–192.

CAV-2007-GuptaMF #automation #composition #generative #verification

Automated Assumption Generation for Compositional Verification (AG, KLM, ZF), pp. 420–432.

CAV-2007-SinhaC #composition #lazy evaluation #learning #satisfiability #using #verification

SAT-Based Compositional Verification Using Lazy Learning (NS, EMC), pp. 39–54.

TestCom-FATES-2007-FalconeFMR #composition #framework #specification #testing

A Compositional Testing Framework Driven by Partial Specifications (YF, JCF, LM, JLR), pp. 107–122.

CBSE-2006-Barbier #composition #enterprise #java

An Enhanced Composition Model for Conversational Enterprise JavaBeans (FB), pp. 344–351.

CBSE-2006-BastideSO #adaptation #component #refactoring

Adaptation of Monolithic Software Components by Their Transformation into Composite Configurations Based on Refactoring (GB, AS, MO), pp. 368–375.

DAC-2006-WeiD #composition #development #megamodelling

Systematic development of nonlinear analog circuit macromodels through successive operator composition and nonlinear model decoupling (YW, AD), pp. 1023–1028.

DATE-2006-MolnosHCE #composition #multi #performance

Compositional, efficient caches for a chip multi-processor (AMM, MJMH, SDC, JTJvE), pp. 345–350.

SIGMOD-2006-Gutmans #named #paradigm #php #web

PHP: supporting the new paradigm of situational and composite web applications (AG), p. 707.

VLDB-2006-0003RBCY #metric #set

Composite Subset Measures (LC, RR, PB, BCC, VY), pp. 403–414.

VLDB-2006-BernsteinGMN #composition #implementation

Implementing Mapping Composition (PAB, TJG, SM, AN), pp. 55–66.

VLDB-2006-SismanisBHR #named #performance #scalability

GORDIAN: Efficient and Scalable Discovery of Composite Keys (YS, PB, PJH, BR), pp. 691–702.

TACAS-2006-GhicaM #composition #concurrent #higher-order #source code

Compositional Model Extraction for Higher-Order Concurrent Programs (DRG, ASM), pp. 303–317.

CSMR-2006-CugnoNSDT #automation #composition #semantics #tool support

Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3 (FdC, TDN, EDS, FMD, ET), pp. 343–346.

PEPM-2006-Lopez-HerrejonBL #approach #composition

A disciplined approach to aspect composition (RELH, DSB, CL), pp. 68–77.

PLDI-2006-JohnsonE #algorithm #composition #independence

Context-sensitive domain-independent algorithm composition and selection (TAJ, RE), pp. 181–192.

PLDI-2006-ShiversM #composition #continuation #transducer

Continuations and transducer composition (OS, MM), pp. 295–307.

STOC-2006-KushilevitzLR #composition #protocol #security

Information-theoretically secure protocols and security under composition (EK, YL, TR), pp. 109–118.

CIAA-2006-ChengWC #analysis #bisimulation #branch #composition #on the fly

On-the-Fly Branching Bisimulation Minimization for Compositional Analysis (YPC, HYW, YRC), pp. 219–229.

FM-2006-McCombS #composition #refinement

Compositional Class Refinement in Object-Z (TM, GS), pp. 205–220.

FM-2006-Zave #composition #network

Compositional Binding in Network Domains (PZ), pp. 332–347.

SEFM-2006-MarconiPT #automation #composition #data flow #requirements #specification #web #web service

Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.

ICFP-2006-BringertR #composition

A pattern for almost compositional functions (BB, AR), pp. 216–226.

ICGT-2006-BaldanEK #composition

Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.

CSCW-2006-FonoC #collaboration #composition #game studies #mobile #multi #named #social

Sandboxes: supporting social play through collaborative multimedia composition on mobile phones (DF, SC), pp. 163–166.

EDOC-2006-BarrettP #automation #composition #modelling #semantics #using #web #web service

Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics (RB, CP), pp. 417–422.

EDOC-2006-CaoJWQ #composition #named

ServiceFlow: QoS Based Service Composition in CGSP (HC, HJ, SW, LQ), pp. 453–458.

EDOC-2006-DongYZ #composition #petri net #testing #using #web #web service

Testing BPEL-based Web Service Composition Using High-level Petri Nets (WLD, HY, YBZ), pp. 441–444.

ICEIS-ISAS-2006-SoeiroBM #composition #specification #xml

An XML-Based Language for Specification and Composition of Aspectual Concerns (ES, ISB, AMDM), pp. 410–419.

ICEIS-SAIC-2006-KohlerMO #approach #composition #petri net

Dynamic Service Composition: A Petri-Net Based Approach (MK, DM, JO), pp. 159–165.

ICPR-v2-2006-BrooksA #composition #image

Generalizing inverse compositional image alignment (RB, TA), pp. 1200–1203.

SEKE-2006-DongSY #composition #framework #ontology #web #web service

OWL-S Ontology Framework Extension for Dynamic Web Service Composition (JD, YS, SY), pp. 544–549.

SEKE-2006-HepnerGG #composition #interactive #requirements #web #web service

Elevating Interaction Requirements for Web Service Composition (MH, MTG, RFG), pp. 697–701.

SEKE-2006-MrissaGBM #composition #semantics #towards #web #web service

Towards Context-based Mediation for Semantic Web Services Composition (MM, CG, DB, ZM), pp. 714–719.

SEKE-2006-SunZLT #component #composition #design #execution #framework #logic

Abstract Logic Tree based Framework for Component Based Solution Composition Design and Execution (WS, XZ, YL, ZT), pp. 268–273.

SIGIR-2006-NenkovaVM #composition #multi #summary

A compositional context sensitive multi-document summarizer: exploring the factors that influence summarization (AN, LV, KM), pp. 573–580.

ECMDA-FA-2006-BezivinBFGJKKP #canonical #composition

A Canonical Scheme for Model Composition (JB, SB, MDDF, MPG, FJ, DSK, IK, RFP), pp. 346–360.

ECMDA-FA-2006-Pahl #architecture #composition #modelling #ontology

Ontology-Based Composition and Transformation for Model-Driven Service Architecture (CP), pp. 198–212.

MoDELS-2006-GoolPHE #composition

Compositional MDA (LvG, TP, MH, RvE), pp. 126–139.

MoDELS-2006-GoolPHE #composition

Compositional MDA (LvG, TP, MH, RvE), pp. 126–139.

OOPSLA-2006-NystromQM #composition #scalability

J&: nested intersection for scalable software composition (NN, XQ, ACM), pp. 21–36.

GPCE-2006-Prehofer #composition #multi #reasoning #semantics

Semantic reasoning about feature composition via multiple aspect-weavings (CP), pp. 237–242.

POPL-2006-OlinskyLR #composition #implementation #specification #staged

Staged allocation: a compositional technique for specifying and implementing procedure calling conventions (RO, CL, NR), pp. 409–421.

SAC-2006-ChengCW #analysis #composition #named #scalability

ARCATS: a scalable compositional analysis tool suite (YPC, YRC, HYW), pp. 1852–1853.

ICSE-2006-FosterUMK #composition #modelling #named #verification #web #web service

LTSA-WS: a tool for model-based verification of web service compositions and choreography (HF, SU, JM, JK), pp. 771–774.

ICSE-2006-YeCC #collaboration #composition

Publishing and composition of atomicity-equivalent services for B2B collaboration (CY, SCC, WKC), pp. 351–360.

HPDC-2006-GlatardMP #composition #data-driven #performance

Efficient services composition for grid-enabled data-intensive applications (TG, JM, XP), pp. 333–334.

CAV-2006-AdlerASFLRR #composition #interface #named

Ticc: A Tool for Interface Compatibility and Composition (BTA, LdA, LDdS, MF, AL, VR, PR), pp. 59–62.

CAV-2006-KupfermanPV #composition #synthesis

Safraless Compositional Synthesis (OK, NP, MYV), pp. 31–44.

ICLP-2006-Emden #composition #logic #semantics

Compositional Semantics for the Procedural Interpretation of Logic (MHvE), pp. 315–329.

TestCom-2006-GotzheinK #communication #composition #testing

Compositional Testing of Communication Systems (RG, FK), pp. 227–244.

VMCAI-2006-JaffarSV #abstraction #composition

A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.

VMCAI-2006-TanA #composition #control flow #logic

A Compositional Logic for Control Flow (GT, AWA), pp. 80–94.

CBSE-2005-LagaisseJ #aspect-oriented #component #composition #middleware

Component-Based Open Middleware Supporting Aspect-Oriented Software Composition (BL, WJ), pp. 139–154.

ASE-2005-DominguezD #composition #distributed #reasoning

Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.

ASE-2005-Milanova #composition #diagrams #identification #precise #uml

Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.

ASE-2005-MokhtarLGI #composition

QoS-aware dynamic service composition in ambient intelligence environments (SBM, JL, NG, VI), pp. 317–320.

CASE-2005-CengicALYF #composition #implementation #using

Implementation of full synchronous composition using IEC 61499 function blocks (GC, KÅ, BL, CY, PMF), pp. 267–272.

DATE-2005-MolnosHCE #communication #composition #memory management #multi

Compositional Memory Systems for Multimedia Communicating Tasks (AMM, MJMH, SDC, JTJvE), pp. 932–937.

DocEng-2005-ThomasB #documentation #using #xml

Enhancing composite digital documents using XML-based standoff markup (PLT, DFB), pp. 177–186.

PODS-2005-NashBM #composition #dependence #embedded

Composition of mappings given by embedded dependencies (AN, PAB, SM), pp. 172–183.

VLDB-2005-BerardiCGHM #automation #composition #semantics #web #web service

Automatic Composition of Transition-based Semantic Web Services with Messaging (DB, DC, GDG, RH, MM), pp. 613–624.

FASE-2005-FuriaRMM #automation #composition #proving #realtime

Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.

FASE-2005-LeicherS #analysis #composition #modelling #uml

Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.

FASE-2005-ReussnerHH #component #contract #graph grammar #modelling #parametricity

Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars (RHR, JH, AH), pp. 80–95.

FoSSaCS-2005-Froschle #composition

Composition and Decomposition in True-Concurrency (SBF), pp. 333–347.

TACAS-2005-Genest #composition #sequence chart

Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.

STOC-2005-KalaiLP #composition #concurrent #protocol

Concurrent general composition of secure protocols in the timing model (YTK, YL, MP), pp. 644–653.

CIAA-2005-BaillyCS #behaviour #communication #component #composition #contract

Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.

ICALP-2005-DelzannoG #composition #constraints #process #theorem proving #verification

Compositional Verification of Asynchronous Processes via Constraint Solving (GD, MG), pp. 1239–1250.

FM-2005-CelikuM #composition #cost analysis #probability #source code #specification

Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs (OC, AM), pp. 107–122.

IFM-2005-Lang #composition #flexibility #on the fly #partial order #verification

Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods (FL), pp. 70–88.

SEFM-2005-GurovH #abstraction #composition #interface

Interface Abstraction for Compositional Verificatio (DG, MH), pp. 414–424.

SEFM-2005-MesquitaSM #composition #framework

A Strategy for the Formal Composition of Frameworks (WM, AS, ACVdM), pp. 404–413.

SEFM-2005-PrasetyaAVL #composition #generative #verification

Building Verification Condition Generators by Compositional Extensions (ISWBP, AA, TEJV, AvL), pp. 220–230.

ICEIS-v1-2005-TansalarakC #composition #implementation #named

COCO: Composition Model and Composition Model Implementation (NT, KTC), pp. 340–345.

ICEIS-v4-2005-ClaroAH #comparison #composition #web #web service

Approaches of Web Services Composition — Comparison between BPEL4WS and OWL-S (DBC, PA, JKH), pp. 208–213.

ICEIS-v4-2005-ZahreddineM #composition #design #implementation #web #web service

Design and Implementation of a Context-Based System for Composition of Web Services (WZ, QHM), pp. 119–126.

SEKE-2005-HanB #aspect-oriented #composition #evolution

Dynamically Evolvable Composition of Aspects Based On Relation Model (IJH, DHB), pp. 163–168.

SEKE-2005-IngstrupH #composition #ubiquitous

Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing (MI, KMH), pp. 632–638.

SEKE-2005-LiuCBGROA #analysis #approach #component #composition #quality #requirements #two-level grammar

Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach (SHL, FC, BRB, JGG, RRR, AMO, MA), pp. 731–734.

MoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml

Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.

MoDELS-2005-QuartelDS #concept

Extending Profiles with Stereotypes for Composite Concepts (DACQ, RMD, MvS), pp. 232–247.

MoDELS-2005-SandersMKB #composition #specification #uml #using

Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.

MoDELS-2005-Cruz-LemusGMP #diagrams #statechart #uml

Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams (JACL, MG, MEM, MP), pp. 113–125.

MoDELS-2005-QuartelDS #concept

Extending Profiles with Stereotypes for Composite Concepts (DACQ, RMD, MvS), pp. 232–247.

MoDELS-2005-SandersMKB #composition #specification #uml #using

Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.

OOPSLA-2005-KojarskiL #aspect-oriented #composition #design

Pluggable AOP: designing aspect mechanisms for third-party composition (SK, DHL), pp. 247–263.

PPDP-2005-DelzannoGM #composition #semantics

A compositional semantics for CHR (GD, MG, MCM), pp. 209–217.

POPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism

Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.

POPL-2005-BruniMM #composition

Theoretical foundations for compensations in flow composition languages (RB, HCM, UM), pp. 209–220.

RE-2005-ChitchyanSR #approach #named #requirements

CoCA: A Composition-Centric Approach to Requirements Engineering (RC, IS, AR), pp. 475–476.

SAC-2005-ColucciNSDPC #approach #composition #knowledge base #semantics

Knowledge based approach to semantic composition of teams in an organization (SC, TDN, EDS, FMD, GP, SC), pp. 1314–1319.

SAC-2005-KaminaT #composition #mixin

Selective method combination in mixin-based composition (TK, TT), pp. 1269–1273.

SAC-2005-StefanoFPT #composition #metric

Metrics for evaluating concern separation and composition (ADS, MF, GP, ET), pp. 1381–1382.

GTTSE-2005-HeuzerothATK #aspect-oriented #composition #injection

The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition: Invasive Composition with COMPASS Aspect-Oriented Connectors (DH, UA, MT, VK), pp. 357–377.

GTTSE-2005-PorkolabZ #c++ #composition #metaprogramming #problem

A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.

LDTA-2005-CleenewerckB #composition

An Invasive Composition System for Local-to-Global Transformations (TC, JB), pp. 77–98.

CAV-2005-AlurMN #composition #learning #verification

Symbolic Compositional Verification by Learning Assumptions (RA, PM, WN), pp. 548–562.

CAV-2005-Monniaux #analysis #composition #float #linear

Compositional Analysis of Floating-Point Linear Numerical Filters (DM), pp. 199–212.

VMCAI-2005-Bertrane #abstract interpretation #composition #source code #static analysis

Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs (JB), pp. 97–112.

VMCAI-2005-BurckhardtAM #composition #implementation #parametricity #refinement #safety #verification

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement (SB, RA, MMKM), pp. 130–145.

CBSE-2004-EskenaziFH #component #composition #performance #predict

Performance Prediction for Component Compositions (EME, AVF, DKH), pp. 280–293.

WICSA-2004-MarcoI #architecture #composition #generative #modelling #performance

Compositional Generation of Software Architecture Performance QN Models (ADM, PI), pp. 37–46.

ASE-2004-MehtaMSA #architecture #behaviour #composition #modelling

Modeling Behavior in Compositions of Software Architectural Primitives (NRM, NM, MS, FA), pp. 371–374.

DATE-v1-2004-MolnosHCE #composition #data-driven #memory management

Compositional Memory Systems for Data Intensive Applications (AMM, MJMH, SC, JTJvE), pp. 728–729.

DocEng-2004-BagleyB #composition #using

Page composition using PPML as a link-editing script (SRB, DFB), pp. 134–136.

SIGMOD-2004-HullS #design #tool support #web #web service

Tools for Design of Composite Web Services (RH, JS), pp. 958–961.

ITiCSE-2004-Hamer #approach #composition #design pattern #education #using

An approach to teaching design patterns using musical composition (JH), pp. 156–160.

ESOP-2004-BugliesiFM #analysis #authentication #composition #protocol

Compositional Analysis of Authentication Protocols (MB, RF, MM), pp. 140–154.

FASE-2004-Bocchi #composition #transaction

Compositional Nested Long Running Transactions (LB), pp. 194–208.

FASE-2004-SoraCVB #automation #component #composition #requirements

Automating Decisions in Component Composition Based on Propagation of Requirements (IS, VC, PV, YB), pp. 374–388.

TACAS-2004-AbramskyGMO #composition #game studies #modelling #semantics #verification

Applying Game Semantics to Compositional Software Modeling and Verification (SA, DRG, ASM, CHLO), pp. 421–435.

IWPC-2004-BackerDV #composition #execution #visualisation #web #web service

Web Services Composition, Execution and Visualization (MDB, GD, JV), pp. 264–265.

ICGT-2004-BuurenJIS #architecture #composition #enterprise #modelling

Composition of Relations in Enterprise Architecture Models (RvB, HJ, MEI, PS), pp. 39–53.

ICGT-2004-Urvoy #composition

Composition of Path Transductions (TU), pp. 368–382.

CHI-2004-HouriziJ #design #predict

Designing to support awareness: a predictive, composite model (RH, PJ), pp. 159–166.

CAiSE-2004-ShengBMDN #adaptation #composition #personalisation #web #web service

Enabling Personalized Composition and Adaptive Provisioning of Web Services (QZS, BB, ZM, MD, AHHN), pp. 322–337.

EDOC-2004-JaegerRM #composition #using #web #web service #workflow

QoS Aggregation for Web Service Composition using Workflow Patterns (MCJ, GRG, GM), pp. 149–159.

EDOC-2004-SkoganGS #composition #uml #web #web service

Web Service Composition in UML (DS, RG, IS), pp. 47–57.

EDOC-2004-WoodmanPSW #specification #verification #web #web service

Notations for the Specification and Verification of Composite Web Services (SJW, DJP, SKS, SMW), pp. 35–46.

ICEIS-v4-2004-BaluzLTWO #architecture #composition #web #web service

Composition of Web Services in the ICS Architecture (CRB, SL, RFT, BW, NRSO), pp. 435–438.

ICEIS-v4-2004-ChengB #query

Federated Mediators for Query Composite Answers (DC, NB), pp. 170–175.

ICEIS-v4-2004-LopesH #composition #corba #web #web service

From CORBA to Web Services Composition (DL, SH), pp. 114–121.

ICEIS-v4-2004-PoggiTT #composition #using

Using Agent Platforms for Service Composition (AP, MT, PT), pp. 98–105.

ICEIS-v5-2004-GattiM #communication #composition #predict

CABA2L A Bliss Predictive Composition Assistant for AAC Communication Software (NG, MM), pp. 89–96.

SEKE-2004-GomesPCPSFB #composition #diagrams #reuse #uml #using

Reuse of UML Class Diagrams Using Case-Based Composition (PG, FCP, PC, PP, NS, JLF, CB), pp. 258–263.

SEKE-2004-ZhaoBCRABO #composition

Grammatically Interpreting Feature Compositions (WZ, BRB, FC, RRR, MA, CCB, AMO), pp. 185–191.

UML-2004-StrawGSFB #composition

Model Composition Directives (GS, GG, ES, SG, RBF, JMB), pp. 84–97.

OOPSLA-2004-NandaCS #execution #web #web service

Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.

LOPSTR-2004-LauMO #composition #specification

Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.

PDCL-2004-Brogi #composition #logic programming #on the #semantics

On the Semantics of Logic Program Composition (AB), pp. 115–151.

PDCL-2004-LauO #composition #development #logic #specification

Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.

PPDP-2004-HondaY #composition #higher-order #logic #polymorphism

A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.

PADL-2004-AchtenEP #composition #user interface #visual notation

Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.

SAC-J-2003-MeloM04 #composition #framework #java #on the

On the composition of Java frameworks control-flows (ACVdM, BMM), pp. 301–307.

SAC-2004-MaamarKY #approach #composition #web #web service

A Web services composition approach based on software agents and context (ZM, SKM, HY), pp. 1619–1623.

ICSE-2004-CaporuscioIP #architecture #composition #middleware #verification

Compositional Verification of Middleware-Based Software Architecture Descriptions (MC, PI, PP), pp. 221–230.

ICSE-2004-LingenH #composition #configuration management #framework #policy

An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (RvdL, AvdH), pp. 573–582.

CC-2004-LindigR #composition #declarative #stack

Declarative Composition of Stack Frames (CL, NR), pp. 298–312.

HPDC-2004-GuNY #composition #framework #named #peer-to-peer

SpiderNet: An Integrated Peer-to-Peer Service Composition Framework (XG, KN, BY), pp. 110–119.

LCTES-2004-PatilSM #composition #simulation

Compositional static instruction cache simulation (KP, KS, FM), pp. 136–145.

CAV-2004-YangS #composition #model checking #specification

Compositional Specification and Model Checking in GSTE (JY, CJHS), pp. 216–228.

ASE-2003-FosterUMK #composition #modelling #verification #web #web service

Model-based Verification of Web Service Compositions (HF, SU, JM, JK), pp. 152–163.

HT-2003-Bernstein

Collage, composites, construction (MB), pp. 122–123.

HT-2003-ItoT #composition #visual notation #web

A visual environment for dynamic web application composition (KI, YT), pp. 184–193.

VLDB-2003-WeberSNSS #composition

WebService Composition with O’GRAPE and OSIRIS (RW, CS, PN, HS, HJS), pp. 1081–1084.

FASE-2003-VanderperrenSWJ #component #composition #visual notation

PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features (WV, DS, BW, VJ), pp. 166–169.

FoSSaCS-2003-Maier #composition

Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete (PM), pp. 343–357.

TACAS-2003-BasuR #analysis #composition #verification

Compositional Analysis for Verification of Parameterized Systems (SB, CRR), pp. 315–330.

TACAS-2003-CobleighGP #composition #learning #verification

Learning Assumptions for Compositional Verification (JMC, DG, CSP), pp. 331–346.

TACAS-2003-Tripakis #automation #composition

Automated Module Composition (ST), pp. 347–362.

PLDI-2003-StroutCF #composition #runtime

Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.

FME-2003-BeekK #automaton #composition

Team Automata Satisfying Compositionality (MHtB, JK), pp. 381–400.

FME-2003-Rusu #composition #protocol #verification

Compositional Verification of an ATM Protocol (VR), pp. 223–243.

FME-2003-XieBK #composition #reasoning

Translation-Based Compositional Reasoning for Software Systems (FX, JCB, RPK), pp. 582–599.

CAiSE-2003-AlbertPFRP #composition #framework #implementation #multi #uml

Implementing UML Association, Aggregation, and Composition. A Particular Interpretation Based on a Multidimensional Framework (MA, VP, JF, MR, OP), pp. 143–158.

ICEIS-v4-2003-LingL #approach #composition #interactive #multi #petri net #protocol

Engineering Multiagent Systems Based on Interaction Protocols: A Compositional Petri Net Approach (SL, SWL), pp. 42–48.

ICEIS-v4-2003-RoqueOL #component #composition #policy #visual notation

Policies Composition Through Graphical Components (VR, JLO, RPL), pp. 464–467.

UML-2003-Egyed #abstraction #composition #reasoning #relational

Compositional and Relational Reasoning during Class Abstraction (AE), pp. 121–137.

UML-2003-SteimannGM #modelling #object-oriented #on the

On the Key Role of Compositioning Object-Oriented Modelling (FS, JG, TAM), pp. 106–120.

SAC-2003-AtluriAGA #constraints #multi #security #self

Self-Manifestation of Composite Multimedia Objects to Satisfy Security Constraints (VA, NRA, AG, IA), pp. 927–934.

SAC-2003-Dong #composition #design pattern #representation #uml

Representing the Applications and Compositions of Design Patterns in UML (JD), pp. 1092–1098.

SAC-2003-KellarMZWKB #architecture #composition

Architecture to Support Dynamic Composition of Math Lesson Plans (MK, BM, RZ, CRW, DK, JMB), pp. 569–574.

SAC-2003-MeloM #composition #framework #java #on the

On the Composition of Java Frameworks Control-flows (ACVdM, BMM), pp. 1099–1103.

SAC-2003-NandaK #analysis #web #web service

Synchronization Analysis for Decentralizing Composite Web Services (MGN, NMK), pp. 407–414.

SAC-2003-SiEHD #composition #configuration management #process

A Model for the Configurable Composition and Synchronization of Complex Trading Activities (YWS, DE, AHMtH, MD), pp. 595–602.

SAC-2003-TakeuchiIH #parallel

An Improvement on Binary-Swap Compositing for Sort-Last Parallel Rendering (AT, FI, KH), pp. 996–1002.

ESEC-FSE-2003-ChengYHP #analysis #composition #design #modelling #refactoring #scalability #towards

Towards scalable compositional analysis by refactoring design models (YPC, MY, CLH, CYP), pp. 247–256.

ESEC-FSE-2003-GieseTBF #composition #design #realtime #towards #uml #verification

Towards the compositional verification of real-time UML designs (HG, MT, SB, SF), pp. 38–47.

ESEC-FSE-2003-JarzabekS #adaptation #composition #metaprogramming

Eliminating redundancies with a “composition with adaptation” meta-programming technique (SJ, SL), pp. 237–246.

ESEC-FSE-2003-XieB #component #composition

Verified systems by composition from verified components (FX, JCB), pp. 277–286.

ICSE-2003-OberleitnerGJ #component #composition #framework #modelling

The Vienna Component Framework Enabling Composition Across Component Models (JO, TG, MJ), pp. 25–37.

ICSE-2003-SpitznagelG #composition #formal method

A Compositional Formalization of Connector Wrappers (BS, DG), pp. 374–384.

CAV-2003-PaceLM

Calculating-Confluence Compositionally (GJP, FL, RM), pp. 446–459.

FATES-2003-BijlRT #composition #testing

Compositional Testing with ioco (MvdB, AR, JT), pp. 86–100.

ICLP-2003-DelzannoGM #composition #infinity #verification

Compositional Verification of Infinite State Systems (GD, MG, MCM), pp. 47–48.

ICLP-2003-GranvilliersM #composition #constraints #implementation #reduction

Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.

CBSE-2002-Mason #analysis #component #composition #probability #reliability

Probabilistic Analysis for Component Reliability Composition (DM), p. 8.

CBSE-2003-InverardiT #assembly #component #composition #synthesis

A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.

CBSE-2003-WeideOS #composition #performance #reasoning

Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.

DAC-2002-RichterZJE #analysis #composition #design #framework #scheduling

Model composition for scheduling analysis in platform design (KR, DZ, MJ, RE), pp. 287–292.

DATE-2002-DoucetSGO #co-evolution #component #composition #design #performance

An Environment for Dynamic Component Composition for Efficient Co-Design (FD, SKS, RKG, MO), pp. 736–743.

DATE-2002-Dubrova #composition #order

Composition Trees in Finding Best Variable Orderings for ROBDDs (ED), p. 1084.

DocEng-2002-MelloL #composition #documentation #generative #image

Generation of images of historical documents by composition (CABM, RDL), pp. 127–133.

VLDB-2002-ShengBDM #agile #composition #framework #named #peer-to-peer #self #web #web service

SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment (QZS, BB, MD, EOYM), pp. 1051–1054.

FASE-2002-BartheGH #composition #interactive #verification

Compositional Verification of Secure Applet Interactions (GB, DG, MH), pp. 15–32.

FASE-2002-Charpentier #approach #composition #motivation

An Approach to Composition Motivated by wp (MC), pp. 1–14.

FoSSaCS-2002-BorealeG #calculus #composition #on the #reasoning

On Compositional Reasoning in the Sπ-calculus (MB, DG), pp. 67–81.

TACAS-2002-Lang #composition #using #verification

Compositional Verification Using SVL Scripts (FL), pp. 465–469.

PEPM-2002-GiacobazziM #composition #semantics

Compositionality in the puzzle of semantics (RG, IM), pp. 87–97.

STOC-2002-LindellLR #authentication #composition #on the

On the composition of authenticated byzantine agreement (YL, AL, TR), pp. 514–523.

FME-2002-BackesJP #bisimulation #composition #encryption #implementation #using

Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.

CAiSE-2002-YangP #component #composition #reuse #web #web service

Web Component: A Substrate for Web Service Reuse and Composition (JY, MPP), pp. 21–36.

EDOC-2002-GanesarajahL #composition #paradigm #programming #question #workflow

Workflow-Based Composition of Web-Services: A Business Model or a Programming Paradigm? (DG, EL), pp. 273–284.

EDOC-2002-SatoSM #optimisation #parallel #web #web service

Optimizing Composite Web Services through Parallelization of Service Invocations (NS, SS, KM), p. 305–?.

KR-2002-McIlraithS #adaptation #composition #semantics #web #web service

Adapting Golog for Composition of Semantic Web Services (SAM, TCS), pp. 482–496.

KR-2002-RandellW #axiom #composition #scalability

Building Large Composition Tables via Axiomatic Theories (DAR, MW), pp. 26–36.

ECOOP-2002-SneltingT #composition #semantics

Semantics-Based Composition of Class Hierarchies (GS, FT), pp. 562–584.

PADL-2002-Thiemann #composition #named #web

WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms (PT), pp. 192–208.

SPLC-2002-OmmeringB #composition #product line

Widening the Scope of Software Product Lines — From Variation to Composition (RCvO, JB), pp. 328–347.

RTA-2002-Voigtlander #composition #performance #transducer

Conditions for Efficiency Improvement by Tree Transducer Composition (JV), pp. 222–236.

VMCAI-2002-CharatonikMP #analysis #composition #termination

Compositional Termination Analysis of Symbolic Forward Analysis (WC, SM, AP), pp. 109–125.

CBSE-2001-GenßlerZ #component #composition #embedded

Rule-driven Component Composition for Embedded Systems (TG, CZ), p. 12.

CBSE-2001-PreissW #composition #problem #towards

Towards a Composition Model Problem based on IEC61850 (OP, AW), p. 18.

CBSE-2001-Sitaraman #composition #performance #reasoning

Compositional Performance Reasoning (MS), p. 19.

WICSA-2001-SpitznagelG #approach #composition

A Compositional Approach for Constructing Connectors (BS, DG), pp. 148–157.

ASE-2001-PavlovicS #behaviour #composition #refinement #specification

Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.

FASE-2001-PingerE #communication #composition

Compositional Checking of Communication among Observers (RP, HDE), pp. 32–44.

TACAS-2001-AmlaENT #composition #diagrams #reasoning

Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.

TACAS-2001-GunterMP #composition #sequence chart

Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.

TACAS-2001-Yavuz-KahveciTB #library

A Library for Composite Symbolic Representations (TYK, MT, TB), pp. 52–66.

SAS-2001-Spoto #analysis #composition #semantics

Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses (FS), pp. 127–145.

ICALP-2001-ViswanathanV #composition #reasoning

Foundations for Circular Compositional Reasoning (MV, RV), pp. 835–847.

ICFP-2001-Chitil #algorithm #composition #debugging #fault

Compositional Explanation of Types and Algorithmic Debugging of Type Errors (OC), pp. 193–204.

ICEIS-v2-2001-LitoiuSS #composition #modelling

Flow Composition Modeling with MOF (ML, MS, MTS), pp. 590–598.

ICML-2001-JoachimsCS #categorisation #hypermedia #kernel

Composite Kernels for Hypertext Categorisation (TJ, NC, JST), pp. 250–257.

UML-2001-YacoubA #composition #design #design pattern #uml

UML Support for Designing Software Systems as a Composition of Design Patterns (SMY, HHA), pp. 149–165.

OOPSLA-2001-OstermannM #composition #object-oriented

Object-Oriented Composition Untangled (KO, MM), pp. 283–299.

TOOLS-USA-2001-Bezivin01a #composition #model transformation

From Object Composition to Model Transformation with the MDA (JB), pp. 350–354.

TOOLS-USA-2001-PawlakDFS #composition

Dynamic Wrappers: Handling the Composition Issue with JAC (RP, LD, GF, LS), pp. 56–65.

TOOLS-USA-2001-WydaegheV #component #composition #using #visual notation

Visual Component Composition Using Composition Patterns (BW, WV), pp. 120–129.

ICSE-2001-ClarkeW #approach #aspect-oriented #composition #design #reuse

Composition Patterns: An Approach to Designing Reusable Aspects (SC, RJW), pp. 5–14.

CAV-2001-JhalaM #architecture #composition #model checking #verification

Microarchitecture Verification by Compositional Model Checking (RJ, KLM), pp. 396–410.

ASE-2000-KloukinasI #automation #composition #middleware

Automating the Composition of Middleware Configurations (CK, VI), pp. 241–244.

DAC-2000-JainMMWL #analysis #canonical #complexity #composition #graph #how

Analysis of composition complexity and how to obtain smaller canonical graphs (JJ, KM, DM, IW, YL), pp. 681–686.

DATE-2000-JantschB

Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors (AJ, PB), pp. 154–160.

FASE-2000-AnlauffKPS #component #composition #domain-specific language #using

Using Domain-Specific Languages for the Realization of Component Composition (MA, PWK, AP, AS), pp. 112–126.

FoSSaCS-2000-Tsay #composition #linear #logic #verification

Compositional Verification in Linear-Time Temporal Logic (YKT), pp. 344–358.

TACAS-2000-KrimmM #communication #composition #generative #partial order #reduction

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems (JPK, LM), pp. 266–282.

CIAA-2000-Wareham #automaton #complexity #composition #finite #set

The Parameterized Complexity of Intersection and Composition Operations on Sets of Finite-State Automata (TW), pp. 302–310.

IFM-2000-KlaudelP #composition #concurrent #petri net #semantics

A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.

CAiSE-2000-CasatiIJKS #adaptation #composition

Adaptive and Dynamic Service Composition in eFlow (FC, SI, LjJ, VK, MCS), pp. 13–31.

ICPR-v2-2000-KimSK #recognition #segmentation #string

Recognition of Unconstrained Handwritten Numeral Strings by Composite Segmentation Method (KKK, CYS, JHK), pp. 2594–2597.

ICPR-v3-2000-MalkiMZB #composition

Directional Relations Composition by Orientation Histogram Fusion (JM, LM, EHZ, PB), pp. 3766–3765.

ICPR-v4-2000-HachimuraT #composition #image #interactive #query #retrieval #specification

Image Retrieval Based on Compositional Features and Interactive Query Specification (KH, AT), pp. 4262–4266.

ICPR-v4-2000-HuM #composition #image

Optimal Color Composition Matching of Images (JH, AM), pp. 4047–4050.

KR-2000-FattahP #approach #automation #composition #query

A Compositional Structured Query Approach to Automated Inference (YEF, MAP), pp. 213–224.

OOPSLA-2000-NobleHP

Exclusion for composite objects (JN, DH, JP), pp. 13–28.

TOOLS-ASIA-2000-JuYN

Agent-Based and Software Composite DDSS (CJ, LY, TJN), pp. 50–57.

TOOLS-ASIA-2000-KhanHZ #component #composition #security

Security Characterization of Software Components and Their Composition (KMK, JH, YZ), pp. 240–249.

TOOLS-USA-2000-YacoubA #analysis #approach #composition #design pattern

Pattern-Oriented Analysis and Design (POAD): A Structural Composition Approach to Glue Design Patterns (SMY, HHA), p. 273–?.

TOOLS-USA-2000-YacoubXA #composition #design #named

POD: A Composition Environment for Pattern-Oriented Design (SMY, HX, HHA), pp. 263–272.

GCSE-2000-Bruin #analysis #component #composition

Scenario-Based Analysis of Component Compositions (HdB), pp. 129–146.

GCSE-2000-KlaerenPRS #composition #contract #design #principle

Aspect Composition Applying the Design by Contract Principle (HK, EP, AR, AS), pp. 57–69.

SAC-2000-GaedkeR #component #composition #reuse #web

Supporting Compositional Reuse in Component-Based Web Engineering (MG, JR), pp. 927–933.

SAC-2000-NeumannZ #composition #towards

Towards the Usage of Dynamic Object Aggregations as a Foundation for Composition (GN, UZ), pp. 818–820.

SAC-2000-TemmeF #composition #fuzzy #standard

Fix-Mundis for Fuzzy IF-THEN Rule Bases with Standard Compositional Rule of Inference Interpretation (KHT, MF), pp. 529–533.

FSE-2000-LuttgenBC #approach #composition #semantics

A compositional approach to statecharts semantics (GL, MvdB, RC), pp. 120–129.

ICSE-2000-Dong #composition #design #framework #logic

A logical framework for design composition (JD), pp. 698–700.

ICSE-2000-SucciWLS #component #composition

Supporting dynamic composition of components (GS, RW, EL, MRS), p. 787.

OSDI-2000-ReidFSLE #component #composition #named

Knit: Component Composition for Systems Software (AR, MF, LS, JL, EE), pp. 347–360.

CAV-2000-McMillanQS #composition #induction #model checking

Induction in Compositional Model Checking (KLM, SQ, JBS), pp. 312–327.

CAV-2000-NamjoshiT #composition #on the #reasoning

On the Competeness of Compositional Reasoning (KSN, RJT), pp. 139–153.

CAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry

Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.

CL-2000-Pallotta #composition #logic #logic programming #semantics #source code

A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs (VP), pp. 777–791.

CSL-2000-BorgerS #composition #concept

Composition and Submachine Concepts for Sequential ASMs (EB, JS), pp. 41–60.

WICSA-1999-Bosch #architecture #case study #composition #evolution #product line #reuse

Evolution and Composition of Reusable Assets in Product-Line Architectures: A Case Study (JB), pp. 321–340.

HT-1999-HardmanOMRB #composition #hypermedia

Do you have the Time? Composition and Linking in Time-Based Hypermedia (LH, JvO, KSM, LR, DCAB), pp. 189–196.

TACAS-1999-BehrmannLAHL #composition #reuse #using #verification

Verification of Hierarchical State/Event Systems Using Reusability and Compositionality (GB, KGL, HRA, HH, JLN), pp. 163–177.

TACAS-1999-MarchignoliM #analysis #automation #composition #encryption #protocol #verification

Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques (DM, FM), pp. 148–162.

ICSM-1999-SchauerRMK #composition #inheritance #object-oriented

Hot Spot Recovery in Object-Oriented Software with Inheritance and Composition Template Methods (RS, SR, FM, RKK), pp. 220–229.

ICALP-1999-BouyerP #automaton #composition

Decomposition and Composition of Timed Automata (PB, AP), pp. 210–219.

FM-v1-1999-BuchiB #composition #symmetry

Compositional Symmetric Sharing in B (MB, RJB), pp. 431–451.

FM-v1-1999-CharpentierC #approach #composition #design #distributed #towards #verification

Towards a Compositional Approach to the Design and Verification of Distributed Systems (MC, KMC), pp. 570–589.

IFM-1999-Grosse-Rhode #algebra #comparison #composition #protocol #specification

A Compositional Comparison of Specifications of the Alternating Bit Protocol in CCS and UNITY Based on Algebra Transformation Systems (MGR), pp. 253–272.

AGTIVE-1999-DrewesKKK #composition #graph transformation

Graph Transformation Modules and Their Composition (FD, PK, HJK, SK), pp. 15–30.

AGTIVE-1999-RibeiroC #composition #graph grammar #modelling #simulation #using

Compositional Construction of Simulation Models Using Graph Grammars (LR, BC), pp. 87–94.

CAiSE-1999-MelloulBSW #composition #protocol

CPAM, A Protocol for Software Composition (LM, DB, NS, GW), pp. 11–25.

OOPSLA-1999-WhaleyR #analysis #composition #java #pointer #source code

Compositional Pointer and Escape Analysis for Java Programs (JW, MCR), pp. 187–206.

TOOLS-ASIA-1999-ChenHL #object-oriented

A Composite Data Model in Object-Oriented Data Warehousing (WCC, TPH, WYL), pp. 400–405.

TOOLS-ASIA-1999-GensslerL #composition #distributed

Correct Composition of Distributed Systems (TG, WL), pp. 296–305.

GCSE-1999-Bruin #approach #component #composition

A Grey-Box Approach to Component Composition (HdB), pp. 195–209.

POPL-1999-Yelland #composition #java #virtual machine

A Compositional Account of the Java Virtual Machine (PMY), pp. 57–69.

ESEC-FSE-1999-WarboysBGKMMM #collaboration #composition #generative #process

Collaboration and Composition: Issues for a Second Generation Process Language (BW, DB, RMG, GNCK, KM, RM, DSM), pp. 75–90.

CAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.

CAV-1999-Sifakis #composition #specification #tutorial

The Compositional Specification of Timed Systems — A Tutorial (JS), pp. 2–7.

ASE-1998-StirewaltR #automation #composition #generative #user interface

Automating UI Generation by Model Composition (KS, SR), p. 177–?.

DAC-1998-ChouB #composition #distributed #embedded #process #towards

Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems (PHC, GB), pp. 88–93.

DAC-1998-SmithM #automation #component #composition #hardware

Automated Composition of Hardware Components (JS, GDM), pp. 14–19.

VLDB-1998-GarofalakisIO #multi #scheduling

Resource Scheduling for Composite Multimedia Objects (MNG, YEI, BÖ), pp. 74–85.

FASE-1998-Grosse-Rhode #algebra #composition

Algebra Transformation Systems and their Composition (MGR), pp. 107–122.

FASE-1998-Heckel #composition #graph transformation #verification

Compositional Verification of Reactive Systems Specified by Graph Transformation (RH), pp. 138–153.

TACAS-1998-Lind-NielsenABHKL #analysis #composition #dependence #scalability #using #verification

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis (JLN, HRA, GB, HH, KJK, KGL), pp. 201–216.

PASTE-1998-NaumovichCO #analysis #concurrent #data flow #performance #source code

Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.

STOC-1998-Bshouty #algorithm #composition #learning #theorem

A New Composition Theorem for Learning Algorithms (NHB), pp. 583–589.

OOPSLA-1998-BertinoG

Extending the ODMG Object Model with Composite Objects (EB, GG), pp. 259–270.

TOOLS-ASIA-1998-ZhangP #approach #composition #concurrent

A Compositional Approach to Concurrent Objects (XZ, JP), pp. 116–126.

LOPSTR-1998-HamfeltN #combinator #composition #induction #logic programming #source code #synthesis

Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes (AH, JFN), pp. 143–158.

ICSE-1998-KellerS #component #composition #design #towards

Design Components: Towards Software Composition at the Design Level (RKK, RS), pp. 302–311.

HPDC-1998-CzechHG #composition #flexibility #kernel #protocol

Flexible Protocol Stacks by In-Kernel Composition (CBC, BH, MG), pp. 344–345.

CAV-1998-BensalemLO #abstraction #automation #infinity

Computing Abstractions of Infinite State Systems Compositionally and Automatically (SB, YL, SO), pp. 319–331.

CAV-1998-McMillan #algorithm #composition #implementation #model checking #verification

Verification of an Implementation of Tomasulo’s Algorithm by Compositional Model Checking (KLM), pp. 110–121.

ISSTA-1998-BultanGL #approach #constraints #integer #verification

Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.

LICS-1998-StarkS #analysis #automaton #composition #network #probability

Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata (EWS, SAS), pp. 466–477.

PODS-1997-AlonsoBFS #correctness #parallel

Correctness and Parallelism of Composite Systems (GA, SB, AF, HJS), pp. 197–208.

TACAS-1997-KrimmM #composition #generative #source code

Compositional State Space Generation from Lotos Programs (JPK, LM), pp. 239–258.

TACAS-1997-Tofts #analysis #composition #performance

Compositional Performance Analysis (CMNT), pp. 290–305.

STOC-1997-Ben-DavidBK #algorithm #composition #concept #geometry #learning #theorem

A Composition Theorem for Learning Algorithms with Applications to Geometric Concept Classes (SBD, NHB, EK), pp. 324–333.

FME-1997-BoerHR #composition #concurrent #proving

A Compositional Proof System for Shared Variable Concurrency (FSdB, UH, WPdR), pp. 515–532.

ICFP-1997-Kagawa #composition #functional #programming

Compositional References for Stateful Functional Programming (KK), pp. 217–226.

OOPSLA-1997-Riehle #design pattern

Composite Design Patterns (DR), pp. 218–228.

TOOLS-ASIA-1997-Jin #composition #inheritance #object-oriented #paradigm #semantics

An Order-Based Composition Semantics for the Inheritance in Logic-Based Object-Oriented Paradigm (ZJ), pp. 110–120.

TOOLS-USA-1997-MagnanVO #behaviour #specification

From Specification to Management of Composite Object Behavior (MM, SV, MCO), p. 132–?.

TOOLS-USA-1997-MattssonB #composition #framework #problem

Framework Composition: Problems, Causes and Solutions (MM, JB), pp. 203–214.

ESEC-FSE-1997-CheungGK #analysis #composition #liveness #reachability #using #verification

Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.

ESEC-FSE-1997-MeijlerDE #adaptation #composition #design pattern

Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition Environment (TDM, SD, RE), pp. 94–110.

CAV-1997-Kaivola #composition #using #verification

Using Compositional Preorders in the Verification of Sliding Window Protocal (RK), pp. 48–59.

CAV-1997-McMillan #composition #design #hardware #refinement

A Compositional Rule for Hardware Design Refinement (KLM), pp. 24–35.

CAV-1997-TasiranB #case study #composition #named #verification

STARI: A Case Study in Compositional and Hierarchical Timing Verification (ST, RKB), pp. 191–201.

ILPS-1997-VerbaetenDS #composition #logic programming #source code

Compositionality of Normal Open Logic Programs (SV, MD, DDS), pp. 371–385.

KBSE-1996-Jullig #composition #named #tutorial

SPECWARE: Formal Support for Software Composition (Tutorial) (RJ), p. 2.

ESOP-1996-GiacobazziR #abstract interpretation #composition #optimisation

Compositional Optimization of Disjunctive Abstract Interpretations (RG, FR), pp. 141–155.

ESOP-1996-MaraninchiH #composition #nondeterminism #semantics

Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.

TACAS-1996-FocardiG #automation #composition #security #verification

Automatic Compositional Verification of Some Security Properties (RF, RG), pp. 167–186.

ICPR-1996-BrancaTAD #composition #detection

Directionality detection in compositional textures (AB, MT, GA, AD), pp. 830–834.

ICPR-1996-DoeringW #classification #composition #cost analysis #network #set

Feedforward neural networks for Bayes-optimal classification: investigations into the influence of the composition of the training set on the cost function (AD, HW), pp. 219–223.

ECOOP-1996-BanavarL #composition #framework #tool support

An Application Framework For Module Composition Tools (GB, GL), pp. 91–113.

ALP-1996-FerreiraKP #composition #normalisation #λ-calculus

λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.

LOPSTR-1996-BrogiC #composition #logic programming #source code

Specialising Meta-level Compositions of Logic Programs (AB, SC), pp. 275–294.

ICSE-1996-CheungK #analysis #composition #reachability #safety

Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.

ISSTA-1996-BultanFG #composition #model checking #verification

Compositional Verification by Model Checking for Counter-Examples (TB, JF, RG), pp. 224–238.

JICSLP-1996-Bry #composition #database #deduction #logic programming #semantics #source code

A Compositional Semantics for Logic Programs and Deductive Databases (FB), pp. 453–467.

JICSLP-1996-EtalleT #composition #semantics #source code

A Compositional Semantics for Normal Open Programs (SE, FT), pp. 468–482.

RTA-1996-Luth #algebra #composition #proving #term rewriting #theorem

Compositional Term Rewriting: An Algebraic Proof of Toyama’s Theorem (CL), pp. 261–275.

VLDB-1995-ChaudhuriGS #multi #retrieval

Retrieval of Composite Multimedia Objects (SC, SG, CS), pp. 287–298.

CAiSE-1995-AndonoffHPZ #composition #inheritance #modelling

Modelling Inheritance, Composition and Relationship Links between Objects, Object Versions and Class Versions (EA, GH, ALP, GZ), pp. 96–111.

OOPSLA-1995-MuletMC #composition #towards

Towards a Methodology for Explicit Composition of MetaObjects (PM, JM, PC), pp. 316–330.

OOPSLA-1995-OssherKHKK #composition

Subject-Oriented Composition Rules (HO, MK, WHH, AK, VJK), pp. 235–250.

OOPSLA-1995-SaneC #composition #object-oriented #state machine #subclass

Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.

POPL-1995-BouajjaniEH #composition #infinity #parallel #process #verification

Verifying Infinite State Processes with Sequential and Parallel Composition (AB, RE, PH), pp. 95–106.

FSE-1995-CheungK #analysis #composition #constraints #distributed #finite #reachability

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (SCC, JK), pp. 140–150.

PPoPP-1995-DarlingtonGTY #composition #parallel

Parallel Skeletons for Structured Composition (JD, YG, HWT, JY), pp. 19–28.

CAV-1995-AlurH #composition #liveness #modelling

Local Liveness for Compositional Modeling of Fair Reactive Systems (RA, TAH), pp. 166–179.

CAV-1995-CousotC #composition #constraints #equation #fixpoint #game studies #induction #rule-based #semantics

Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form (PC, RC), pp. 293–308.

ILPS-1995-CominiLM #abstraction #composition

Compositionality in SLD-Derivations and their Abstractions (MC, GL, MCM), pp. 561–575.

ILPS-1995-FerrandL #composition #correctness #logic programming #proving #source code

A Compositional Proof Method of Partial Correctness for Normal Logic Programs (GF, AL), pp. 209–223.

LICS-1995-JonssonY #composition #probability #process #testing

Compositional Testing Preorders for Probabilistic Processes (BJ, WY), pp. 431–441.

LICS-1995-Simpson #composition #logic

Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS (AKS), pp. 420–430.

HT-ECHT-1994-Gronbaek #framework #hypermedia

Composites in a Dexter-Based Hypermedia Framework (KG), pp. 59–69.

VLDB-1994-ChakravarthyKAK #database #detection #semantics

Composite Events for Active Databases: Semantics, Contexts and Detection (SC, VK, EA, SKK), pp. 606–617.

TAGT-1994-CorradiniR #composition #graph grammar

Synchronized Composition of Graph Grammar Productions (AC, FR), pp. 257–270.

ECOOP-1994-Guerraoui #composition

Atomic Object Composition (RG), pp. 118–138.

OOPSLA-1994-FormanDM #composition

Composition of Before/After Metaclasses in SOM (IRF, SD, HM), pp. 427–439.

TOOLS-EUROPE-1994-BrantJ #composition #tool support

Creating Tools in HotDraw by Composition (JB, REJ), pp. 445–454.

ALP-1994-AlpuenteFV #analysis #composition #equation #source code

Compositional Analysis for Equational Horn Programs (MA, MF, GV), pp. 77–94.

PLILP-1994-BrogiCMMPRT #composition #implementation

Implementations of Program Composition Operations (AB, AC, PM, VM, DP, CR, FT), pp. 292–307.

FSE-1994-CorbettA #analysis #composition #scalability #towards

Towards Scalable Compositional Analysis (JCC, GSA), pp. 53–61.

FSE-1994-MoriconiQ #architecture #composition #correctness

Correctness and Composition of Software Architectures (MM, XQ), pp. 164–174.

CADE-1994-StickelWLPU #composition #deduction #library

Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.

CAV-1994-AzizSS #composition #equivalence #model checking

Formula-Dependent Equivalence for Compositional CTL Model Checking (AA, TRS, VS), pp. 324–337.

CAV-1994-SimoneR #composition #reduction #semantics #verification

Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.

LICS-1994-AndersenSW #calculus #composition #proving #μ-calculus

A Compositional Proof System for the Modal μ-Calculus (HRA, CS, GW), pp. 144–153.

LICS-1994-ChangMP #composition #realtime #verification

Compositional Verification of Real-Time Systems (EYC, ZM, AP), pp. 458–465.

VLDB-1993-TalensOC

Versions of Simple and Composite Objects (GT, CO, MFC), pp. 62–72.

DLT-1993-DerencourtT #composition

Compositions of Codings (DD, AT), pp. 30–43.

FME-1993-KalinichenkoNZ #composition #development #query #semantics #synthesis

Application of Composition Development Method for definition of SYNTHESIS information resource query language semantics (LAK, NSN, VZ), pp. 428–441.

OOPSLA-1993-Civello #analysis #design #object-oriented

Roles for Composite Objects in Object-Oriented Analysis and Design (FC), pp. 376–393.

POPL-1993-CodishDG #analysis #composition #logic programming #source code

Compositional Analysis of Modular Logic Programs (MC, SKD, RG), pp. 451–464.

ICRE-1993-AliagaS #composition #prototype #tool support #user interface

Prototyping of Graphing Tools by Direct GUI Composition (DGA, MSH), pp. 317–334.

FSE-1993-CheungK #analysis #composition #constraints #reachability

Enhancing Compositional Reachability Analysis with Context Constraints (SCC, JK), pp. 115–125.

CAV-1993-BrinksmaLB #composition

Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–384.

KBSE-1992-CohenC #automation #composition #data type

Automatic Composition of Data Structures to Represent Relations (DC, NC), p. 26.

SIGMOD-1992-GesmannGHHKMS #database #named

PRIMA — A Database System Supporting Dynamically Defined Composite Objects (MG, AG, TH, CH, WK, BM, HS), p. 5.

VLDB-1992-GehaniJS #database #implementation #specification

Composite Event Specification in Active Databases: Model & Implementation (NHG, HVJ, OS), pp. 327–338.

ESOP-1992-ChenM #composition #multi

Compositional Refinements in Multiple Blackboard Systems (XJC, CM), pp. 93–109.

STOC-1992-BarringtonBR #representation

Representing Boolean Functions as Polynomials Modulo Composite Numbers (Extended Abstract) (DAMB, RB, SR), pp. 455–461.

STOC-1992-BealsS #composition #linear

Structure Forest and Composition Factors for Small Base Groups in Nearly Linear Time (RB, ÁS), pp. 116–125.

ICALP-1992-FixFG #composition #unification

Program Composition via Unification (LF, NF, OG), pp. 672–684.

CAiSE-1992-DuboisBR #requirements

Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.

ECOOP-1992-AksitBV #approach #integration #object-oriented

An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach (MA, LB, SV), pp. 372–395.

ICSE-1992-PatelCB

A Measure for Composite Module Cohesion (SP, WCC, RB), pp. 38–48.

CAV-1992-Kaivola #composition #linear #logic #model checking

Compositional Model Checking for Linear-Time Temporal Logic (RK), pp. 248–259.

CAV-1992-ShipleCSB #automation #composition #model checking #reduction

Automatic Reduction in CTL Compositional Model Checking (TRS, MC, ALSV, RKB), pp. 234–247.

JICSLP-1992-ChandyK #composition #source code

The Derivation of Compositional Programs (KMC, CK), pp. 3–17.

KBSE-1991-FeatherFH #design

Composite System Design: The Good News and the Bad News (MSF, SF, BRH), pp. 16–25.

SIGMOD-1991-AhmedN #database

Version Management of Composite Objects in CAD Databases (RA, SBN), pp. 218–227.

ICALP-1991-FixFG #composition #verification

Program Composition and Modular Verification (LF, NF, OG), pp. 93–114.

CAiSE-1991-FuginiGP #composition #modelling #requirements #reuse

Reusing Requirements through a Modeling and Composition Support Tool (MGF, MG, BP), pp. 50–78.

ML-1991-Singh #composition #learning

Transfer of Learning Across Compositions of Sequentail Tasks (SPS), pp. 348–352.

OOPSLA-1991-Gibbs #multi

Composite Multimedia and Active Objects (SJG), pp. 97–112.

POPL-1991-AbadiP #composition #logic #refinement

A Logical View of Composition and Refinement (MA, GDP), pp. 323–332.

ESEC-1991-CollinsEGGT #composition #named #object-oriented #re-engineering

Tickle: Object-Oriented Description and Composition Services for Software Engineering Environments (TC, KE, CG, JG, IT), pp. 409–423.

CAV-1991-AndersenW #composition

Compositional Checking of Satisfaction (HRA, GW), pp. 24–36.

CAV-1991-FinkelP #composition #graph

Avoiding State Exposion by Composition of Minimal Covering Graphs (AF, LP), pp. 169–180.

ISLP-1991-FosterKT #composition #parallel #programming #source code #using

Using Compositional Programming to Write Portable, High-Performance Parallel Programs (ITF, CK, ST), pp. 737–738.

LICS-1991-Boer #composition #process #proving

A Compositional Proof System for Dynamic Process Creation (FSdB), pp. 399–405.

TAV-1991-YehY #algebra #analysis #composition #process #reachability #using

Compositional Reachability Analysis Using Process Algebra (WJY, MY), pp. 49–59.

ECHT-1990-StottsF #composition #hypermedia #scripting language

Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext (PDS, RF), pp. 180–193.

ICALP-1990-GoldreichK #composition #on the #proving

On the Composition of Zero-Knowledge Proof Systems (OG, HK), pp. 268–282.

ICALP-1990-LarsenX #composition #semantics

Compositionality Through an Operational Semantics of Contexts (KGL, LX), pp. 526–539.

LFP-1990-DraghicescuP #analysis #composition

A Compositional Analysis of Evaluation-Order and Its Application (MD, SP), pp. 242–250.

CHI-1990-SchiphorstCLWG #composition #interactive #process #tool support

Tools for interaction with the creative process of composition (TS, TC, CL, CW, SG), pp. 167–174.

ML-1990-Minton #composition #design

Issues in the Design of Operator Composition Systems (SM), pp. 304–312.

OOPSLA-ECOOP-1990-HelmHG #behaviour #composition #contract #named #object-oriented #specification

Contracts: Specifying Behavioural Compositions in Object-Oriented Systems (RH, IMH, DG), pp. 169–180.

CAV-1990-GrafS #composition #finite

Compositional Minimization of Finite State Systems (SG, BS), pp. 186–196.

CAV-1990-LloretAV #communication #composition #design #petri net #protocol #using #verification

Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets (JCL, PA, FV), pp. 96–105.

DAC-1989-JordanW #composition #named

COMP: A VHDL Composition System (PRJ, RDW), pp. 750–753.

SIGMOD-1989-KimBG

Composite Objects Revisted (WK, EB, JFG), pp. 337–347.

FPCA-1989-BjernerH #analysis #approach #composition #first-order #functional #lazy evaluation #source code

A Composition Approach to Time Analysis of First Order Lazy Functional Programs (BB, SH), pp. 157–165.

ML-1989-ThompsonL #concept #incremental

Incremental Concept Formation with Composite Objects (KT, PL), pp. 371–374.

ECOOP-1989-RajL #composition #reuse

A Compositional Model for Software Reuse (RKR, HML), pp. 3–24.

POPL-1989-GaifmanS #composition #logic programming #semantics #source code

Fully Abstract Compositional Semantics for Logic Programs (HG, EYS), pp. 134–142.

ICSE-1989-AllenL #composition #development #knowledge-based

A Knowledge-Based Environment for the Development of Software Parts Composition Systems (BPA, SDL), pp. 104–112.

LICS-1989-ClarkeLM #composition #model checking

Compositional Model Checking (EMC, DEL, KLM), pp. 353–362.

OOPSLA-1988-ScalettiJ #composition #interactive #music #object-oriented #synthesis

An Interactive Environment for Object-Oriented Music Composition and Sound Synthesis (CAS, REJ), pp. 222–233.

POPL-1988-BougeF #approach #composition

A Compositional Approach to Superimposition (LB, NF), pp. 240–249.

LICS-1988-Dam #composition #concurrent #logic

Relevance Logic and Concurrent Composition (MD), pp. 178–185.

LICS-1988-Winskel #composition #petri net #proving

A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) (GW), pp. 142–154.

OOPSLA-1987-GrossmanE #composition #interface #logic #object-oriented

Logical Composition of Object-Oriented Interfaces (MG, RKE), pp. 295–306.

OOPSLA-1987-KimBCGW #database #object-oriented

Composite Object Support in an Object-Oriented Database System (WK, JB, HTC, JFG, DW), pp. 118–125.

STOC-1986-LubyR #composition #encryption #generative #permutation #pseudo

Pseudo-random Permutation Generators and Cryptographic Composition (ML, CR), pp. 356–363.

ICALP-1986-Stirling #composition #concurrent #correctness #logic

A Compositional Reformulation of Owicki-Gries’s Partial Correctness Logic for a Concurrent While Language (CS), pp. 407–415.

GG-1986-Parisi-PresicceEM #composition #graph grammar #unification

Graph rewriting with unification and composition (FPP, HE, UM), pp. 496–514.

SIGMOD-1985-Otoo #multi

A Multidimensional Digital Hashing Scheme for Files With Composite Keys (EJO), pp. 214–229.

ICALP-1985-Stirling #composition #proving #set

A Complete Compositional Model Proof System for a Subset of CCS (CS), pp. 475–486.

ICALP-1985-ZwiersRB #composition #concurrent #network

Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem (JZ, WPdR, PvEB), pp. 509–519.

SIGIR-1985-Fox #bibliography #documentation #perspective #retrieval

Composite Document Extended Retrieval — An Overview (EAF), pp. 42–53.

STOC-1984-Gerth #composition #how #logic

Transition Logic: How to Reason About Temporal Properties in a Compositional Way (RG), pp. 39–50.

LFP-1984-CointeR #composition #music #named #synthesis

Formes: an Object and Time Oriented System for Music Composition and Synthesis (PC, XR), pp. 85–95.

ICALP-1983-LatteuxL #composition #morphism #on the

On the Composition of Morphisms and Inverse Morphisms (ML, JL), pp. 420–432.

POPL-1982-Pratt #composition #on the #process

On the Composition of Processes (VRP), pp. 213–223.

DAC-1980-MacdonaldPP #composition #documentation

Technical documentation by “MAGIC” (Machine Aided Graphics for Illustration and Composition (JBM, MKP, MJP), pp. 440–445.

VLDB-1977-TanakaT #composition #database #relational

Decomposition and Composition of a Relational Database (YT, TT), pp. 454–462.

ICALP-1977-ChytilJ #composition #finite #source code #string #transducer

Serial Composition of 2-Way Finite-State Transducers and Simple Programs on Strings (MC, VJ), pp. 135–147.

ICALP-1974-Gecseg #automaton #composition

Composition of Automata (FG), pp. 351–363.

STOC-1972-OgdenR #composition #transducer

Compositions of n Tree Transducers (WFO, WCR), pp. 198–206.