BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
servic (157)
model (155)
base (113)
system (94)
use (74)

Stem composit$ (all stems)

967 papers:

CBSECBSE-2015-BenesDHKN #composition #testing
Complete Composition Operators for IOCO — Testing Theory (NB, PD, TAH, JK, DN), pp. 101–110.
QoSAQoSA-2015-CaporuscioMT #composition #feedback
QoS-based Feedback for Service Compositions (MC, RM, CT), pp. 37–42.
CASECASE-2015-Malik #composition #verification
Advanced selfloop removal in compositional nonblocking verification of discrete event systems (RM), pp. 819–824.
DACDAC-2015-KrishnaNRT #analysis #composition #modelling #product line
Compositional modeling and analysis of automotive feature product lines (SNK, GKN, SR, AT), p. 6.
DACDAC-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.
DocEngDocEng-2015-HassanV #composition #documentation
The Browser as a Document Composition Engine (TH, NDV), pp. 3–12.
ESOPESOP-2015-GotsmanY #data type
Composite Replicated Data Types (AG, HY), pp. 585–609.
ESOPESOP-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.
FoSSaCSFoSSaCS-2015-GeblerLT #calculus #composition #metric #probability #process #reasoning
Compositional Metric Reasoning with Probabilistic Process Calculi (DG, KGL, ST), pp. 230–245.
MSRMSR-2015-TaoK #bibliography #clustering #code review #perspective
Partitioning Composite Code Changes to Facilitate Code Review (YT, SK), pp. 180–190.
SANERSANER-2015-LaverdiereBM #analysis #composition #graph #using
Taint analysis of manual service compositions using Cross-Application Call Graphs (MAL, BJB, EM), pp. 585–589.
PLDIPLDI-2015-Carbonneaux0S #bound #composition
Compositional certified resource bounds (QC, JH, ZS), pp. 467–478.
STOCSTOC-2015-DinurHK #composition #fault #query
Polynomially Low Error PCPs with polyloglog n Queries via Modular Composition (ID, PH, GK), pp. 267–276.
ICFPICFP-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.
ICFPICFP-2015-PombrioK #composition
Hygienic resugaring of compositional desugaring (JP, SK), pp. 75–87.
GCMGCM-2015-PeuserH #category theory #composition #graph
Attribution of Graphs by Composition of M, N-adhesive Categories (CP, AH), pp. 66–81.
CHICHI-2015-BentleyC #composition #mobile
The Composition and Use of Modern Mobile Phonebooks (FRB, YYC), pp. 2749–2758.
HCIDHM-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.
HCIDUXU-IXD-2015-TeixeiraANT #composition #game studies #music
Improving Song Guessing Games Through Music Track Composition (JMXNT, DA, EVN, VT), pp. 303–314.
HCIHCI-IT-2015-HolsteinWWL #challenge #user interface
Current Challenges in Compositing Heterogeneous User Interfaces for Automotive Purposes (TH, MW, JW, RL), pp. 531–542.
ICEISICEIS-v2-2015-FellaBB #composition #constraints #web #web service
Temporal Constraint in Web Service Composition (BF, SB, AB), pp. 577–584.
ICEISICEIS-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.
ICEISICEIS-v3-2015-LongoZB #composition #contract
Extending WSLA for Service and Contract Composition (AL, MZ, MAB), pp. 307–315.
ICEISICEIS-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.
ECIRECIR-2015-BotaZJ #perspective #retrieval
Exploring Composite Retrieval from the Users’ Perspective (HB, KZ, JMJ), pp. 13–24.
ICMLICML-2015-AybatWI #distributed #optimisation
An Asynchronous Distributed Proximal Gradient Method for Composite Convex Optimization (NSA, ZW, GI), pp. 2454–2462.
ICMLICML-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.
ICMLICML-2015-KairouzOV #composition #difference #privacy #theorem
The Composition Theorem for Differential Privacy (PK, SO, PV), pp. 1376–1385.
KDDKDD-2015-ZhengYX #composition #linear #modelling #topic #using
Linear Time Samplers for Supervised Topic Models using Compositional Proposals (XZ, YY, EPX), pp. 1523–1532.
SEKESEKE-2015-FanYC #adaptation #composition #energy #modelling
Modeling and Analyzing Adaptive Energy Consumption for Service Composition (GF, HY, LC), pp. 585–588.
SEKESEKE-2015-FariasGSOV #architecture #composition #towards
Toward an Architecture for Model Composition Techniques (KF, LG, MS, TCO, MV), pp. 656–659.
SIGIRSIGIR-2015-LiomaSLH #dependence #information retrieval
Non-Compositional Term Dependence for Information Retrieval (CL, JGS, BL, NDH), pp. 595–604.
POPLPOPL-2015-FioritiH #composition #probability #termination
Probabilistic Termination: Soundness, Completeness, and Compositionality (LMFF, HH), pp. 489–501.
POPLPOPL-2015-HeGWZ #automaton #composition #concurrent #probability #reasoning
Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems (FH, XG, BYW, LZ), pp. 503–514.
POPLPOPL-2015-StewartBCA #composition
Compositional CompCert (GS, LB, SC, AWA), pp. 275–287.
SACSAC-2015-BurtonS #composition #mixin #safety
The safety of dynamic mixin composition (EB, ES), pp. 1992–1999.
SACSAC-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.
ICSEICSE-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.
ICSEICSE-v1-2015-QiuYPK #composition #execution #symbolic computation
Compositional Symbolic Execution with Memoized Replay (RQ, GY, CSP, SK), pp. 632–642.
ICSEICSE-v2-2015-FischerLLE #composition
The ECCO Tool: Extraction and Composition for Clone-and-Own (SF, LL, RELH, AE), pp. 665–668.
SPLCSPLC-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.
SPLCSPLC-2015-McGeeM #architecture #composition #cyber-physical
Composition of proof-carrying architectures for cyber-physical systems (ETM, JDM), pp. 419–426.
SPLCSPLC-2015-Santos #composition #comprehension #hybrid #refactoring
Understanding hybrid SPL composition impact on the refactoring into SPL (ARS), pp. 348–351.
CADECADE-2015-BalbianiB #composition #logic #parallel
Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition (PB, JB), pp. 539–554.
ICLPICLP-J-2015-DassevilleHJD #composition #framework #logic #semantics
Semantics of templates in a compositional framework for building logics (ID, MvdH, GJ, MD), pp. 681–695.
TLCATLCA-2015-BessaiDDCdR #composition #mixin #synthesis
Mixin Composition Synthesis Based on Intersection Types (JB, AD, BD, TCC, Ud, JR), pp. 76–91.
VMCAIVMCAI-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.
ASEASE-2014-ArifulinaWBP #composition #modelling #named
SeSAME: modeling and analyzing high-quality service compositions (SA, SW, MB, MCP), pp. 839–842.
ASEASE-2014-Mohr #automation #composition
Issues of automated software composition in AI planning (FM), pp. 895–898.
DACDAC-2014-GuglielmoPC #composition #design #synthesis
A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs (GDG, CP, LPC), p. 6.
DATEDATE-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.
ESOPESOP-2014-DudderMR #composition #staged #synthesis
Staged Composition Synthesis (BD, MM, JR), pp. 67–86.
FoSSaCSFoSSaCS-2014-Munch-Maccagnoni #composition #modelling
Models of a Non-associative Composition (GMM), pp. 396–410.
FoSSaCSFoSSaCS-2014-Padovani #linear #re-engineering #recursion #π-calculus
Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (LP), pp. 88–102.
TACASTACAS-2014-AstefanoaeiRBBC #composition #generative #invariant
Compositional Invariant Generation for Timed Systems (LA, SBR, SB, MB, JC), pp. 263–278.
TACASTACAS-2014-Siirtola #bound #composition #multi #named #verification
Bounds2: A Tool for Compositional Multi-parametrised Verification (AS), pp. 599–604.
WRLAWRLA-2014-Duran #composition #domain-specific language
Composition of Graph-Transformation-Based DSL Definitions by Amalgamation (FD), pp. 1–20.
ICSMEICSME-2014-WangLL #composition #debugging #locality #modelling
Compositional Vector Space Models for Improved Bug Localization (SW, DL, JL), pp. 171–180.
PLDIPLDI-2014-BorgesFdPV #analysis #composition #probability #quantifier
Compositional solution space quantification for probabilistic software analysis (MB, AF, Md, CSP, WV), p. 15.
STOCSTOC-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.
AFLAFL-2014-Crespi-ReghizziP #commutative #composition
Commutative Languages and their Composition by Consensual Methods (SCR, PSP), pp. 216–230.
LATALATA-2014-Cerny #composition #morphism #multi #problem
Solutions to the Multi-dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms (AC), pp. 273–284.
FMFM-2014-DammF #automation #composition #distributed #synthesis
Automatic Compositional Synthesis of Distributed Systems (WD, BF), pp. 179–193.
FMFM-2014-LinH #composition #concurrent #learning #model checking #synthesis
Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning (SWL, PAH), pp. 416–431.
FMFM-2014-SchebenS #calculus #composition #performance #self
Efficient Self-composition for Weakest Precondition Calculi (CS, PHS), pp. 579–594.
IFMIFM-2014-TofanSR #composition #multi #proving
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset (BT, GS, WR), pp. 357–372.
SEFMSEFM-2014-AlrajehC #automation #composition #detection #specification
Automated Error-Detection and Repair for Compositional Software Specifications (DA, RC), pp. 111–127.
ICFPICFP-2014-DownenA #composition #continuation #semantics
Compositional semantics for composable continuations: from abortive to delimited control (PD, ZMA), pp. 109–122.
IFLIFL-2014-AchtenSDP #composition #interactive #programming #scalability
Task Oriented Programming with Purely Compositional Interactive Scalable Vector Graphics (PA, JS, LD, RP), p. 7.
CHICHI-2014-BenjaminCREVR #composition #named
Juxtapoze: supporting serendipity and creative expression in clipart compositions (WB, SKC, DR, NE, SVNV, KR), pp. 341–350.
CHICHI-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.
CHICHI-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.
EDOCEDOC-2014-HauptFKLV #composition #rest
Service Composition for REST (FH, MF, DK, FL, KVH), pp. 110–119.
ICEISICEIS-v2-2014-DHondtT #composition #sequence
QoS-aware Service Composition Based on Sequences of Services (SD, ST), pp. 548–555.
CIKMCIKM-2014-AnnesiCB #composition #kernel #semantics
Semantic Compositionality in Tree Kernels (PA, DC, RB), pp. 1029–1038.
ICMLICML-c2-2014-BothaB #composition #modelling #word
Compositional Morphology for Word Representations and Language Modelling (JAB, PB), pp. 1899–1907.
ICMLICML-c2-2014-ZhangDW #approximate #nearest neighbour
Composite Quantization for Approximate Nearest Neighbor Search (TZ, CD, JW), pp. 838–846.
ICPRICPR-2014-KramarevZWL #categorisation #composition #image #representation #using
Object Categorization from Range Images Using a Hierarchical Compositional Representation (VK, SZ, JLW, AL), pp. 586–591.
SEKESEKE-2014-Wang #composition #using #web #web service
QoS-Based Web Service Composition by GA Using Consumer Decision-Making Function (GW), pp. 361–364.
SEKESEKE-2014-YangKSWF #named #refactoring
RefactoringScript: A Script and Its Processor for Composite Refactoring (LY, TK, KS, HW, YF), pp. 711–716.
SIGIRSIGIR-2014-ThomasL #composition #data analysis #distance #information retrieval
Compositional data analysis (CoDA) approaches to distance in information retrieval (PT, DL), pp. 991–994.
ECMFAECMFA-2014-LogreMCR #approach #variability #visualisation
Sensor Data Visualisation: A Composition-Based Approach to Support Domain Variability (IL, SM, PC, MR), pp. 101–116.
ECOOPECOOP-2014-PrincehouseCJBFS #architecture #composition #named #protocol
MiCA: A Compositional Architecture for Gossip Protocols (LP, RC, ZJ, KPB, NF, RS), pp. 644–669.
SACSAC-2014-AngelisFS #composition #self
Self-composition of services with chemical reactions (FDA, JLFM, GDMS), pp. 1355–1356.
SACSAC-2014-FariasGLGCRBO #composition #quality #towards
Towards a quality model for model composition effort (KF, AG, CJPdL, LGJ, CAdC, RdRR, FPB, TCdO), pp. 1181–1183.
SACSAC-2014-Guimaraes #architecture #composition #distributed #fault tolerance
A fault-tolerant architecture for decentralized compositions of services in the wild (FPG), pp. 1255–1256.
SACSAC-2014-GuimaraesGF #composition #on the #quantifier
On the impact of obliviousness and quantification on model composition effort (EG, AG, KF), pp. 1043–1048.
SACSAC-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.
SACSAC-2014-WangZC #composition #energy #framework #network
An energy-aware service composition framework for service-oriented wireless sensor networks (TW, KZ, LC), pp. 408–410.
SLESLE-2014-DiekmannT #composition #editing #named
Eco: A Language Composition Editor (LD, LT), pp. 82–101.
SPLCSPLC-2014-SimidchievaO #composition #generative #product line #verification
Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.
CCCC-2014-SrinivasanR #composition
Recovery of Class Hierarchies and Composition Relationships from Machine Code (VS, TWR), pp. 61–84.
CAVCAV-2014-EsparzaK #approach #automaton #composition #ltl
From LTL to Deterministic Automata: A Safraless Compositional Approach (JE, JK), pp. 192–208.
ICSTICST-2014-DacaHKN #composition #specification #testing
Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
ICTSSICTSS-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.
LICSLICS-CSL-2014-LiangFS #composition #concurrent #refinement #source code #verification
Compositional verification of termination-preserving refinement of concurrent programs (HL, XF, ZS), p. 10.
LICSLICS-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.
ECSAECSA-2013-ThatSOB #design pattern
Composition-Centered Architectural Pattern Description Language (MTTT, SS, FO, IB), pp. 1–16.
ASEASE-2013-ChoDS #bound #composition #model checking #named #source code
BLITZ: Compositional bounded model checking for real-world programs (CYC, VD, DS), pp. 136–146.
CASECASE-2013-MohajeraniMF #automaton #composition #finite #using #verification
Compositional nonblocking verification for extended finite-state automata using partial unfolding (SM, RM, MF), pp. 930–935.
DATEDATE-2013-SchneiderZGMC #analysis #composition
Compositional analysis of switched ethernet topologies (RS, LZ, DG, AM, SC), pp. 1099–1104.
DocEngDocEng-2013-AhmadullinD #composition #probability
Hierarchical probabilistic model for news composition (IA, NDV), pp. 141–150.
DRRDRR-2013-XuTTS #documentation #segmentation
Graphic composite segmentation for documents with complex layouts (CX, ZT, XT, CS).
HTHT-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.
ESOPESOP-2013-EneaSS #composition #invariant
Compositional Invariant Checking for Overlaid and Nested Linked Lists (CE, VS, MS), pp. 129–148.
ESOPESOP-2013-JagadeesanPPR #composition #memory management #modelling #reasoning
Quarantining Weakness — Compositional Reasoning under Relaxed Memory Models (Extended Abstract) (RJ, GP, CP, JR), pp. 492–511.
FASEFASE-2013-StruberTJS #distributed #modelling #process #towards
Towards a Distributed Modeling Process Based on Composite Models (DS, GT, SJ, TS), pp. 6–20.
FoSSaCSFoSSaCS-2013-MioS #composition #concurrent #probability #process #proving #verification
A Proof System for Compositional Verification of Probabilistic Concurrent Processes (MM, AS), pp. 161–176.
TACASTACAS-2013-LiDDMS #abduction #composition #proving #synthesis
Synthesis of Circular Compositional Program Proofs via Abduction (BL, ID, TD, KLM, MS), pp. 370–384.
WCREWCRE-2013-DaiMLC #component #precise #specification
Leveraging specifications of subcomponents to mine precise specifications of composite components (ZD, XM, YL, LC), pp. 162–171.
STOCSTOC-2013-BitanskyCCT #composition #recursion
Recursive composition and bootstrapping for SNARKS and proof-carrying data (NB, RC, AC, ET), pp. 111–120.
DLTDLT-2013-FulopM #composition #linear #top-down #transducer
Composition Closure of ε-Free Linear Extended Top-Down Tree Transducers (ZF, AM), pp. 239–251.
ICALPICALP-v1-2013-ODonnellT #composition #fourier #theorem
A Composition Theorem for the Fourier Entropy-Influence Conjecture (RO, LYT), pp. 780–791.
ICALPICALP-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.
ICALPICALP-v2-2013-Gelderie #composition #game studies
Strategy Composition in Compositional Games (MG), pp. 263–274.
IFMIFM-2013-CastillosDJKT #composition #semantics
A Compositional Automata-Based Semantics for Property Patterns (KCC, FD, JJ, BK, ST), pp. 316–330.
IFMIFM-2013-MilloRKN #composition #product line #verification
Compositional Verification of Software Product Lines (JVM, SR, SNK, GKN), pp. 109–123.
SEFMSEFM-2013-TranST #composition #static analysis #transaction
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
ICFPICFP-2013-SvenningssonS #composition #embedded #monad
Simple and compositional reification of monadic embedded languages (JS, BJS), pp. 299–304.
IFLIFL-2013-VieraS #composition #semantics #syntax
First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.
HCIHCI-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.
HCIHIMI-D-2013-OkuboN #composition #generative
Proposal of Avatar Generating Method by Composition of the Portraits Made by Friends (MO, SN), pp. 515–523.
HCIOCSC-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.
VISSOFTVISSOFT-2013-BradleyH #composition #development #named #navigation
Visuocode: A software development environment that supports spatial navigation and composition (DRB, IJH), pp. 1–4.
HILTHILT-2013-MurugesanWRH #composition #verification
Compositional verification of a medical device system (AM, MWW, SR, MPEH), pp. 51–64.
CAiSECAiSE-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.
ICEISICEIS-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.
ICMLICML-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.
ICMLICML-c3-2013-DuvenaudLGTG #composition #kernel #parametricity
Structure Discovery in Nonparametric Regression through Compositional Kernel Search (DKD, JRL, RBG, JBT, ZG), pp. 1166–1174.
KDDKDD-2013-ZhongFZY #modelling #network #social
Modeling the dynamics of composite social networks (EZ, WF, YZ, QY), pp. 937–945.
KDIRKDIR-KMIS-2013-SaxenaBW #composition #learning
A Cognitive Reference based Model for Learning Compositional Hierarchies with Whole-composite Tags (ABS, AB, AW), pp. 119–127.
SIGIRSIGIR-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.
MODELSMoDELS-2013-AcherCCBLF #composition #modelling #variability
Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.
MODELSMoDELS-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.
MODELSMoDELS-2013-GreenyerK #composition #specification #synthesis
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.
MODELSMoDELS-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.
MODELSMoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
MODELSMoDELS-2013-AcherCCBLF #composition #modelling #variability
Composing Your Compositions of Variability Models (MA, BC, PC, OB, PL, RBF), pp. 352–369.
MODELSMoDELS-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.
MODELSMoDELS-2013-GreenyerK #composition #specification #synthesis
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications (JG, EK), pp. 774–789.
MODELSMoDELS-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.
MODELSMoDELS-2013-ZurowskaD #composition #lazy evaluation #model checking #modelling #uml #using
Model Checking of UML-RT Models Using Lazy Composition (KZ, JD), pp. 304–319.
ECOOPECOOP-2013-SujeethRBLCPWPJOO #composition #domain-specific language #reuse
Composition and Reuse with Compiled Domain-Specific Languages (AKS, TR, KJB, HL, HC, VP, MW, AP, VJ, MO, KO), pp. 52–78.
ECOOPECOOP-2013-VakilianCMNJ #automation #composition #paradigm #refactoring
A Compositional Paradigm of Automating Refactorings (MV, NC, RZM, SN, REJ), pp. 527–551.
PADLPADL-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.
POPLPOPL-2013-Dinsdale-YoungBGPY #composition #concurrent #named #reasoning #source code
Views: compositional reasoning for concurrent programs (TDY, LB, PG, MJP, HY), pp. 287–300.
SACSAC-2013-ChoCC #ad hoc #mobile #network #trust
Composite trust-based public key management in mobile ad hoc networks (JHC, KSC, IRC), pp. 1949–1956.
SACSAC-2013-CohenA #composition #refactoring
Practical use of static composition of refactoring operations (JC, AA), pp. 1700–1705.
SACSAC-2013-HahnMPM #composition #semantics #web #web service
Formal semantics and expressiveness of a web service composition language (MGH, RM, AP, MAM), pp. 1667–1673.
SACSAC-2013-KaratasK #approach #composition #flexibility #security
A flexible approach for considering interdependent security objectives in service composition (FK, DK), pp. 1919–1926.
SACSAC-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.
SACSAC-2013-MaalejKJ #composition #consistency #named #testing
WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
ESEC-FSEESEC-FSE-2013-BertolinoMM #composition #monitoring
Adequate monitoring of service compositions (AB, EM, AM), pp. 59–69.
ESEC-FSEESEC-FSE-2013-LiuDZ #composition
Finding incorrect compositions of atomicity (PL, JD, CZ), pp. 158–168.
ESEC-FSEESEC-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.
ICSEICSE-2013-InverardiT #automation #composition #protocol #synthesis
Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.
ICSEICSE-2013-TanA00DC #composition #synthesis
Dynamic synthesis of local time requirement for service composition (THT, ÉA, JS, YL, JSD, MC), pp. 542–551.
LDTALDTA-J-2009-AndersenBC #algebra #composition
Banana Algebra: Compositional syntactic language extension (JA, CB, DRC), pp. 1845–1870.
LICSLICS-2013-CristescuKV #calculus #composition #semantics
A Compositional Semantics for the Reversible p-Calculus (IC, JK, DV), pp. 388–397.
VMCAIVMCAI-2013-ChakiGKS #composition #source code
Compositional Sequentialization of Periodic Programs (SC, AG, SK, OS), pp. 536–554.
VMCAIVMCAI-2013-ZhuJ #composition #dependent type #lightweight #ml #type inference
Compositional and Lightweight Dependent Type Inference for ML (HZ, SJ), pp. 295–314.
CBSECBSE-2012-DongFLSZZ #component #composition
Unblockable compositions of software components (RD, JF, ZL, JS, NZ, JZ), pp. 103–108.
CBSECBSE-2012-KarolBA #attribute grammar #composition #towards
Towards well-formed fragment composition with reference attribute grammars (SK, CB, UA), pp. 109–114.
WICSA-ECSAWICSA-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.
CASECASE-2012-MohajeraniMF #composition #synthesis
Transition removal for compositional supervisor synthesis (SM, RM, MF), pp. 694–699.
DACDAC-2012-UrdahlSWK #abstraction #composition #concurrent #verification
System verification of concurrent RTL modules by compositional path predicate abstraction (JU, DS, MW, WK), pp. 334–343.
DATEDATE-2012-LiuPC #composition #design #synthesis
Compositional system-level design exploration with planning of high-level synthesis (HYL, MP, LPC), pp. 641–646.
SIGMODSIGMOD-2012-BogSP #interactive #monitoring #performance
Interactive performance monitoring of a composite OLTP and OLAP workload (AB, KS, HP), pp. 645–648.
ITiCSEITiCSE-2012-GinatA #composition #pseudo
Pseudo abstract composition: the case of language concatenation (DG, RA), pp. 28–33.
ESOPESOP-2012-ChenCJK #behaviour #component #composition #specification
A Compositional Specification Theory for Component Behaviours (TC, CC, BJ, MZK), pp. 148–168.
FASEFASE-2012-FiadeiroL #composition #consistency
Consistency of Service Composition (JLF, AL), pp. 63–77.
FASEFASE-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.
TACASTACAS-2012-PopeeaR #composition #concurrent #multi #proving #source code #termination #thread
Compositional Termination Proofs for Multi-threaded Programs (CP, AR), pp. 237–251.
FMFM-2012-AponteCMS #composition #invariant
Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.
FMFM-2012-LinLSDA #automation #composition #verification
Automatic Compositional Verification of Timed Systems (SWL, YL, JS, JSD, ÉA), pp. 272–276.
SEFMSEFM-2012-DinDO #composition #reasoning
Compositional Reasoning about Shared Futures (CCD, JD, OO), pp. 94–108.
SEFMSEFM-2012-ZhangKJ #composition #verification
Verification of Aspectual Composition in Feature-Modeling (QZ, RK, JJ), pp. 109–125.
IFLIFL-2012-DieterleHBL #composition #parallel
Iterating Skeletons — Structured Parallelism by Composition (MD, TH, JB, RL), pp. 18–36.
ICGTICGT-2012-GhamarianR #composition #graph transformation
Generalised Compositionality in Graph Transformation (AHG, AR), pp. 234–248.
CAiSECAiSE-2012-MehandjievLCR #composition
Cooperative Service Composition (NM, FL, MC, FAR), pp. 111–126.
CAiSECAiSE-2012-SchmelingCMM #composition #non-functional #towards
Towards Conflict-Free Composition of Non-functional Concerns (BS, AC, MM, MM), pp. 80–94.
EDOCEDOC-2012-SilvaPS #composition #flexibility #framework #named
A-DynamiCoS: A Flexible Framework for User-centric Service Composition (EGdS, LFP, MvS), pp. 81–92.
EDOCEDOC-2012-WangWART #analysis #composition #ecosystem #modelling
Compositional QoS Modeling and Analysis of Cloud-based Federated Ecosystems (GW, HW, SA, RR, JPT), pp. 173–182.
ICEISICEIS-J-2012-NikovskiEYST12a #automation #composition
Matcher Composition Methods for Automatic Schema Matching (DN, AE, XY, MS, ST), pp. 108–123.
ICEISICEIS-v1-2012-NikovskiEYST #automation #composition #network
Bayesian Networks for Matcher Composition in Automatic Schema Matching (DN, AE, XY, MS, ST), pp. 48–55.
ICEISICEIS-v2-2012-BaidouriHNK #architecture #composition
A Mediator Architecture for Context-aware Composition in SOA (HB, HH, MN, AK), pp. 245–251.
ICEISICEIS-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.
ICEISICEIS-v2-2012-ErdensCLA #composition
Discoverying Cloud Services by Preconditions and Effects for Compositions (LE, DBC, DL, PA), pp. 264–270.
ICMLICML-2012-ReidWS #design #multi
The Convexity and Design of Composite Multiclass Losses (MDR, RCW, PS), p. 36.
ICMLICML-2012-SilverC #composition #modelling #using
Compositional Planning Using Optimal Option Models (DS, KC), p. 165.
ICPRICPR-2012-LiuLYZ #composition #learning #visual notation
Learning to describe color composition of visual objects (YL, YL, ZY, NZ), pp. 3337–3340.
ICPRICPR-2012-SongLLWT #retrieval
Envelope extraction for composite shapes for shape retrieval (JS, XL, HL, XW, ZT), pp. 1932–1935.
ICPRICPR-2012-YasudaKWT #estimation #strict
Composite likelihood estimation for restricted Boltzmann machines (MY, SK, YW, KT), pp. 2234–2237.
KDDKDD-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.
KRKR-2012-DohertyKS #constraints
Temporal Composite Actions with Constraints (PD, JK, AS).
KRKR-2012-EveraereKM #composition
Compositional Belief Merging (PE, SK, PM).
SEKESEKE-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.
SIGIRSIGIR-2012-SongYXLLW #multi #query #summary
Multi-aspect query summarization by composite query (WS, QY, ZX, TL, SL, JRW), pp. 325–334.
ECMFAECMFA-2012-MosserBD #adaptation #commutative #composition
A Commutative Model Composition Operator to Support Software Adaptation (SM, MBF, LD), pp. 4–19.
RERE-2012-Chernak #composition #requirements
Requirements Composition Table explained (YC), pp. 273–278.
SACSAC-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.
SACSAC-2012-FkiJST #approach #composition #flexibility #using
A flexible approach for service composition using service patterns (EF, MJ, CSD, ST), pp. 1976–1983.
SACSAC-2012-MalakutiA #composition #evolution
Evolution of composition filters to event composition (SM, MA), pp. 1850–1857.
SACSAC-2012-MenezesOV #abstraction #composition #coordination #pervasive
Dynamic composition of coordination abstractions for pervasive systems: the case of LogOp (RM, AO, MV), pp. 1557–1559.
SACSAC-2012-TinelliCSD #automation #compilation #composition #sql #standard
Knowledge compilation for automated Team Composition exploiting standard SQL (ET, SC, EDS, FMD), pp. 1680–1685.
SACSAC-2012-YanCY #composition #optimisation #web #web service
Anytime QoS optimization over the PlanGraph for web service composition (YY, MC, YY), pp. 1968–1975.
ICSEICSE-2012-MarianiP #composition #named #plugin
MASH: A tool for end-user plug-in composition (LM, FP), pp. 1387–1390.
LDTALDTA-2012-ErdwegGR #composition
Language composition untangled (SE, PGG, TR), p. 7.
ICLPICLP-2012-ChenJY
Extending C+ with Composite Actions for Robotic Task Planning (XC, GJ, FY), pp. 404–414.
ISSTAISSTA-2012-ZhangED #composition #generative #pipes and filters #testing
Compositional load test generation for software pipelines (PZ, SGE, MBD), pp. 89–99.
LICSLICS-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.
VMCAIVMCAI-2012-NamjoshiT #composition #symmetry #verification
Local Symmetry and Compositional Verification (KSN, RJT), pp. 348–362.
CBSECBSE-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.
ECSAECSA-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.
ECSAECSA-2011-DeitersR #approach #architecture #composition #design
A Constructive Approach to Compositional Architecture Design (CD, AR), pp. 75–82.
ECSAECSA-2011-HamelGKBG #behaviour #transaction #verification
Verifying Composite Service Transactional Behavior with EVENT-B (LH, MG, MK, MTB, WG), pp. 67–74.
CASECASE-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.
CASECASE-2011-MohajeraniMF #composition #nondeterminism #synthesis
Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.
DACDAC-2011-LiuDPC #approximate #composition #design #set
Supervised design space exploration by compositional approximation of Pareto sets (HYL, ID, MP, LPC), pp. 399–404.
DocEngDocEng-2011-BalinskyCS #documentation #encryption
Publicly posted composite documents with identity based encryption (HB, LC, SJS), pp. 239–248.
DocEngDocEng-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.
DocEngDocEng-2011-Damera-VenkataBO #automation #composition #documentation #probability
Probabilistic document model for automated document composition (NDV, JB, EOS), pp. 3–12.
ICDARICDAR-2011-GhoshC #detection #identification #image
Composite Script Identification and Orientation Detection for Indian Text Images (SG, BBC), pp. 294–298.
VLDBVLDB-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.
FASEFASE-2011-FengKP #automation #composition #learning #probability #reasoning
Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.
FASEFASE-2011-VanoverbergheP #aspect-oriented #composition #execution #symbolic computation
Theoretical Aspects of Compositional Symbolic Execution (DV, FP), pp. 247–261.
TACASTACAS-2011-GargM #composition
Compositionality Entails Sequentializability (PG, PM), pp. 26–40.
CSMRCSMR-2011-Lopez-HerrejonE #composition #consistency #multi #named #variability
C2MV2: Consistency and Composition for Managing Variability in Multi-view Systems (RELH, AE), pp. 347–350.
MSRMSR-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.
SASSAS-2011-GodefroidLR #composition #generative #incremental #summary #testing #validation
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation (PG, SKL, CRG), pp. 112–128.
CIAACIAA-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.
CIAACIAA-2011-FelscherT #composition #detection
Compositional Failure Detection in Structured Transition Systems (IF, WT), pp. 130–141.
CHICHI-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.
CHICHI-2011-WaldnerSGS
Importance-driven compositing window management (MW, MS, RG, DS), pp. 959–968.
HCIDUXU-v1-2011-ZilzF #composition
Smart User Assistance Based on Dynamic Model Composition (RZ, PF), pp. 706–714.
HCIDUXU-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.
HCIHCD-2011-PommeranzWJ #composition #design #elicitation #evaluation #interface #towards
Towards Compositional Design and Evaluation of Preference Elicitation Interfaces (AP, PW, CMJ), pp. 586–596.
HCIHCI-DDA-2011-ShiraiT #composition #interactive #music #using
A Proposal of an Interactive Music Composition System Using Gibbs Sampler (AS, TT), pp. 490–497.
HCIHIMI-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.
HCIHIMI-v1-2011-Pavel11a #approach #composition #design #protocol #security
An Approach for Security Protocol Design Based on Zero-Knowledge Primitives Composition (OP), pp. 374–378.
CAiSECAiSE-2011-MedjahedM #bottom-up #fault #web #web service
Bottom-Up Fault Management in Composite Web Services (BM, ZM), pp. 597–611.
EDOCEDOC-2011-KapurugeCK #adaptation #composition #named
ROAD4WS — Extending Apache Axis2 for Adaptive Service Compositions (MK, AWC, JK), pp. 183–192.
EDOCEDOC-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.
ICEISICEIS-v3-2011-XiongNF #component #composition #feature model #research
Research on Component Composition based on Feature Model (LRX, ZN, JF), pp. 214–222.
ICEISICEIS-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.
CIKMCIKM-2011-LangeN11a #composition #metric #performance #similarity
Efficient similarity search: arbitrary similarity measures, arbitrary composition (DL, FN), pp. 1679–1688.
KDDKDD-2011-LuoXZGD #composition #perspective
Enhancing investment decisions in P2P lending: an investor composition perspective (CL, HX, WZ, YG, GD), pp. 292–300.
KDDKDD-2011-WilkinsonAN #classification #named #random
CHIRP: a new classifier based on composite hypercubes on iterated random projections (LW, AA, DTN), pp. 6–14.
KEODKEOD-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.
KEODKEOD-2011-PhamSD #composition #framework #workflow
A Practical Ontology-driven Workflow Composition Framework (HP, DS, RD), pp. 242–248.
KEODKEOD-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.
SEKESEKE-2011-CatalA #approach #development #enterprise #estimation
A Composite Project Effort Estimation Approach in an Enterprise Software Development Project (CC, MSA), pp. 331–334.
SEKESEKE-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.
SEKESEKE-2011-YuLFC #composition #testing
A Regression Test Technique for Analyzing the Functionalities of Service Composition (HY, DL, GF, LC), pp. 578–582.
SIGIRSIGIR-2011-ZhangWS #multi
Composite hashing with multiple information sources (DZ, FW, LS), pp. 225–234.
ICMTICMT-J-2010-HeidenreichKA11 #composition
Safe Composition of Transformations (FH, JK, UA), pp. 162–181.
MODELSMoDELS-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.
MODELSMoDELS-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.
GPCEGPCE-2011-BatoryHK #composition #feature model #interactive
Feature interactions, products, and composition (DSB, PH, JK), pp. 13–22.
GPCEGPCE-2011-HannousseDA #component #composition #interactive #modelling #static analysis
Static analysis of aspect interaction and composition in component models (AH, RD, GA), pp. 43–52.
SACSAC-2011-AlencarRB #composition #evaluation #human-computer #hybrid
Composition of HCI evaluation methods for hybrid virtual environments (MFCA, ABR, SDJB), pp. 1237–1244.
SACSAC-2011-BenouaretBH #approach #composition #fuzzy
Top-k service compositions: a fuzzy set-based approach (KB, DB, AH), pp. 1033–1038.
SACSAC-2011-RodriguezSV #approach #composition #execution #multi
Executable model composition: a multilevel approach (CR, MES, JV), pp. 877–884.
SACSAC-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.
GTTSEGTTSE-2011-Voelter #composition #ide
Language and IDE Modularization and Composition with MPS (MV), pp. 383–430.
ICSEICSE-2011-BianculliGP #composition #interface
Interface decomposition for service compositions (DB, DG, CSP), pp. 501–510.
ICSEICSE-2011-Dantas #composition #maintenance #reuse
Reuse vs. maintainability: revealing the impact of composition code properties (FD), pp. 1082–1085.
ICSEICSE-2011-Pinto #approach #composition #declarative #flexibility
A declarative approach to enable flexible and dynamic service compositions (LSP), pp. 1130–1131.
SLESLE-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.
PLEASEPLEASE-2011-RosaL #component #composition #mobile #product line #reuse
Smart composition of reusable software components in mobile application product lines (REVDSR, VFdLJ), pp. 45–49.
CAVCAV-2011-Platzer #composition #hybrid #logic #tutorial #verification
Logic and Compositional Verification of Hybrid Systems — (Invited Tutorial) (AP), pp. 28–43.
ICLPICLP-J-2011-Porto #composition #prolog #semantics
A structured alternative to Prolog with simple compositional semantics (AP), pp. 611–627.
ICSTICST-2011-HummerRSLD #composition #test coverage
Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems (WH, OR, OS, PL, SD), pp. 40–49.
ICTSSICTSS-2011-SchwarzlAW #composition #random testing #testing #using
Compositional Random Testing Using Extended Symbolic Transition Systems (CS, BKA, FW), pp. 179–194.
CBSECBSE-2010-EichbergKMM #component #composition #feature model #modelling #using
Component Composition Using Feature Models (ME, KK, RM, MM), pp. 200–215.
CBSECBSE-2010-LauNTR #behaviour #composition #design pattern
(Behavioural) Design Patterns as Composition Operators (KKL, IN, CMT, TR), pp. 232–251.
CBSECBSE-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.
ECSAECSA-2010-Bosch #architecture #composition
Architecture in the Age of Compositionality (JB), pp. 1–4.
ECSAECSA-2010-Hock-koonO10a #composition #specification
Specifying Loose Coupling from Existing Service Composition Approaches (AAHk, MO), pp. 464–471.
ECSAECSA-2010-Pahl #adaptation #architecture #composition #coordination #towards
Dynamic Adaptive Service Architecture — Towards Coordinated Service Composition (CP), pp. 472–475.
ECSAECSA-2010-ParraCBD #architecture #composition
Feature-Based Composition of Software Architectures (CAP, AC, XB, LD), pp. 230–245.
ASEASE-2010-Bosch #composition #re-engineering #towards
Keynote address: toward compositional software engineering (JB), pp. 1–2.
DATEDATE-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.
DocEngDocEng-2010-BalinskyS #difference #documentation #multi #workflow
Differential access for publicly-posted composite documents with multiple workflow participants (HB, SJS), pp. 115–124.
DocEngDocEng-2010-ChaoTZA #composition #image #recursion
Blocked recursive image composition with exclusion zones (HC, DT, XZ, CBA), pp. 111–114.
DocEngDocEng-2010-LecarpentierBC #approach #documentation #framework #internet #multi
Multilingual composite document management framework for the internet: an FRBR approach (JML, CB, HLC), pp. 13–16.
SIGMODSIGMOD-2010-RoyACDY
Constructing and exploring composite items (SBR, SAY, AC, GD, CY), pp. 843–854.
FASEFASE-2010-KelsenM #composition
A Modular Model Composition Technique (PK, QM), pp. 173–187.
FASEFASE-2010-NaeemHOH #composition #contract #incremental #visual notation
Incremental Service Composition Based on Partial Matching of Visual Contracts (MN, RH, FO, FH), pp. 123–138.
FoSSaCSFoSSaCS-2010-ChambartS #composition #towards
Toward a Compositional Theory of Leftist Grammars and Transformations (PC, PS), pp. 237–251.
ICSMEICSM-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.
SCAMSCAM-2010-TroshinaDC #decompiler #re-engineering
Reconstruction of Composite Types for Decompilation (KT, YD, AC), pp. 179–188.
SASSAS-2010-FarzanK #analysis #composition #concurrent #source code
Compositional Bitvector Analysis for Concurrent Programs with Nested Locks (AF, ZK), pp. 253–270.
CIAACIAA-2010-AllauzenRS #composition #finite #performance #transducer
Filters for Efficient Composition of Weighted Finite-State Transducers (CA, MR, JS), pp. 28–38.
ICALPICALP-v1-2010-LeeZ #communication #complexity #composition #theorem
Composition Theorems in Communication Complexity (TL, SZ), pp. 475–489.
ICALPICALP-v2-2010-CoeckeK #composition #multi #quantum
The Compositional Structure of Multipartite Quantum Entanglement (BC, AK), pp. 297–308.
ICALPICALP-v2-2010-McIverMM #composition #probability
Compositional Closure for Bayes Risk in Probabilistic Noninterference (AM, LM, CM), pp. 223–235.
ICALPICALP-v2-2010-Rensink #composition #graph transformation
Compositionality in Graph Transformation (AR), pp. 309–320.
IFMIFM-2010-Dimovski #composition #equivalence #nondeterminism #source code #termination
A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs (AD), pp. 121–135.
IFMIFM-2010-Faber #architecture #composition #realtime #reasoning #verification
Verification Architectures: Compositional Reasoning for Real-Time Systems (JF), pp. 136–151.
ICGTICGT-2010-Jurack #emf #graph #inheritance #modelling
Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures (SJ), pp. 397–399.
ICEISICEIS-ISAS-2010-FkiSTJ #composition
Intention Driven Service Composition with Patterns (EF, CSD, ST, MJ), pp. 236–241.
ICEISICEIS-ISAS-2010-MoralesTP #composition #process #verification
Compositional Verification of Business Processes Modelled with BPMN (LEMM, MICT, MAP), pp. 113–122.
ICEISICEIS-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.
ICPRICPR-2010-HabeMK #automation #composition #image #video
Automatic Composition of an Informative Wide-View Image from Video (HH, SM, MK), pp. 4117–4120.
KEODKEOD-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.
KMISKMIS-2010-SrivastavaS #composition #game studies #using #validation
The Validation of a Dynamic Service Composition Model using a Simple Game (AS, PGS), pp. 260–266.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2010-TsaiZECB #composition #ontology
Ontology-Based Dependency-Guided Service Composition for User-Centric SOA (WTT, PZ, JE, YC, XB), pp. 462–467.
SIGIRSIGIR-2010-ChatzichristofisA #database #image #retrieval
Late fusion of compact composite descriptorsfor retrieval from heterogeneous image databases (SAC, AA), pp. 825–826.
ECMFAECMFA-2010-AcherCLF #composition #feature model
Comparing Approaches to Implement Feature Model Composition (MA, PC, PL, RBF), pp. 3–19.
ECMFAECMFA-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.
ICMTICMT-2010-AzanzaBDT #composition
Domain-Specific Composition of Model Deltas (MA, DSB, OD, ST), pp. 16–30.
ICMTICMT-2010-HeidenreichKA #composition
Safe Composition of Transformations (FH, JK, UA), pp. 108–122.
ICMTICMT-2010-WimmerKKRSS
Surviving the Heterogeneity Jungle with Composite Mapping Operators (MW, GK, AK, WR, JS, WS), pp. 260–275.
MODELSMoDELS-v2-2010-JohannesA #composition #development #modelling #process
Concern-Based (de)composition of Model-Driven Software Development Processes (JJ, UA), pp. 47–62.
OOPSLAOOPSLA-2010-ServettoZ #composition #java #named
MetaFJig: a meta-circular composition language for Java-like classes (MS, EZ), pp. 464–483.
GPCEGPCE-2010-TanterMBA #aspect-oriented #composition #dynamic analysis
Composition of dynamic analysis aspects (ÉT, PM, WB, DA), pp. 113–122.
LOPSTRLOPSTR-2010-AlbertGRP #composition #generative #imperative #testing
Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.
PADLPADL-2010-DieterleHL #composition #using
Skeleton Composition Using Remote Data (MD, TH, RL), pp. 73–87.
POPLPOPL-2010-GodefroidNRT #composition #power of #program analysis
Compositional may-must program analysis: unleashing the power of alternation (PG, AVN, SKR, ST), pp. 43–56.
SACSAC-2010-KokashKV #composition #design #verification
Data-aware design and verification of service compositions with Reo and mCRL2 (NK, CK, EPdV), pp. 2406–2413.
SACSAC-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.
SACSAC-2010-ViroliC #composition #self
Chemical-inspired self-composition of competing services (MV, MC), pp. 2029–2036.
SPLCSPLC-2010-Elizondo #composition #development #using
Using Composition Connectors to Support Software Asset Development (PVE), pp. 496–497.
HPDCHPDC-2010-PhamJJS #composition #framework #performance
A service composition framework for market-oriented high performance computing cloud (TVP, HJ, KEJ, ZYS), pp. 284–287.
ISMMISMM-2010-PetricekS
Collecting hollywood’s garbage: avoiding space-leaks in composite events (TP, DS), pp. 53–62.
PPoPPPPoPP-2010-CedermanT #composition #concurrent
Supporting lock-free composition of concurrent data objects (DC, PT), pp. 339–340.
CAVCAV-2010-CohenNS #composition #reasoning
A Dash of Fairness for Compositional Reasoning (AC, KSN, YS), pp. 543–557.
CAVCAV-2010-CohenNS10a #composition #ltl #named #verification
SPLIT: A Compositional LTL Verifier (AC, KSN, YS), pp. 558–561.
CAVCAV-2010-KroeningSTW #analysis #composition #invariant #termination
Termination Analysis with Compositional Transition Invariants (DK, NS, AT, CMW), pp. 89–103.
VMCAIVMCAI-2010-SummersD #design pattern #reasoning
Considerate Reasoning and the Composite Design Pattern (AJS, SD), pp. 328–344.
CBSECBSE-2009-LauO #calculus #component #composition #encapsulation
Control Encapsulation: A Calculus for Exogenous Composition of Software Components (KKL, MO), pp. 121–139.
QoSAQoSA-2009-ChanP #architecture #behaviour #composition #predict #process
Compositional Prediction of Timed Behaviour for Process Control Architecture (KC, IP), pp. 86–100.
QoSAQoSA-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.
DACDAC-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.
DACDAC-2009-SunNWS #composition #contract
Contract-based system-level composition of analog circuits (XS, PN, CCW, ALSV), pp. 605–610.
DocEngDocEng-2009-BattleB #behaviour #concurrent #documentation #modelling #state machine
Modelling composite document behaviour with concurrent hierarchical state machines (SB, HB), pp. 25–28.
DocEngDocEng-2009-BoyerWA #documentation #interactive #protocol #rest #web
A REST protocol and composite format for interactive web documents (JMB, CW, RPA), pp. 139–148.
SIGMODSIGMOD-2009-MeiM #adaptation #cost analysis #detection #named #query
ZStream: a cost-based query processor for adaptively detecting composite events (YM, SM), pp. 193–206.
ITiCSEITiCSE-2009-BlasGMB #analysis #automation #composition #using
Automatic E-learning contents composition by using gap analysis techniques (JMdB, JMG, LdM, RB), p. 369.
ITiCSEITiCSE-2009-Ginat #composition #learning
Interleaved pattern composition and scaffolded learning (DG), pp. 109–113.
FASEFASE-2009-GiannakopoulouP #composition #generative #interface #verification
Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
FoSSaCSFoSSaCS-2009-Guttman #authentication #composition #encryption #protocol #testing
Cryptographic Protocol Composition via the Authentication Tests (JDG), pp. 303–317.
TACASTACAS-2009-BakewellG #abstraction #composition #game studies #semantics
Compositional Predicate Abstraction from Game Semantics (AB, DRG), pp. 62–76.
TACASTACAS-2009-ChenFCTW #automaton #composition #learning #verification
Learning Minimal Separating DFA’s for Compositional Verification (YFC, AF, EMC, YKT, BYW), pp. 31–45.
TACASTACAS-2009-KuglerS #composition #sequence chart #specification #synthesis
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications (HK, IS), pp. 77–91.
PLDIPLDI-2009-SchwerdfegerW #composition
Verifiable composition of deterministic grammars (AS, EVW), pp. 199–210.
CIAACIAA-J-2008-AllauzenM09 #composition #finite #transducer
N-Way Composition of Weighted Finite-State Transducers (CA, MM), pp. 613–627.
CIAACIAA-J-2008-TsayW09 #automation #composition #reasoning
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 747–762.
LATALATA-2009-ClarridgeS #automaton #composition
A Cryptosystem Based on the Composition of Reversible Cellular Automata (AC, KS), pp. 314–325.
FMFM-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.
FMFM-2009-LangM #composition #confluence #detection #partial order #reduction #using
Partial Order Reductions Using Compositional Confluence Detection (FL, RM), pp. 157–172.
FMFM-2009-McIverM #case study #composition #refinement #security
Sums and Lovers: Case Studies in Security, Compositionality and Refinement (AM, CCM), pp. 289–304.
SFMSFM-2009-BravettiZ #composition #contract #web #web service
Contract-Based Discovery and Composition of Web Services (MB, GZ), pp. 261–295.
SFMSFM-2009-MarconiP #composition #synthesis #web #web service
Synthesis and Composition of Web Services (AM, MP), pp. 89–157.
HCIHCI-NIMT-2009-MaceA #composition #interactive #pattern matching #pattern recognition #recognition #sketching
Pattern Recognition Strategies for Interactive Sketch Composition (SM, ÉA), pp. 840–849.
HCIHCI-NT-2009-AlmadaLAFC #composition #framework #named
YVision: A General Purpose Software Composition Framework (AA, GL, AA, JF, NC), pp. 779–788.
HCIHCI-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.
HCIHCI-NT-2009-Sauro #modelling
Estimating Productivity: Composite Operators for Keystroke Level Modeling (JS), pp. 352–361.
EDOCEDOC-2009-RosenbergCMLD #approach #composition
An End-to-End Approach for QoS-Aware Service Composition (FR, PC, AM, PL, SD), pp. 151–160.
ICEISICEIS-J-2009-Al-NoryBN #composition #framework #nondeterminism
A Service Composition Framework for Decision Making under Uncertainty (MTAN, AB, HN), pp. 363–375.
ICEISICEIS-J-2009-MoralesC #automation #composition #process #verification
Automatic Compositional Verification of Business Processes (LEMM, MIC), pp. 479–490.
ICEISICEIS-SAIC-2009-BodenstaffWWJR #composition #design #monitoring #validation
Monitoring Service Compositions in MoDe4SLA — Design of Validation (LB, AW, RW, MCJ, MR), pp. 114–121.
ICMLICML-2009-YuilleZ #composition #learning
Compositional noisy-logical learning (ALY, SZ), pp. 1209–1216.
KDIRKDIR-2009-Exman #composition #named #paradigm
Interestingness — A Unifying Paradigm — Bipolar Function Composition (IE), pp. 196–201.
KEODKEOD-2009-HlomaniS #approach #composition #ontology
An Ontology Driven Approach to Software Systems Composition (HH, DAS), pp. 254–260.
KEODKEOD-2009-ZghalKYN #composition #named #ontology #using
OACAS — Ontologies Alignment using Composition and Aggregation of Similarities (SZ, MK, SBY, EMN), pp. 233–238.
SEKESEKE-2009-ChengCSW #composition
Dynamic Service Composition for Virtual UPnP Device Creation (STC, CLC, JS, MW), pp. 364–369.
SEKESEKE-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.
SEKESEKE-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.
SEKESEKE-2009-YangCC #architecture #composition
Service Creation and Composition for Realization On Service-oriented Architecture (CLY, YKC, CPC), pp. 338–343.
SEKESEKE-2009-ZhaoWX #optimisation #web #web service
User Perceived Response-time Optimization Method for Composite Web Services (JZ, YW, BX), pp. 356–363.
SIGIRSIGIR-2009-ZhangSXW #framework #music #named #novel #similarity
CompositeMap: a novel framework for music similarity measure (BZ, JS, QX, YW), pp. 403–410.
MODELSMoDELS-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.
MODELSMoDELS-2009-EsfahaniMSGM #composition #modelling
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-OldevikMK #composition #contract
Model Composition Contracts (JO, MM, IK), pp. 531–545.
MODELSMoDELS-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.
MODELSMoDELS-2009-EsfahaniMSGM #composition #modelling
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems (NE, SM, JPS, HG, DAM), pp. 591–605.
MODELSMoDELS-2009-JohannesZFCKP #composition
Abstracting Complex Languages through Transformation and Composition (JJ, SZ, MAF, AC, DSK, RFP), pp. 546–550.
MODELSMoDELS-2009-JurackT #concept #distributed #graph transformation #model transformation #towards #using
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts (SJ, GT), pp. 226–240.
MODELSMoDELS-2009-OldevikMK #composition #contract
Model Composition Contracts (JO, MM, IK), pp. 531–545.
ECOOPECOOP-2009-IbrahimJTC #composition
Remote Batch Invocation for Compositional Object Services (AI, YJ, ET, WRC), pp. 595–617.
ECOOPECOOP-2009-LagorioSZ #calculus #composition
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.
TOOLSTOOLS-EUROPE-2009-CamilleriCB #aspect-oriented #composition #framework #named
CIF: A Framework for Managing Integrity in Aspect-Oriented Composition (AC, GC, LB), pp. 18–36.
GPCEGPCE-2009-KuhlemannBK #composition
Safe composition of non-monotonic features (MK, DSB, CK), pp. 177–186.
POPLPOPL-2009-CalcagnoDOY #analysis #composition
Compositional shape analysis by means of bi-abduction (CC, DD, PWO, HY), pp. 289–300.
SACSAC-2009-BlakeNBK
Annotating UDDI registries to support the management of composite services (MBB, MFN, AB, SK), pp. 2146–2153.
SACSAC-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.
SACSAC-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.
SACSAC-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.
SACSAC-2009-MondejarLPUM #aspect-oriented #composition #design #distributed #runtime
Designing a distributed AOP runtime composition model (RM, PGL, CP, PU, PM), pp. 539–540.
SACSAC-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.
SACSAC-2009-ZurowskaD #execution #web #web service
Load management in model-aware execution of composite web services (KZ, RD), pp. 2134–2139.
ESEC-FSEESEC-FSE-2009-DelawareCB #composition
Fitting the pieces together: a machine-checked model of safe composition (BD, WRC, DSB), pp. 243–252.
ESEC-FSEESEC-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.
ICSEICSE-2009-ApelKL #automation #composition #independence #named
FEATUREHOUSE: Language-independent, automated software composition (SA, CK, CL), pp. 221–231.
ICSEICSE-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.
ICSEICSE-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.
SLESLE-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.
SLESLE-2009-SchwerdfegerW #composition #parsing
Verifiable Parse Table Composition for Deterministic Parsing (AS, EVW), pp. 184–203.
SPLCSPLC-2009-SunLB #composition #requirements #web #web service
Product-line-based requirements customization for web service compositions (HS, RRL, SB), pp. 141–150.
HPDCHPDC-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.
CAVCAV-2009-BensalemBNS #composition #concurrent #detection #named #verification
D-Finder: A Tool for Compositional Deadlock Detection and Verification (SB, MB, THN, JS), pp. 614–619.
CAVCAV-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.
CAVCAV-2009-Jiang #composition #functional #quantifier
Quantifier Elimination via Functional Composition (JHRJ), pp. 383–397.
FATESTestCom-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.
QoSAQoSA-2008-GallottiGMT #composition #model checking #predict #probability #quality
Quality Prediction of Service Compositions through Probabilistic Model Checking (SG, CG, RM, GT), pp. 119–134.
ASEASE-2008-ChauvelBBJ #adaptation #composition #policy
Composition of Qualitative Adaptation Policies (FC, OB, IB, JMJ), pp. 455–458.
ASEASE-2008-ShevertalovM #automation #case study #composition #network
A Case Study on the Automatic Composition of Network Application Mashups (MS, SM), pp. 359–362.
CASECASE-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.
DACDAC-2008-Moon #composition #optimisation #verification
Compositional verification of retiming and sequential optimizations (IHM), pp. 131–136.
DATEDATE-2008-MolnosHC #composition #embedded #multi
Compositional, dynamic cache management for embedded chip multiprocessors (AMM, MJMH, SDC), pp. 991–996.
DATEDATE-2008-TalpinOBG #composition #design
Compositional design of isochronous systems (JPT, JO, LB, PLG), pp. 928–933.
DRRDRR-2008-BaiNS #composition #using
Extracting curved text lines using the chain composition and the expanded grouping method (NNB, KN, YS), p. 68150.
PODSPODS-2008-FanGGNP #complexity #composition #web #web service
Complexity and composition of synthesized web services (WF, FG, WG, FN, AP), pp. 231–240.
VLDBVLDB-2008-BuFWCL #composition #privacy
Privacy preserving serial data publishing by role composition (YB, AWCF, RCWW, LC, JL), pp. 845–856.
FASEFASE-2008-AtirHKM #composition #programming
Object Composition in Scenario-Based Programming (YA, DH, AK, SM), pp. 301–316.
FASEFASE-2008-CamaraSC #composition #interpreter #named
Clint: A Composition Language Interpreter (Tool Paper) (JC, GS, CC), pp. 423–427.
FASEFASE-2008-MellitiPM #adaptation #automation #behaviour #composition #distributed #semantics
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services (TM, PP, SBM), pp. 146–162.
FoSSaCSFoSSaCS-2008-BraunCP #composition #information management
Compositional Methods for Information-Hiding (CB, KC, CP), pp. 443–457.
TACASTACAS-2008-AnandGT #composition #execution #symbolic computation
Demand-Driven Compositional Symbolic Execution (SA, PG, NT), pp. 367–381.
TACASTACAS-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.
TACASTACAS-2008-FinkbeinerPS #composition #model checking #named #synthesis
RESY: Requirement Synthesis for Compositional Model Checking (BF, HJP, SS), pp. 463–466.
STOCSTOC-2008-Umans #composition #performance #polynomial
Fast polynomial factorization and modular composition in small characteristic (CU), pp. 481–490.
CIAACIAA-2008-AllauzenM #composition #finite #transducer
3-Way Composition of Weighted Finite-State Transducers (CA, MM), pp. 262–273.
CIAACIAA-2008-TsayW #automation #composition #reasoning
Automated Compositional Reasoning of Intuitionistically Closed Regular Properties (YKT, BYW), pp. 36–45.
ICALPICALP-B-2008-Kesner #composition
Perpetuality for Full and Safe Composition (in a Constructive Setting) (DK), pp. 311–322.
SEFMSEFM-2008-SchaeferP #adaptation #composition #embedded #modelling #reasoning #verification
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems (IS, APH), pp. 95–104.
ICGTICGT-2008-BaldanCEK #composition #nondeterminism #petri net #process
Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
CAiSECAiSE-2008-GuoHLD #adaptation #dependence #maintenance #named
KAF: Kalman Filter Based Adaptive Maintenance for Dependability of Composite Services (HG, JH, YL, TD), pp. 328–342.
EDOCEDOC-2008-Foster #composition #modelling #self
Service Compositions: From Models to Self-Management (HF).
EDOCEDOC-2008-GuermoucheG #composition #data flow #towards
Toward Data Flow Oriented Services Composition (NG, CG), pp. 379–385.
EDOCEDOC-2008-PreteC #mobile #reliability
Reliable Discovery and Selection of Composite Services in Mobile Environments (LDP, LC), pp. 171–180.
EDOCEDOC-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-J-2008-MoralesCPA #composition #model checking #verification
Compositional Model-Checking Verification of Critical Systems (LEMM, MIC, MAP, KBA), pp. 213–225.
ICMLICML-2008-BryanS #learning
Actively learning level-sets of composite functions (BB, JGS), pp. 80–87.
ICMLICML-2008-SzafranskiGR #kernel #learning
Composite kernel learning (MS, YG, AR), pp. 1040–1047.
ICMLICML-2008-WangYQZ #analysis #component #composition #feature model
Dirichlet component analysis: feature extraction for compositional data (HYW, QY, HQ, HZ), pp. 1128–1135.
ICPRICPR-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.
KDDKDD-2008-GantaKS #composition #privacy
Composition attacks and auxiliary information in data privacy (SRG, SPK, AS), pp. 265–273.
KRKR-2008-SardinaPG #behaviour #composition
Behavior Composition in the Presence of Failure (SS, FP, GDG), pp. 640–650.
RecSysRecSys-2008-BrodskyHW #framework #named #recommendation
CARD: a decision-guidance framework and application for recommending composite alternatives (AB, SMH, JW), pp. 171–178.
SEKESEKE-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.
SEKESEKE-2008-EzenwoyeS #approach #reliability #web #web service
A Language-based Approach to Addressing Reliability in Composite Web Services (OE, SMS), pp. 649–654.
SEKESEKE-2008-SamimiM #composition #distributed #named
Dynamis: Dynamic Overlay Service Composition for Distributed Stream Processing (FAS, PKM), pp. 881–886.
SEKESEKE-2008-YangDZ #performance #predict #reliability
Reliability Oriented QoS Driven Composite Service Selection Based on Performance Prediction (LY, YD, BZ), pp. 215–218.
ECMFAECMDA-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.
ECMFAECMDA-FA-2008-HovsepyanBBJ #composition #reuse
Generic Reusable Concern Compositions (AH, SVB, YB, WJ), pp. 231–245.
ICMTICMT-2008-CuadradoM #composition #model transformation #reuse
Approaches for Model Transformation Reuse: Factorization and Composition (JSC, JGM), pp. 168–182.
ICMTICMT-2008-Wagelaar #composition #model transformation #rule-based
Composition Techniques for Rule-Based Model Transformation Languages (DW), pp. 152–167.
MODELSMoDELS-2008-CuccuruGR
Meaningful Composite Structures (AC, SG, AR), pp. 828–842.
MODELSMoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MODELSMoDELS-2008-RosseboR #composition #policy #specification #uml #using
Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.
MODELSMoDELS-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.
MODELSMoDELS-2008-WeisemollerS #component #composition #metamodelling
Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.
MODELSMoDELS-2008-CuccuruGR
Meaningful Composite Structures (AC, SG, AR), pp. 828–842.
MODELSMoDELS-2008-OberCL #behaviour #composition #modelling #slicing #using
Behavioral Modelling and Composition of Object Slices Using Event Observation (IO, BC, YL), pp. 219–233.
MODELSMoDELS-2008-RosseboR #composition #policy #specification #uml #using
Specifying Service Composition Using UML 2.x and Composition Policies (JEYR, RKR), pp. 520–536.
MODELSMoDELS-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.
MODELSMoDELS-2008-WeisemollerS #component #composition #metamodelling
Formal Definition of MOF 2.0 Metamodel Components and Composition (IW, AS), pp. 386–400.
OOPSLAOOPSLA-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.
TOOLSTOOLS-EUROPE-2008-BettiniBV #composition #java
Object Incompleteness and Dynamic Composition in Java-Like Languages (LB, VB, BV), pp. 198–217.
TOOLSTOOLS-EUROPE-2008-NielsenE #composition #optimisation #static typing
Optimizing Dynamic Class Composition in a Statically Typed Language (ABN, EE), pp. 161–177.
GPCEGPCE-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.
PPDPPPDP-2008-BertolissiF #composition #data access #framework #policy
A rewriting framework for the composition of access control policies (CB, MF), pp. 217–225.
RERE-2008-LencastreMAC #aspect-oriented #composition #problem
Aspects Composition in Problem Frames (ML, AMDM, JA, JC), pp. 343–344.
RERE-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.
SACSAC-2008-BaF #composition #dependence #graph #web #web service
Dependence graphs for verifications of web service compositions with PEWS (CB, MHF), pp. 2387–2391.
SACSAC-2008-CamilleriBC #composition
Securing aspect composition (AC, LB, GC), pp. 278–279.
SACSAC-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.
SACSAC-2008-IacobAI #composition #semantics
Optimized dynamic semantic composition of services (SMI, JPAA, MEI), pp. 2286–2292.
SACSAC-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.
SACSAC-2008-NogueraPPF #composition #ubiquitous
Context distribution for supporting composition of applications in ubiquitous computing (CN, EVP, CAP, JF), pp. 1647–1648.
SACSAC-2008-RamosSM #composition #consistency #framework #refinement
Framework composition conformance via refinement checking (RR, AS, AM), pp. 119–125.
SACSAC-2008-ShiYLZ #composition #semantics #verification #web #web service
Path-based verification for composition of semantic web services (YS, JY, ZJL, JZ), pp. 2392–2396.
FSEFSE-2008-NejatiSCUZ #composition #evolution #synthesis #towards
Towards compositional synthesis of evolving systems (SN, MS, MC, SU, PZ), pp. 285–296.
SLESLE-2008-BravenboerV #composition
Parse Table Composition (MB, EV), pp. 74–94.
CAVCAV-2008-EisnerNY #composition #design #functional #power management #reasoning #verification
Functional Verification of Power Gated Designs by Compositional Reasoning (CE, AN, KY), pp. 433–445.
ICLPICLP-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.
CBSECBSE-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.
CBSECBSE-2007-PadillaOO #component #composition #modelling #testing
An Execution-Level Component Composition Model Based on Component Testing Information (GP, CMdO, CLO), pp. 203–210.
CBSECBSE-2007-SeryP #behaviour #component #composition #slicing #specification
Slicing of Component Behavior Specification with Respect to Their Composition (OS, FP), pp. 189–202.
CBSECBSE-2007-Storm #composition #set
Binary Change Set Composition (TvdS), pp. 17–32.
ASEASE-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.
CASECASE-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.
DATEDATE-2007-ChenSN #behaviour #composition #semantics #specification
Compositional specification of behavioral semantics (KC, JS, SN), pp. 906–911.
DATEDATE-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.
DATEDATE-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.
DRRDRR-2007-Obrador #composition #image #quality
Content selection based on compositional image quality (PO).
VLDBVLDB-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.
FASEFASE-2007-Bosch #composition #product line #towards
Software Product Families: Towards Compositionality (JB), pp. 1–10.
FASEFASE-2007-GronmoJW #composition #development
A Service Composition Construct to Support Iterative Development (RG, MCJ, AW), pp. 230–244.
FoSSaCSFoSSaCS-2007-MuschollW #bound #composition #web #web service
A Lower Bound on Web Services Composition (AM, IW), pp. 274–286.
TACASTACAS-2007-GheorghiuGP #composition #interface #verification
Refining Interface Alphabets for Compositional Verification (MG, DG, CSP), pp. 292–307.
SCAMSCAM-2007-Johannes #composition #framework #reuse #source code
Source Code Composition with the Reuseware Composition Framework (JJ), pp. 159–160.
SASSAS-2007-ShohamG #abstraction #composition #verification
Compositional Verification and 3-Valued Abstractions Join Forces (SS, OG), pp. 69–86.
LATALATA-2007-Maletti #composition #top-down #transducer
Compositions of Extended Top-down Tree Transducers (AM), pp. 379–390.
SEFMSEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction
Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.
CHICHI-2007-VallgardaR
Computational composites (AV, JR), pp. 513–522.
HCIDHM-2007-WangDD #evaluation
A Composite Measure for the Evaluation of Mental Workload (LmW, VGD, YD), pp. 460–466.
HCIHCI-IDU-2007-LewandowskiLB #component #composition #modelling
Tasks Models Merging for High-Level Component Composition (AL, SL, GB), pp. 1129–1138.
HCIHCI-IPT-2007-KimP #smarttech
Preparation of Conductive Materials for Smart Clothing: Doping and Composite of Conducting Polymer (JK, NP), pp. 1147–1154.
HCIHCI-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.
HCIHIMI-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.
EDOCEDOC-2007-FranceFRBG #composition #metamodelling
Providing Support for Model Composition in Metamodels (RBF, FF, RR, BB, SG), pp. 253–266.
EDOCEDOC-2007-QuartelS #assessment #composition #consistency #on the
On Interoperability and Conformance Assessment in Service Composition (DACQ, MvS), pp. 229–240.
EDOCEDOC-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.
ICEISICEIS-DISI-2007-ArntsenK #case study #composition #transaction
Transaction service composition — a study of compatibility related issues (ABA, RK), pp. 239–245.
ICEISICEIS-DISI-2007-NemoBRK #composition #distributed #semantics #towards
Semantic orchestration merging — towards composition of overlapping orchestrations (CN, MBF, MR, GK), pp. 378–383.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-SAIC-2007-RezguiN #categorisation #composition #ontology #semantics #using
Ontology-Based Dynamic Service Composition Using Semantic Relatedness and Categorization Techniques (YR, SN), pp. 113–120.
ICEISICEIS-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.
SEKESEKE-2007-FiondellaG #modelling #parametricity #reliability
Adequacy of Composite Parametric Software Reliability Models (LF, SSG), pp. 643–648.
SEKESEKE-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.
SEKESEKE-2007-HuangL07a #composition #reasoning #using
Service Composition Using Planning and Case-Based Reasoning (KHH, AL), pp. 610–615.
SEKESEKE-2007-MizouniSD #case study #composition #requirements #using
Using Formal Composition of Use Cases in Requirements Engineering (RM, AS, RD), p. 238–?.
ECMFAECMDA-FA-2007-HerrmannKRSV #algebra #composition #semantics
An Algebraic View on the Semantics of Model Composition (CH, HK, BR, MS, SV), pp. 99–113.
MODELSMoDELS-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.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
MODELSMoDELS-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.
MODELSMoDELS-2007-WhittleMAJER #composition #diagrams #uml
An Expressive Aspect Composition Language for UML State Diagrams (JW, AMDM, JA, PKJ, AME, RR), pp. 514–528.
TOOLSTOOLS-EUROPE-2007-PotterS #incremental
Incremental Lock Selection for Composite Objects (JP, AS), pp. 477–494.
GPCEGPCE-2007-JarviMS #adaptation #c++ #composition #concept #library #using
Library composition and adaptation using c++ concepts (JJ, MAM, JNS), pp. 73–82.
GPCEGPCE-2007-ThakerBKC #composition #product line
Safe composition of product lines (ST, DSB, DK, WRC), pp. 95–104.
POPLPOPL-2007-Godefroid #composition #generative #testing
Compositional dynamic test generation (PG), pp. 47–54.
SACSAC-2007-MouhoubS #constraints #problem
Solving conditional and composite constraint satisfaction problems (MM, AS), pp. 336–337.
SACSAC-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-FSEESEC-FSE-2007-FosterEKMRU #composition #constraints #model checking
Model checking service compositions under resource constraints (HF, WE, JK, JM, DSR, SU), pp. 225–234.
ESEC-FSEESEC-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-FSEESEC-FSE-2007-YeCCX #composition #detection
Detection and resolution of atomicity violation in service composition (CY, SCC, WKC, CX), pp. 235–244.
ATEMATEM-2007-FleureyBFG #approach #automation #composition
A Generic Approach for Automatic Model Composition (FF, BB, RBF, SG), pp. 7–15.
SPLCSPLC-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.
CAVCAV-2007-BerdineCCDOWY #analysis #data type
Shape Analysis for Composite Data Structures (JB, CC, BC, DD, PWO, TW, HY), pp. 178–192.
CAVCAV-2007-GuptaMF #automation #composition #generative #verification
Automated Assumption Generation for Compositional Verification (AG, KLM, ZF), pp. 420–432.
CAVCAV-2007-SinhaC #composition #lazy evaluation #learning #satisfiability #using #verification
SAT-Based Compositional Verification Using Lazy Learning (NS, EMC), pp. 39–54.
FATESTestCom-FATES-2007-FalconeFMR #composition #framework #specification #testing
A Compositional Testing Framework Driven by Partial Specifications (YF, JCF, LM, JLR), pp. 107–122.
CBSECBSE-2006-Barbier #composition #enterprise #java
An Enhanced Composition Model for Conversational Enterprise JavaBeans (FB), pp. 344–351.
CBSECBSE-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.
DACDAC-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.
DATEDATE-2006-MolnosHCE #composition #multi #performance
Compositional, efficient caches for a chip multi-processor (AMM, MJMH, SDC, JTJvE), pp. 345–350.
SIGMODSIGMOD-2006-Gutmans #named #paradigm #php #web
PHP: supporting the new paradigm of situational and composite web applications (AG), p. 707.
VLDBVLDB-2006-0003RBCY #metric #set
Composite Subset Measures (LC, RR, PB, BCC, VY), pp. 403–414.
VLDBVLDB-2006-BernsteinGMN #composition #implementation
Implementing Mapping Composition (PAB, TJG, SM, AN), pp. 55–66.
VLDBVLDB-2006-SismanisBHR #named #performance #scalability
GORDIAN: Efficient and Scalable Discovery of Composite Keys (YS, PB, PJH, BR), pp. 691–702.
TACASTACAS-2006-GhicaM #composition #concurrent #higher-order #source code
Compositional Model Extraction for Higher-Order Concurrent Programs (DRG, ASM), pp. 303–317.
CSMRCSMR-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.
PEPMPEPM-2006-Lopez-HerrejonBL #approach #composition
A disciplined approach to aspect composition (RELH, DSB, CL), pp. 68–77.
PLDIPLDI-2006-JohnsonE #algorithm #composition #independence
Context-sensitive domain-independent algorithm composition and selection (TAJ, RE), pp. 181–192.
PLDIPLDI-2006-ShiversM #composition #continuation #transducer
Continuations and transducer composition (OS, MM), pp. 295–307.
STOCSTOC-2006-KushilevitzLR #composition #protocol #security
Information-theoretically secure protocols and security under composition (EK, YL, TR), pp. 109–118.
CIAACIAA-2006-ChengWC #analysis #bisimulation #branch #composition #on the fly
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis (YPC, HYW, YRC), pp. 219–229.
FMFM-2006-McCombS #composition #refinement
Compositional Class Refinement in Object-Z (TM, GS), pp. 205–220.
FMFM-2006-Zave #composition #network
Compositional Binding in Network Domains (PZ), pp. 332–347.
SEFMSEFM-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.
ICFPICFP-2006-BringertR #composition
A pattern for almost compositional functions (BB, AR), pp. 216–226.
ICGTICGT-2006-BaldanEK #composition
Composition and Decomposition of DPO Transformations with Borrowed Context (PB, HE, BK), pp. 153–167.
CSCWCSCW-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.
EDOCEDOC-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.
EDOCEDOC-2006-CaoJWQ #composition #named
ServiceFlow: QoS Based Service Composition in CGSP (HC, HJ, SW, LQ), pp. 453–458.
EDOCEDOC-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.
ICEISICEIS-ISAS-2006-SoeiroBM #composition #specification #xml
An XML-Based Language for Specification and Composition of Aspectual Concerns (ES, ISB, AMDM), pp. 410–419.
ICEISICEIS-SAIC-2006-KohlerMO #approach #composition #petri net
Dynamic Service Composition: A Petri-Net Based Approach (MK, DM, JO), pp. 159–165.
ICPRICPR-v2-2006-BrooksA #composition #image
Generalizing inverse compositional image alignment (RB, TA), pp. 1200–1203.
SEKESEKE-2006-DongSY #composition #framework #ontology #web #web service
OWL-S Ontology Framework Extension for Dynamic Web Service Composition (JD, YS, SY), pp. 544–549.
SEKESEKE-2006-HepnerGG #composition #interactive #requirements #web #web service
Elevating Interaction Requirements for Web Service Composition (MH, MTG, RFG), pp. 697–701.
SEKESEKE-2006-MrissaGBM #composition #semantics #towards #web #web service
Towards Context-based Mediation for Semantic Web Services Composition (MM, CG, DB, ZM), pp. 714–719.
SEKESEKE-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.
SIGIRSIGIR-2006-NenkovaVM #composition #multi #summary
A compositional context sensitive multi-document summarizer: exploring the factors that influence summarization (AN, LV, KM), pp. 573–580.
ECMFAECMDA-FA-2006-BezivinBFGJKKP #canonical #composition
A Canonical Scheme for Model Composition (JB, SB, MDDF, MPG, FJ, DSK, IK, RFP), pp. 346–360.
ECMFAECMDA-FA-2006-Pahl #architecture #composition #modelling #ontology
Ontology-Based Composition and Transformation for Model-Driven Service Architecture (CP), pp. 198–212.
MODELSMoDELS-2006-GoolPHE #composition
Compositional MDA (LvG, TP, MH, RvE), pp. 126–139.
MODELSMoDELS-2006-GoolPHE #composition
Compositional MDA (LvG, TP, MH, RvE), pp. 126–139.
OOPSLAOOPSLA-2006-NystromQM #composition #scalability
J&: nested intersection for scalable software composition (NN, XQ, ACM), pp. 21–36.
GPCEGPCE-2006-Prehofer #composition #multi #reasoning #semantics
Semantic reasoning about feature composition via multiple aspect-weavings (CP), pp. 237–242.
POPLPOPL-2006-OlinskyLR #composition #implementation #specification #staged
Staged allocation: a compositional technique for specifying and implementing procedure calling conventions (RO, CL, NR), pp. 409–421.
SACSAC-2006-ChengCW #analysis #composition #named #scalability
ARCATS: a scalable compositional analysis tool suite (YPC, YRC, HYW), pp. 1852–1853.
ICSEICSE-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.
ICSEICSE-2006-YeCC #collaboration #composition
Publishing and composition of atomicity-equivalent services for B2B collaboration (CY, SCC, WKC), pp. 351–360.
HPDCHPDC-2006-GlatardMP #composition #data-driven #performance
Efficient services composition for grid-enabled data-intensive applications (TG, JM, XP), pp. 333–334.
CAVCAV-2006-AdlerASFLRR #composition #interface #named
Ticc: A Tool for Interface Compatibility and Composition (BTA, LdA, LDdS, MF, AL, VR, PR), pp. 59–62.
CAVCAV-2006-KupfermanPV #composition #synthesis
Safraless Compositional Synthesis (OK, NP, MYV), pp. 31–44.
ICLPICLP-2006-Emden #composition #logic #semantics
Compositional Semantics for the Procedural Interpretation of Logic (MHvE), pp. 315–329.
ICTSSTestCom-2006-GotzheinK #communication #composition #testing
Compositional Testing of Communication Systems (RG, FK), pp. 227–244.
VMCAIVMCAI-2006-JaffarSV #abstraction #composition
A CLP Method for Compositional and Intermittent Predicate Abstraction (JJ, AES, RV), pp. 17–32.
VMCAIVMCAI-2006-TanA #composition #control flow #logic
A Compositional Logic for Control Flow (GT, AWA), pp. 80–94.
CBSECBSE-2005-LagaisseJ #aspect-oriented #component #composition #middleware
Component-Based Open Middleware Supporting Aspect-Oriented Software Composition (BL, WJ), pp. 139–154.
ASEASE-2005-DominguezD #composition #distributed #reasoning
Compositional reasoning for port-based distributed systems (ALJD, NAD), pp. 376–379.
ASEASE-2005-Milanova #composition #diagrams #identification #precise #uml
Precise identification of composition relationships for UML class diagrams (AM), pp. 76–85.
ASEASE-2005-MokhtarLGI #composition
QoS-aware dynamic service composition in ambient intelligence environments (SBM, JL, NG, VI), pp. 317–320.
CASECASE-2005-CengicALYF #composition #implementation #using
Implementation of full synchronous composition using IEC 61499 function blocks (GC, , BL, CY, PMF), pp. 267–272.
DATEDATE-2005-MolnosHCE #communication #composition #memory management #multi
Compositional Memory Systems for Multimedia Communicating Tasks (AMM, MJMH, SDC, JTJvE), pp. 932–937.
DocEngDocEng-2005-ThomasB #documentation #using #xml
Enhancing composite digital documents using XML-based standoff markup (PLT, DFB), pp. 177–186.
PODSPODS-2005-NashBM #composition #dependence #embedded
Composition of mappings given by embedded dependencies (AN, PAB, SM), pp. 172–183.
VLDBVLDB-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.
FASEFASE-2005-FuriaRMM #automation #composition #proving #realtime
Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.
FASEFASE-2005-LeicherS #analysis #composition #modelling #uml
Augmenting UML Models for Composition Conflict Analysis (AL, JGS), pp. 127–140.
FASEFASE-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.
FoSSaCSFoSSaCS-2005-Froschle #composition
Composition and Decomposition in True-Concurrency (SBF), pp. 333–347.
TACASTACAS-2005-Genest #composition #sequence chart
Compositional Message Sequence Charts (CMSCs) Are Better to Implement Than MSCs (BG), pp. 429–444.
STOCSTOC-2005-KalaiLP #composition #concurrent #protocol
Concurrent general composition of secure protocols in the timing model (YTK, YL, MP), pp. 644–653.
CIAACIAA-2005-BaillyCS #behaviour #communication #component #composition #contract
Component Composition Preserving Behavioural Contracts Based on Communication Traces (AB, MC, ISR), pp. 54–65.
ICALPICALP-2005-DelzannoG #composition #constraints #process #theorem proving #verification
Compositional Verification of Asynchronous Processes via Constraint Solving (GD, MG), pp. 1239–1250.
FMFM-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.
IFMIFM-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.
SEFMSEFM-2005-GurovH #abstraction #composition #interface
Interface Abstraction for Compositional Verificatio (DG, MH), pp. 414–424.
SEFMSEFM-2005-MesquitaSM #composition #framework
A Strategy for the Formal Composition of Frameworks (WM, AS, ACVdM), pp. 404–413.
SEFMSEFM-2005-PrasetyaAVL #composition #generative #verification
Building Verification Condition Generators by Compositional Extensions (ISWBP, AA, TEJV, AvL), pp. 220–230.
ICEISICEIS-v1-2005-TansalarakC #composition #implementation #named
COCO: Composition Model and Composition Model Implementation (NT, KTC), pp. 340–345.
ICEISICEIS-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.
ICEISICEIS-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.
SEKESEKE-2005-HanB #aspect-oriented #composition #evolution
Dynamically Evolvable Composition of Aspects Based On Relation Model (IJH, DHB), pp. 163–168.
SEKESEKE-2005-IngstrupH #composition #ubiquitous
Palpable Assemblies: Dynamic Service Composition for Ubiquitous Computing (MI, KMH), pp. 632–638.
SEKESEKE-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.
MODELSMoDELS-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.
MODELSMoDELS-2005-QuartelDS #concept
Extending Profiles with Stereotypes for Composite Concepts (DACQ, RMD, MvS), pp. 232–247.
MODELSMoDELS-2005-SandersMKB #composition #specification #uml #using
Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.
MODELSMoDELS-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.
MODELSMoDELS-2005-QuartelDS #concept
Extending Profiles with Stereotypes for Composite Concepts (DACQ, RMD, MvS), pp. 232–247.
MODELSMoDELS-2005-SandersMKB #composition #specification #uml #using
Using UML 2.0 Collaborations for Compositional Service Specification (RTS, HNC, FAK, RB), pp. 460–475.
OOPSLAOOPSLA-2005-KojarskiL #aspect-oriented #composition #design
Pluggable AOP: designing aspect mechanisms for third-party composition (SK, DHL), pp. 247–263.
PPDPPPDP-2005-DelzannoGM #composition #semantics
A compositional semantics for CHR (GD, MG, MCM), pp. 209–217.
POPLPOPL-2005-AnconaDDZ #bytecode #compilation #composition #java #polymorphism
Polymorphic bytecode: compositional compilation for Java-like languages (DA, FD, SD, EZ), pp. 26–37.
POPLPOPL-2005-BruniMM #composition
Theoretical foundations for compensations in flow composition languages (RB, HCM, UM), pp. 209–220.
RERE-2005-ChitchyanSR #approach #named #requirements
CoCA: A Composition-Centric Approach to Requirements Engineering (RC, IS, AR), pp. 475–476.
SACSAC-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.
SACSAC-2005-KaminaT #composition #mixin
Selective method combination in mixin-based composition (TK, TT), pp. 1269–1273.
SACSAC-2005-StefanoFPT #composition #metric
Metrics for evaluating concern separation and composition (ADS, MF, GP, ET), pp. 1381–1382.
GTTSEGTTSE-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.
GTTSEGTTSE-2005-PorkolabZ #c++ #composition #metaprogramming #problem
A Feature Composition Problem and a Solution Based on C++ Template Metaprogramming (ZP, IZ), pp. 459–470.
LDTALDTA-2005-CleenewerckB #composition
An Invasive Composition System for Local-to-Global Transformations (TC, JB), pp. 77–98.
CAVCAV-2005-AlurMN #composition #learning #verification
Symbolic Compositional Verification by Learning Assumptions (RA, PM, WN), pp. 548–562.
CAVCAV-2005-Monniaux #analysis #composition #float #linear
Compositional Analysis of Floating-Point Linear Numerical Filters (DM), pp. 199–212.
VMCAIVMCAI-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.
VMCAIVMCAI-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.
CBSECBSE-2004-EskenaziFH #component #composition #performance #predict
Performance Prediction for Component Compositions (EME, AVF, DKH), pp. 280–293.
WICSAWICSA-2004-MarcoI #architecture #composition #generative #modelling #performance
Compositional Generation of Software Architecture Performance QN Models (ADM, PI), pp. 37–46.
ASEASE-2004-MehtaMSA #architecture #behaviour #composition #modelling
Modeling Behavior in Compositions of Software Architectural Primitives (NRM, NM, MS, FA), pp. 371–374.
DATEDATE-v1-2004-MolnosHCE #composition #data-driven #memory management
Compositional Memory Systems for Data Intensive Applications (AMM, MJMH, SC, JTJvE), pp. 728–729.
DocEngDocEng-2004-BagleyB #composition #using
Page composition using PPML as a link-editing script (SRB, DFB), pp. 134–136.
SIGMODSIGMOD-2004-HullS #design #tool support #web #web service
Tools for Design of Composite Web Services (RH, JS), pp. 958–961.
ITiCSEITiCSE-2004-Hamer #approach #composition #design pattern #education #using
An approach to teaching design patterns using musical composition (JH), pp. 156–160.
ESOPESOP-2004-BugliesiFM #analysis #authentication #composition #protocol
Compositional Analysis of Authentication Protocols (MB, RF, MM), pp. 140–154.
FASEFASE-2004-Bocchi #composition #transaction
Compositional Nested Long Running Transactions (LB), pp. 194–208.
FASEFASE-2004-SoraCVB #automation #component #composition #requirements
Automating Decisions in Component Composition Based on Propagation of Requirements (IS, VC, PV, YB), pp. 374–388.
TACASTACAS-2004-AbramskyGMO #composition #game studies #modelling #semantics #verification
Applying Game Semantics to Compositional Software Modeling and Verification (SA, DRG, ASM, CHLO), pp. 421–435.
IWPCIWPC-2004-BackerDV #composition #execution #visualisation #web #web service
Web Services Composition, Execution and Visualization (MDB, GD, JV), pp. 264–265.
ICGTICGT-2004-BuurenJIS #architecture #composition #enterprise #modelling
Composition of Relations in Enterprise Architecture Models (RvB, HJ, MEI, PS), pp. 39–53.
ICGTICGT-2004-Urvoy #composition
Composition of Path Transductions (TU), pp. 368–382.
CHICHI-2004-HouriziJ #design #predict
Designing to support awareness: a predictive, composite model (RH, PJ), pp. 159–166.
CAiSECAiSE-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.
EDOCEDOC-2004-JaegerRM #composition #using #web #web service #workflow
QoS Aggregation for Web Service Composition using Workflow Patterns (MCJ, GRG, GM), pp. 149–159.
EDOCEDOC-2004-SkoganGS #composition #uml #web #web service
Web Service Composition in UML (DS, RG, IS), pp. 47–57.
EDOCEDOC-2004-WoodmanPSW #specification #verification #web #web service
Notations for the Specification and Verification of Composite Web Services (SJW, DJP, SKS, SMW), pp. 35–46.
ICEISICEIS-v4-2004-BaluzLTWO #architecture #composition #web #web service
Composition of Web Services in the ICS Architecture (CRB, SL, RFT, BW, NRSO), pp. 435–438.
ICEISICEIS-v4-2004-ChengB #query
Federated Mediators for Query Composite Answers (DC, NB), pp. 170–175.
ICEISICEIS-v4-2004-LopesH #composition #corba #web #web service
From CORBA to Web Services Composition (DL, SH), pp. 114–121.
ICEISICEIS-v4-2004-PoggiTT #composition #using
Using Agent Platforms for Service Composition (AP, MT, PT), pp. 98–105.
ICEISICEIS-v5-2004-GattiM #communication #composition #predict
CABA2L A Bliss Predictive Composition Assistant for AAC Communication Software (NG, MM), pp. 89–96.
SEKESEKE-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.
SEKESEKE-2004-ZhaoBCRABO #composition
Grammatically Interpreting Feature Compositions (WZ, BRB, FC, RRR, MA, CCB, AMO), pp. 185–191.
UMLUML-2004-StrawGSFB #composition
Model Composition Directives (GS, GG, ES, SG, RBF, JMB), pp. 84–97.
OOPSLAOOPSLA-2004-NandaCS #execution #web #web service
Decentralizing execution of composite web services (MGN, SC, VS), pp. 170–187.
LOPSTRLOPSTR-2004-LauMO #composition #specification
Constructive Specifications for Compositional Units (KKL, AM, MO), pp. 198–214.
LOPSTRPDCL-2004-Brogi #composition #logic programming #on the #semantics
On the Semantics of Logic Program Composition (AB), pp. 115–151.
LOPSTRPDCL-2004-LauO #composition #development #logic #specification
Specifying Compositional Units for Correct Program Development in Computational Logic (KKL, MO), pp. 1–29.
PPDPPPDP-2004-HondaY #composition #higher-order #logic #polymorphism
A compositional logic for polymorphic higher-order functions (KH, NY), pp. 191–202.
PADLPADL-2004-AchtenEP #composition #user interface #visual notation
Compositional Model-Views with Generic Graphical User Interfaces (PA, MCJDvE, MJP), pp. 39–55.
SACSAC-J-2003-MeloM04 #composition #framework #java #on the
On the composition of Java frameworks control-flows (ACVdM, BMM), pp. 301–307.
SACSAC-2004-MaamarKY #approach #composition #web #web service
A Web services composition approach based on software agents and context (ZM, SKM, HY), pp. 1619–1623.
ICSEICSE-2004-CaporuscioIP #architecture #composition #middleware #verification
Compositional Verification of Middleware-Based Software Architecture Descriptions (MC, PI, PP), pp. 221–230.
ICSEICSE-2004-LingenH #composition #configuration management #framework #policy
An Experimental, Pluggable Infrastructure for Modular Configuration Management Policy Composition (RvdL, AvdH), pp. 573–582.
CCCC-2004-LindigR #composition #declarative #stack
Declarative Composition of Stack Frames (CL, NR), pp. 298–312.
HPDCHPDC-2004-GuNY #composition #framework #named #peer-to-peer
SpiderNet: An Integrated Peer-to-Peer Service Composition Framework (XG, KN, BY), pp. 110–119.
LCTESLCTES-2004-PatilSM #composition #simulation
Compositional static instruction cache simulation (KP, KS, FM), pp. 136–145.
CAVCAV-2004-YangS #composition #model checking #specification
Compositional Specification and Model Checking in GSTE (JY, CJHS), pp. 216–228.
ASEASE-2003-FosterUMK #composition #modelling #verification #web #web service
Model-based Verification of Web Service Compositions (HF, SU, JM, JK), pp. 152–163.
HTHT-2003-Bernstein
Collage, composites, construction (MB), pp. 122–123.
HTHT-2003-ItoT #composition #visual notation #web
A visual environment for dynamic web application composition (KI, YT), pp. 184–193.
VLDBVLDB-2003-WeberSNSS #composition
WebService Composition with O’GRAPE and OSIRIS (RW, CS, PN, HS, HJS), pp. 1081–1084.
FASEFASE-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.
FoSSaCSFoSSaCS-2003-Maier #composition
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete (PM), pp. 343–357.
TACASTACAS-2003-BasuR #analysis #composition #verification
Compositional Analysis for Verification of Parameterized Systems (SB, CRR), pp. 315–330.
TACASTACAS-2003-CobleighGP #composition #learning #verification
Learning Assumptions for Compositional Verification (JMC, DG, CSP), pp. 331–346.
TACASTACAS-2003-Tripakis #automation #composition
Automated Module Composition (ST), pp. 347–362.
PLDIPLDI-2003-StroutCF #composition #runtime
Compile-time composition of run-time data and iteration reorderings (MMS, LC, JF), pp. 91–102.
FMFME-2003-BeekK #automaton #composition
Team Automata Satisfying Compositionality (MHtB, JK), pp. 381–400.
FMFME-2003-Rusu #composition #protocol #verification
Compositional Verification of an ATM Protocol (VR), pp. 223–243.
FMFME-2003-XieBK #composition #reasoning
Translation-Based Compositional Reasoning for Software Systems (FX, JCB, RPK), pp. 582–599.
CAiSECAiSE-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.
ICEISICEIS-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.
ICEISICEIS-v4-2003-RoqueOL #component #composition #policy #visual notation
Policies Composition Through Graphical Components (VR, JLO, RPL), pp. 464–467.
UMLUML-2003-Egyed #abstraction #composition #reasoning #relational
Compositional and Relational Reasoning during Class Abstraction (AE), pp. 121–137.
UMLUML-2003-SteimannGM #modelling #object-oriented #on the
On the Key Role of Compositioning Object-Oriented Modelling (FS, JG, TAM), pp. 106–120.
SACSAC-2003-AtluriAGA #constraints #multi #security #self
Self-Manifestation of Composite Multimedia Objects to Satisfy Security Constraints (VA, NRA, AG, IA), pp. 927–934.
SACSAC-2003-Dong #composition #design pattern #representation #uml
Representing the Applications and Compositions of Design Patterns in UML (JD), pp. 1092–1098.
SACSAC-2003-KellarMZWKB #architecture #composition
Architecture to Support Dynamic Composition of Math Lesson Plans (MK, BM, RZ, CRW, DK, JMB), pp. 569–574.
SACSAC-2003-MeloM #composition #framework #java #on the
On the Composition of Java Frameworks Control-flows (ACVdM, BMM), pp. 1099–1103.
SACSAC-2003-NandaK #analysis #web #web service
Synchronization Analysis for Decentralizing Composite Web Services (MGN, NMK), pp. 407–414.
SACSAC-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.
SACSAC-2003-TakeuchiIH #parallel
An Improvement on Binary-Swap Compositing for Sort-Last Parallel Rendering (AT, FI, KH), pp. 996–1002.
ESEC-FSEESEC-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-FSEESEC-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-FSEESEC-FSE-2003-JarzabekS #adaptation #composition #metaprogramming
Eliminating redundancies with a “composition with adaptation” meta-programming technique (SJ, SL), pp. 237–246.
ESEC-FSEESEC-FSE-2003-XieB #component #composition
Verified systems by composition from verified components (FX, JCB), pp. 277–286.
ICSEICSE-2003-OberleitnerGJ #component #composition #framework #modelling
The Vienna Component Framework Enabling Composition Across Component Models (JO, TG, MJ), pp. 25–37.
ICSEICSE-2003-SpitznagelG #composition #formal method
A Compositional Formalization of Connector Wrappers (BS, DG), pp. 374–384.
CAVCAV-2003-PaceLM
Calculating-Confluence Compositionally (GJP, FL, RM), pp. 446–459.
FATESFATES-2003-BijlRT #composition #testing
Compositional Testing with ioco (MvdB, AR, JT), pp. 86–100.
ICLPICLP-2003-DelzannoGM #composition #infinity #verification
Compositional Verification of Infinite State Systems (GD, MG, MCM), pp. 47–48.
ICLPICLP-2003-GranvilliersM #composition #constraints #implementation #reduction
Implementing Constraint Propagation by Composition of Reductions (LG, EM), pp. 300–314.
CBSECBSE-2002-Mason #analysis #component #composition #probability #reliability
Probabilistic Analysis for Component Reliability Composition (DM), p. 8.
CBSECBSE-2003-InverardiT #assembly #component #composition #synthesis
A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.
CBSECBSE-2003-WeideOS #composition #performance #reasoning
Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.
DACDAC-2002-RichterZJE #analysis #composition #design #framework #scheduling
Model composition for scheduling analysis in platform design (KR, DZ, MJ, RE), pp. 287–292.
DATEDATE-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.
DATEDATE-2002-Dubrova #composition #order
Composition Trees in Finding Best Variable Orderings for ROBDDs (ED), p. 1084.
DocEngDocEng-2002-MelloL #composition #documentation #generative #image
Generation of images of historical documents by composition (CABM, RDL), pp. 127–133.
VLDBVLDB-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.
FASEFASE-2002-BartheGH #composition #interactive #verification
Compositional Verification of Secure Applet Interactions (GB, DG, MH), pp. 15–32.
FASEFASE-2002-Charpentier #approach #composition #motivation
An Approach to Composition Motivated by wp (MC), pp. 1–14.
FoSSaCSFoSSaCS-2002-BorealeG #calculus #composition #on the #reasoning
On Compositional Reasoning in the Sπ-calculus (MB, DG), pp. 67–81.
TACASTACAS-2002-Lang #composition #using #verification
Compositional Verification Using SVL Scripts (FL), pp. 465–469.
PEPMPEPM-2002-GiacobazziM #composition #semantics
Compositionality in the puzzle of semantics (RG, IM), pp. 87–97.
STOCSTOC-2002-LindellLR #authentication #composition #on the
On the composition of authenticated byzantine agreement (YL, AL, TR), pp. 514–523.
FMFME-2002-BackesJP #bisimulation #composition #encryption #implementation #using
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation (MB, CJ, BP), pp. 310–329.
CAiSECAiSE-2002-YangP #component #composition #reuse #web #web service
Web Component: A Substrate for Web Service Reuse and Composition (JY, MPP), pp. 21–36.
EDOCEDOC-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.
EDOCEDOC-2002-SatoSM #optimisation #parallel #web #web service
Optimizing Composite Web Services through Parallelization of Service Invocations (NS, SS, KM), p. 305–?.
KRKR-2002-McIlraithS #adaptation #composition #semantics #web #web service
Adapting Golog for Composition of Semantic Web Services (SAM, TCS), pp. 482–496.
KRKR-2002-RandellW #axiom #composition #scalability
Building Large Composition Tables via Axiomatic Theories (DAR, MW), pp. 26–36.
ECOOPECOOP-2002-SneltingT #composition #semantics
Semantics-Based Composition of Class Hierarchies (GS, FT), pp. 562–584.
PADLPADL-2002-Thiemann #composition #named #web
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms (PT), pp. 192–208.
SPLCSPLC-2002-OmmeringB #composition #product line
Widening the Scope of Software Product Lines — From Variation to Composition (RCvO, JB), pp. 328–347.
RTARTA-2002-Voigtlander #composition #performance #transducer
Conditions for Efficiency Improvement by Tree Transducer Composition (JV), pp. 222–236.
VMCAIVMCAI-2002-CharatonikMP #analysis #composition #termination
Compositional Termination Analysis of Symbolic Forward Analysis (WC, SM, AP), pp. 109–125.
CBSECBSE-2001-GenßlerZ #component #composition #embedded
Rule-driven Component Composition for Embedded Systems (TG, CZ), p. 12.
CBSECBSE-2001-PreissW #composition #problem #towards
Towards a Composition Model Problem based on IEC61850 (OP, AW), p. 18.
CBSECBSE-2001-Sitaraman #composition #performance #reasoning
Compositional Performance Reasoning (MS), p. 19.
WICSAWICSA-2001-SpitznagelG #approach #composition
A Compositional Approach for Constructing Connectors (BS, DG), pp. 148–157.
ASEASE-2001-PavlovicS #behaviour #composition #refinement #specification
Composition and Refinement of Behavioral Specifications (DP, DRS), pp. 157–165.
FASEFASE-2001-PingerE #communication #composition
Compositional Checking of Communication among Observers (RP, HDE), pp. 32–44.
TACASTACAS-2001-AmlaENT #composition #diagrams #reasoning
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams (NA, EAE, KSN, RJT), pp. 465–479.
TACASTACAS-2001-GunterMP #composition #sequence chart
Compositional Message Sequence Charts (ELG, AM, DP), pp. 496–511.
TACASTACAS-2001-Yavuz-KahveciTB #library
A Library for Composite Symbolic Representations (TYK, MT, TB), pp. 52–66.
SASSAS-2001-Spoto #analysis #composition #semantics
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses (FS), pp. 127–145.
ICALPICALP-2001-ViswanathanV #composition #reasoning
Foundations for Circular Compositional Reasoning (MV, RV), pp. 835–847.
ICFPICFP-2001-Chitil #algorithm #composition #debugging #fault
Compositional Explanation of Types and Algorithmic Debugging of Type Errors (OC), pp. 193–204.
ICEISICEIS-v2-2001-LitoiuSS #composition #modelling
Flow Composition Modeling with MOF (ML, MS, MTS), pp. 590–598.
ICMLICML-2001-JoachimsCS #categorisation #hypermedia #kernel
Composite Kernels for Hypertext Categorisation (TJ, NC, JST), pp. 250–257.
UMLUML-2001-YacoubA #composition #design #design pattern #uml
UML Support for Designing Software Systems as a Composition of Design Patterns (SMY, HHA), pp. 149–165.
OOPSLAOOPSLA-2001-OstermannM #composition #object-oriented
Object-Oriented Composition Untangled (KO, MM), pp. 283–299.
TOOLSTOOLS-USA-2001-Bezivin01a #composition #model transformation
From Object Composition to Model Transformation with the MDA (JB), pp. 350–354.
TOOLSTOOLS-USA-2001-PawlakDFS #composition
Dynamic Wrappers: Handling the Composition Issue with JAC (RP, LD, GF, LS), pp. 56–65.
TOOLSTOOLS-USA-2001-WydaegheV #component #composition #using #visual notation
Visual Component Composition Using Composition Patterns (BW, WV), pp. 120–129.
ICSEICSE-2001-ClarkeW #approach #aspect-oriented #composition #design #reuse
Composition Patterns: An Approach to Designing Reusable Aspects (SC, RJW), pp. 5–14.
CAVCAV-2001-JhalaM #architecture #composition #model checking #verification
Microarchitecture Verification by Compositional Model Checking (RJ, KLM), pp. 396–410.
ASEASE-2000-KloukinasI #automation #composition #middleware
Automating the Composition of Middleware Configurations (CK, VI), pp. 241–244.
DACDAC-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.
DATEDATE-2000-JantschB
Composite Signal Flow: A Computational Model Combining Events, Sampled Streams, and Vectors (AJ, PB), pp. 154–160.
FASEFASE-2000-AnlauffKPS #component #composition #domain-specific language #using
Using Domain-Specific Languages for the Realization of Component Composition (MA, PWK, AP, AS), pp. 112–126.
FoSSaCSFoSSaCS-2000-Tsay #composition #linear #logic #verification
Compositional Verification in Linear-Time Temporal Logic (YKT), pp. 344–358.
TACASTACAS-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.
CIAACIAA-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.
IFMIFM-2000-KlaudelP #composition #concurrent #petri net #semantics
A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.
CAiSECAiSE-2000-CasatiIJKS #adaptation #composition
Adaptive and Dynamic Service Composition in eFlow (FC, SI, LjJ, VK, MCS), pp. 13–31.
ICPRICPR-v2-2000-KimSK #recognition #segmentation #string
Recognition of Unconstrained Handwritten Numeral Strings by Composite Segmentation Method (KKK, CYS, JHK), pp. 2594–2597.
ICPRICPR-v3-2000-MalkiMZB #composition
Directional Relations Composition by Orientation Histogram Fusion (JM, LM, EHZ, PB), pp. 3766–3765.
ICPRICPR-v4-2000-HachimuraT #composition #image #interactive #query #retrieval #specification
Image Retrieval Based on Compositional Features and Interactive Query Specification (KH, AT), pp. 4262–4266.
ICPRICPR-v4-2000-HuM #composition #image
Optimal Color Composition Matching of Images (JH, AM), pp. 4047–4050.
KRKR-2000-FattahP #approach #automation #composition #query
A Compositional Structured Query Approach to Automated Inference (YEF, MAP), pp. 213–224.
OOPSLAOOPSLA-2000-NobleHP
Exclusion for composite objects (JN, DH, JP), pp. 13–28.
TOOLSTOOLS-ASIA-2000-JuYN
Agent-Based and Software Composite DDSS (CJ, LY, TJN), pp. 50–57.
TOOLSTOOLS-ASIA-2000-KhanHZ #component #composition #security
Security Characterization of Software Components and Their Composition (KMK, JH, YZ), pp. 240–249.
TOOLSTOOLS-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–?.
TOOLSTOOLS-USA-2000-YacoubXA #composition #design #named
POD: A Composition Environment for Pattern-Oriented Design (SMY, HX, HHA), pp. 263–272.
GPCEGCSE-2000-Bruin #analysis #component #composition
Scenario-Based Analysis of Component Compositions (HdB), pp. 129–146.
GPCEGCSE-2000-KlaerenPRS #composition #contract #design #principle
Aspect Composition Applying the Design by Contract Principle (HK, EP, AR, AS), pp. 57–69.
SACSAC-2000-GaedkeR #component #composition #reuse #web
Supporting Compositional Reuse in Component-Based Web Engineering (MG, JR), pp. 927–933.
SACSAC-2000-NeumannZ #composition #towards
Towards the Usage of Dynamic Object Aggregations as a Foundation for Composition (GN, UZ), pp. 818–820.
SACSAC-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.
FSEFSE-2000-LuttgenBC #approach #composition #semantics
A compositional approach to statecharts semantics (GL, MvdB, RC), pp. 120–129.
ICSEICSE-2000-Dong #composition #design #framework #logic
A logical framework for design composition (JD), pp. 698–700.
ICSEICSE-2000-SucciWLS #component #composition
Supporting dynamic composition of components (GS, RW, EL, MRS), p. 787.
OSDIOSDI-2000-ReidFSLE #component #composition #named
Knit: Component Composition for Systems Software (AR, MF, LS, JL, EE), pp. 347–360.
CAVCAV-2000-McMillanQS #composition #induction #model checking
Induction in Compositional Model Checking (KLM, SQ, JBS), pp. 312–327.
CAVCAV-2000-NamjoshiT #composition #on the #reasoning
On the Competeness of Compositional Reasoning (KSN, RJT), pp. 139–153.
CAVCAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry
Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.
ICLPCL-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.
CSLCSL-2000-BorgerS #composition #concept
Composition and Submachine Concepts for Sequential ASMs (EB, JS), pp. 41–60.
WICSAWICSA-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.
HTHT-1999-HardmanOMRB #composition #hypermedia
Do you have the Time? Composition and Linking in Time-Based Hypermedia (LH, JvO, KSM, LR, DCAB), pp. 189–196.
TACASTACAS-1999-BehrmannLAHL #composition #reuse #using #verification
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality (GB, KGL, HRA, HH, JLN), pp. 163–177.
TACASTACAS-1999-MarchignoliM #analysis #automation #composition #encryption #protocol #verification
Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques (DM, FM), pp. 148–162.
ICSMEICSM-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.
ICALPICALP-1999-BouyerP #automaton #composition
Decomposition and Composition of Timed Automata (PB, AP), pp. 210–219.
FMFM-v1-1999-BuchiB #composition #symmetry
Compositional Symmetric Sharing in B (MB, RJB), pp. 431–451.
FMFM-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.
IFMIFM-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.
AGTIVEAGTIVE-1999-DrewesKKK #composition #graph transformation
Graph Transformation Modules and Their Composition (FD, PK, HJK, SK), pp. 15–30.
AGTIVEAGTIVE-1999-RibeiroC #composition #graph grammar #modelling #simulation #using
Compositional Construction of Simulation Models Using Graph Grammars (LR, BC), pp. 87–94.
CAiSECAiSE-1999-MelloulBSW #composition #protocol
CPAM, A Protocol for Software Composition (LM, DB, NS, GW), pp. 11–25.
OOPSLAOOPSLA-1999-WhaleyR #analysis #composition #java #pointer #source code
Compositional Pointer and Escape Analysis for Java Programs (JW, MCR), pp. 187–206.
TOOLSTOOLS-ASIA-1999-ChenHL #object-oriented
A Composite Data Model in Object-Oriented Data Warehousing (WCC, TPH, WYL), pp. 400–405.
TOOLSTOOLS-ASIA-1999-GensslerL #composition #distributed
Correct Composition of Distributed Systems (TG, WL), pp. 296–305.
GPCEGCSE-1999-Bruin #approach #component #composition
A Grey-Box Approach to Component Composition (HdB), pp. 195–209.
POPLPOPL-1999-Yelland #composition #java #virtual machine
A Compositional Account of the Java Virtual Machine (PMY), pp. 57–69.
ESECESEC-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.
CAVCAV-1999-HermannsMS #analysis #composition #markov #modelling #named #performance #specification
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models (HH, VM, MS), pp. 487–490.
CAVCAV-1999-Sifakis #composition #specification #tutorial
The Compositional Specification of Timed Systems — A Tutorial (JS), pp. 2–7.
ASEASE-1998-StirewaltR #automation #composition #generative #user interface
Automating UI Generation by Model Composition (KS, SR), p. 177–?.
DACDAC-1998-ChouB #composition #distributed #embedded #process #towards
Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems (PHC, GB), pp. 88–93.
DACDAC-1998-SmithM #automation #component #composition #hardware
Automated Composition of Hardware Components (JS, GDM), pp. 14–19.
VLDBVLDB-1998-GarofalakisIO #multi #scheduling
Resource Scheduling for Composite Multimedia Objects (MNG, YEI, ), pp. 74–85.
FASEFASE-1998-Grosse-Rhode #algebra #composition
Algebra Transformation Systems and their Composition (MGR), pp. 107–122.
FASEFASE-1998-Heckel #composition #graph transformation #verification
Compositional Verification of Reactive Systems Specified by Graph Transformation (RH), pp. 138–153.
TACASTACAS-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.
PASTEPASTE-1998-NaumovichCO #analysis #concurrent #data flow #performance #source code
Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.
STOCSTOC-1998-Bshouty #algorithm #composition #learning #theorem
A New Composition Theorem for Learning Algorithms (NHB), pp. 583–589.
OOPSLAOOPSLA-1998-BertinoG
Extending the ODMG Object Model with Composite Objects (EB, GG), pp. 259–270.
TOOLSTOOLS-ASIA-1998-ZhangP #approach #composition #concurrent
A Compositional Approach to Concurrent Objects (XZ, JP), pp. 116–126.
LOPSTRLOPSTR-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.
ICSEICSE-1998-KellerS #component #composition #design #towards
Design Components: Towards Software Composition at the Design Level (RKK, RS), pp. 302–311.
HPDCHPDC-1998-CzechHG #composition #flexibility #kernel #protocol
Flexible Protocol Stacks by In-Kernel Composition (CBC, BH, MG), pp. 344–345.
CAVCAV-1998-BensalemLO #abstraction #automation #infinity
Computing Abstractions of Infinite State Systems Compositionally and Automatically (SB, YL, SO), pp. 319–331.
CAVCAV-1998-McMillan #algorithm #composition #implementation #model checking #verification
Verification of an Implementation of Tomasulo’s Algorithm by Compositional Model Checking (KLM), pp. 110–121.
ISSTAISSTA-1998-BultanGL #approach #constraints #integer #verification
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach (TB, RG, CL), pp. 113–123.
LICSLICS-1998-StarkS #analysis #automaton #composition #network #probability
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata (EWS, SAS), pp. 466–477.
PODSPODS-1997-AlonsoBFS #correctness #parallel
Correctness and Parallelism of Composite Systems (GA, SB, AF, HJS), pp. 197–208.
TACASTACAS-1997-KrimmM #composition #generative #source code
Compositional State Space Generation from Lotos Programs (JPK, LM), pp. 239–258.
TACASTACAS-1997-Tofts #analysis #composition #performance
Compositional Performance Analysis (CMNT), pp. 290–305.
STOCSTOC-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.
FMFME-1997-BoerHR #composition #concurrent #proving
A Compositional Proof System for Shared Variable Concurrency (FSdB, UH, WPdR), pp. 515–532.
ICFPICFP-1997-Kagawa #composition #functional #programming
Compositional References for Stateful Functional Programming (KK), pp. 217–226.
OOPSLAOOPSLA-1997-Riehle #design pattern
Composite Design Patterns (DR), pp. 218–228.
TOOLSTOOLS-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.
TOOLSTOOLS-USA-1997-MagnanVO #behaviour #specification
From Specification to Management of Composite Object Behavior (MM, SV, MCO), p. 132–?.
TOOLSTOOLS-USA-1997-MattssonB #composition #framework #problem
Framework Composition: Problems, Causes and Solutions (MM, JB), pp. 203–214.
ESECESEC-FSE-1997-CheungGK #analysis #composition #liveness #reachability #using #verification
Verification of Liveness Properties Using Compositional Reachability Analysis (SCC, DG, JK), pp. 227–243.
ESECESEC-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.
CAVCAV-1997-Kaivola #composition #using #verification
Using Compositional Preorders in the Verification of Sliding Window Protocal (RK), pp. 48–59.
CAVCAV-1997-McMillan #composition #design #hardware #refinement
A Compositional Rule for Hardware Design Refinement (KLM), pp. 24–35.
CAVCAV-1997-TasiranB #case study #composition #named #verification
STARI: A Case Study in Compositional and Hierarchical Timing Verification (ST, RKB), pp. 191–201.
ICLPILPS-1997-VerbaetenDS #composition #logic programming #source code
Compositionality of Normal Open Logic Programs (SV, MD, DDS), pp. 371–385.
ASEKBSE-1996-Jullig #composition #named #tutorial
SPECWARE: Formal Support for Software Composition (Tutorial) (RJ), p. 2.
ESOPESOP-1996-GiacobazziR #abstract interpretation #composition #optimisation
Compositional Optimization of Disjunctive Abstract Interpretations (RG, FR), pp. 141–155.
ESOPESOP-1996-MaraninchiH #composition #nondeterminism #semantics
Compositional Semantics of Non-Deterministic Synchronous Languages (FM, NH), pp. 235–249.
TACASTACAS-1996-FocardiG #automation #composition #security #verification
Automatic Compositional Verification of Some Security Properties (RF, RG), pp. 167–186.
ICPRICPR-1996-BrancaTAD #composition #detection
Directionality detection in compositional textures (AB, MT, GA, AD), pp. 830–834.
ICPRICPR-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.
ECOOPECOOP-1996-BanavarL #composition #framework #tool support
An Application Framework For Module Composition Tools (GB, GL), pp. 91–113.
PPDPALP-1996-FerreiraKP #composition #normalisation #λ-calculus
λ-Calculi with Explicit Substitutions and Composition Which Preserve β-Strong Normalization (MCFF, DK, LP), pp. 284–298.
LOPSTRLOPSTR-1996-BrogiC #composition #logic programming #source code
Specialising Meta-level Compositions of Logic Programs (AB, SC), pp. 275–294.
ICSEICSE-1996-CheungK #analysis #composition #reachability #safety
Checking Subsystem Safety Properties in Compositional Reachability Analysis (SCC, JK), pp. 144–154.
ISSTAISSTA-1996-BultanFG #composition #model checking #verification
Compositional Verification by Model Checking for Counter-Examples (TB, JF, RG), pp. 224–238.
ICLPJICSLP-1996-Bry #composition #database #deduction #logic programming #semantics #source code
A Compositional Semantics for Logic Programs and Deductive Databases (FB), pp. 453–467.
ICLPJICSLP-1996-EtalleT #composition #semantics #source code
A Compositional Semantics for Normal Open Programs (SE, FT), pp. 468–482.
RTARTA-1996-Luth #algebra #composition #proving #term rewriting #theorem
Compositional Term Rewriting: An Algebraic Proof of Toyama’s Theorem (CL), pp. 261–275.
VLDBVLDB-1995-ChaudhuriGS #multi #retrieval
Retrieval of Composite Multimedia Objects (SC, SG, CS), pp. 287–298.
CAiSECAiSE-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.
OOPSLAOOPSLA-1995-MuletMC #composition #towards
Towards a Methodology for Explicit Composition of MetaObjects (PM, JM, PC), pp. 316–330.
OOPSLAOOPSLA-1995-OssherKHKK #composition
Subject-Oriented Composition Rules (HO, MK, WHH, AK, VJK), pp. 235–250.
OOPSLAOOPSLA-1995-SaneC #composition #object-oriented #state machine #subclass
Object-Oriented State Machines: Subclassing, Composition, Delegation and Genericity (AS, RHC), pp. 17–32.
POPLPOPL-1995-BouajjaniEH #composition #infinity #parallel #process #verification
Verifying Infinite State Processes with Sequential and Parallel Composition (AB, RE, PH), pp. 95–106.
FSEFSE-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.
PPoPPPPoPP-1995-DarlingtonGTY #composition #parallel
Parallel Skeletons for Structured Composition (JD, YG, HWT, JY), pp. 19–28.
CAVCAV-1995-AlurH #composition #liveness #modelling
Local Liveness for Compositional Modeling of Fair Reactive Systems (RA, TAH), pp. 166–179.
CAVCAV-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.
ICLPILPS-1995-CominiLM #abstraction #composition
Compositionality in SLD-Derivations and their Abstractions (MC, GL, MCM), pp. 561–575.
ICLPILPS-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.
LICSLICS-1995-JonssonY #composition #probability #process #testing
Compositional Testing Preorders for Probabilistic Processes (BJ, WY), pp. 431–441.
LICSLICS-1995-Simpson #composition #logic
Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS (AKS), pp. 420–430.
HTHT-ECHT-1994-Gronbaek #framework #hypermedia
Composites in a Dexter-Based Hypermedia Framework (KG), pp. 59–69.
VLDBVLDB-1994-ChakravarthyKAK #database #detection #semantics
Composite Events for Active Databases: Semantics, Contexts and Detection (SC, VK, EA, SKK), pp. 606–617.
ICGTTAGT-1994-CorradiniR #composition #graph grammar
Synchronized Composition of Graph Grammar Productions (AC, FR), pp. 257–270.
ECOOPECOOP-1994-Guerraoui #composition
Atomic Object Composition (RG), pp. 118–138.
OOPSLAOOPSLA-1994-FormanDM #composition
Composition of Before/After Metaclasses in SOM (IRF, SD, HM), pp. 427–439.
TOOLSTOOLS-EUROPE-1994-BrantJ #composition #tool support
Creating Tools in HotDraw by Composition (JB, REJ), pp. 445–454.
PPDPALP-1994-AlpuenteFV #analysis #composition #equation #source code
Compositional Analysis for Equational Horn Programs (MA, MF, GV), pp. 77–94.
PPDPPLILP-1994-BrogiCMMPRT #composition #implementation
Implementations of Program Composition Operations (AB, AC, PM, VM, DP, CR, FT), pp. 292–307.
FSEFSE-1994-CorbettA #analysis #composition #scalability #towards
Towards Scalable Compositional Analysis (JCC, GSA), pp. 53–61.
FSEFSE-1994-MoriconiQ #architecture #composition #correctness
Correctness and Composition of Software Architectures (MM, XQ), pp. 164–174.
CADECADE-1994-StickelWLPU #composition #deduction #library
Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
CAVCAV-1994-AzizSS #composition #equivalence #model checking
Formula-Dependent Equivalence for Compositional CTL Model Checking (AA, TRS, VS), pp. 324–337.
CAVCAV-1994-SimoneR #composition #reduction #semantics #verification
Compositional Semantics of ESTEREL and Verification by Compositional Reductions (RdS, AR), pp. 441–454.
LICSLICS-1994-AndersenSW #calculus #composition #proving #μ-calculus
A Compositional Proof System for the Modal μ-Calculus (HRA, CS, GW), pp. 144–153.
LICSLICS-1994-ChangMP #composition #realtime #verification
Compositional Verification of Real-Time Systems (EYC, ZM, AP), pp. 458–465.
VLDBVLDB-1993-TalensOC
Versions of Simple and Composite Objects (GT, CO, MFC), pp. 62–72.
DLTDLT-1993-DerencourtT #composition
Compositions of Codings (DD, AT), pp. 30–43.
FMFME-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.
OOPSLAOOPSLA-1993-Civello #analysis #design #object-oriented
Roles for Composite Objects in Object-Oriented Analysis and Design (FC), pp. 376–393.
POPLPOPL-1993-CodishDG #analysis #composition #logic programming #source code
Compositional Analysis of Modular Logic Programs (MC, SKD, RG), pp. 451–464.
REICRE-1993-AliagaS #composition #prototype #tool support #user interface
Prototyping of Graphing Tools by Direct GUI Composition (DGA, MSH), pp. 317–334.
FSEFSE-1993-CheungK #analysis #composition #constraints #reachability
Enhancing Compositional Reachability Analysis with Context Constraints (SCC, JK), pp. 115–125.
CAVCAV-1993-BrinksmaLB #composition
Functionality Decomposition by Compositional Correstness Preserving Transformation (EB, RL, PB), pp. 371–384.
ASEKBSE-1992-CohenC #automation #composition #data type
Automatic Composition of Data Structures to Represent Relations (DC, NC), p. 26.
SIGMODSIGMOD-1992-GesmannGHHKMS #database #named
PRIMA — A Database System Supporting Dynamically Defined Composite Objects (MG, AG, TH, CH, WK, BM, HS), p. 5.
VLDBVLDB-1992-GehaniJS #database #implementation #specification
Composite Event Specification in Active Databases: Model & Implementation (NHG, HVJ, OS), pp. 327–338.
ESOPESOP-1992-ChenM #composition #multi
Compositional Refinements in Multiple Blackboard Systems (XJC, CM), pp. 93–109.
STOCSTOC-1992-BarringtonBR #representation
Representing Boolean Functions as Polynomials Modulo Composite Numbers (Extended Abstract) (DAMB, RB, SR), pp. 455–461.
STOCSTOC-1992-BealsS #composition #linear
Structure Forest and Composition Factors for Small Base Groups in Nearly Linear Time (RB, ÁS), pp. 116–125.
ICALPICALP-1992-FixFG #composition #unification
Program Composition via Unification (LF, NF, OG), pp. 672–684.
CAiSECAiSE-1992-DuboisBR #requirements
Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.
ECOOPECOOP-1992-AksitBV #approach #integration #object-oriented
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach (MA, LB, SV), pp. 372–395.
ICSEICSE-1992-PatelCB
A Measure for Composite Module Cohesion (SP, WCC, RB), pp. 38–48.
CAVCAV-1992-Kaivola #composition #linear #logic #model checking
Compositional Model Checking for Linear-Time Temporal Logic (RK), pp. 248–259.
CAVCAV-1992-ShipleCSB #automation #composition #model checking #reduction
Automatic Reduction in CTL Compositional Model Checking (TRS, MC, ALSV, RKB), pp. 234–247.
ICLPJICSLP-1992-ChandyK #composition #source code
The Derivation of Compositional Programs (KMC, CK), pp. 3–17.
ASEKBSE-1991-FeatherFH #design
Composite System Design: The Good News and the Bad News (MSF, SF, BRH), pp. 16–25.
SIGMODSIGMOD-1991-AhmedN #database
Version Management of Composite Objects in CAD Databases (RA, SBN), pp. 218–227.
ICALPICALP-1991-FixFG #composition #verification
Program Composition and Modular Verification (LF, NF, OG), pp. 93–114.
CAiSECAiSE-1991-FuginiGP #composition #modelling #requirements #reuse
Reusing Requirements through a Modeling and Composition Support Tool (MGF, MG, BP), pp. 50–78.
ICMLML-1991-Singh #composition #learning
Transfer of Learning Across Compositions of Sequentail Tasks (SPS), pp. 348–352.
OOPSLAOOPSLA-1991-Gibbs #multi
Composite Multimedia and Active Objects (SJG), pp. 97–112.
POPLPOPL-1991-AbadiP #composition #logic #refinement
A Logical View of Composition and Refinement (MA, GDP), pp. 323–332.
ESECESEC-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.
CAVCAV-1991-AndersenW #composition
Compositional Checking of Satisfaction (HRA, GW), pp. 24–36.
CAVCAV-1991-FinkelP #composition #graph
Avoiding State Exposion by Composition of Minimal Covering Graphs (AF, LP), pp. 169–180.
ICLPISLP-1991-FosterKT #composition #parallel #programming #source code #using
Using Compositional Programming to Write Portable, High-Performance Parallel Programs (ITF, CK, ST), pp. 737–738.
LICSLICS-1991-Boer #composition #process #proving
A Compositional Proof System for Dynamic Process Creation (FSdB), pp. 399–405.
ISSTATAV-1991-YehY #algebra #analysis #composition #process #reachability #using
Compositional Reachability Analysis Using Process Algebra (WJY, MY), pp. 49–59.
HTECHT-1990-StottsF #composition #hypermedia #scripting language
Hierarchy, Composition, Scripting Languages, and Translators for Structured Hypertext (PDS, RF), pp. 180–193.
ICALPICALP-1990-GoldreichK #composition #on the #proving
On the Composition of Zero-Knowledge Proof Systems (OG, HK), pp. 268–282.
ICALPICALP-1990-LarsenX #composition #semantics
Compositionality Through an Operational Semantics of Contexts (KGL, LX), pp. 526–539.
LISPLFP-1990-DraghicescuP #analysis #composition
A Compositional Analysis of Evaluation-Order and Its Application (MD, SP), pp. 242–250.
CHICHI-1990-SchiphorstCLWG #composition #interactive #process #tool support
Tools for interaction with the creative process of composition (TS, TC, CL, CW, SG), pp. 167–174.
ICMLML-1990-Minton #composition #design
Issues in the Design of Operator Composition Systems (SM), pp. 304–312.
OOPSLAOOPSLA-ECOOP-1990-HelmHG #behaviour #composition #contract #named #object-oriented #specification
Contracts: Specifying Behavioural Compositions in Object-Oriented Systems (RH, IMH, DG), pp. 169–180.
CAVCAV-1990-GrafS #composition #finite
Compositional Minimization of Finite State Systems (SG, BS), pp. 186–196.
CAVCAV-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.
DACDAC-1989-JordanW #composition #named
COMP: A VHDL Composition System (PRJ, RDW), pp. 750–753.
SIGMODSIGMOD-1989-KimBG
Composite Objects Revisted (WK, EB, JFG), pp. 337–347.
FPCAFPCA-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.
ICMLML-1989-ThompsonL #concept #incremental
Incremental Concept Formation with Composite Objects (KT, PL), pp. 371–374.
ECOOPECOOP-1989-RajL #composition #reuse
A Compositional Model for Software Reuse (RKR, HML), pp. 3–24.
POPLPOPL-1989-GaifmanS #composition #logic programming #semantics #source code
Fully Abstract Compositional Semantics for Logic Programs (HG, EYS), pp. 134–142.
ICSEICSE-1989-AllenL #composition #development #knowledge-based
A Knowledge-Based Environment for the Development of Software Parts Composition Systems (BPA, SDL), pp. 104–112.
LICSLICS-1989-ClarkeLM #composition #model checking
Compositional Model Checking (EMC, DEL, KLM), pp. 353–362.
OOPSLAOOPSLA-1988-ScalettiJ #composition #interactive #music #object-oriented #synthesis
An Interactive Environment for Object-Oriented Music Composition and Sound Synthesis (CAS, REJ), pp. 222–233.
POPLPOPL-1988-BougeF #approach #composition
A Compositional Approach to Superimposition (LB, NF), pp. 240–249.
LICSLICS-1988-Dam #composition #concurrent #logic
Relevance Logic and Concurrent Composition (MD), pp. 178–185.
LICSLICS-1988-Winskel #composition #petri net #proving
A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) (GW), pp. 142–154.
OOPSLAOOPSLA-1987-GrossmanE #composition #interface #logic #object-oriented
Logical Composition of Object-Oriented Interfaces (MG, RKE), pp. 295–306.
OOPSLAOOPSLA-1987-KimBCGW #database #object-oriented
Composite Object Support in an Object-Oriented Database System (WK, JB, HTC, JFG, DW), pp. 118–125.
STOCSTOC-1986-LubyR #composition #encryption #generative #permutation #pseudo
Pseudo-random Permutation Generators and Cryptographic Composition (ML, CR), pp. 356–363.
ICALPICALP-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.
ICGTGG-1986-Parisi-PresicceEM #composition #graph grammar #unification
Graph rewriting with unification and composition (FPP, HE, UM), pp. 496–514.
SIGMODSIGMOD-1985-Otoo #multi
A Multidimensional Digital Hashing Scheme for Files With Composite Keys (EJO), pp. 214–229.
ICALPICALP-1985-Stirling #composition #proving #set
A Complete Compositional Model Proof System for a Subset of CCS (CS), pp. 475–486.
ICALPICALP-1985-ZwiersRB #composition #concurrent #network
Compositionality and Concurrent Networks: Soundness and Completeness of a Proofsystem (JZ, WPdR, PvEB), pp. 509–519.
SIGIRSIGIR-1985-Fox #bibliography #documentation #perspective #retrieval
Composite Document Extended Retrieval — An Overview (EAF), pp. 42–53.
STOCSTOC-1984-Gerth #composition #how #logic
Transition Logic: How to Reason About Temporal Properties in a Compositional Way (RG), pp. 39–50.
LISPLFP-1984-CointeR #composition #music #named #synthesis
Formes: an Object and Time Oriented System for Music Composition and Synthesis (PC, XR), pp. 85–95.
ICALPICALP-1983-LatteuxL #composition #morphism #on the
On the Composition of Morphisms and Inverse Morphisms (ML, JL), pp. 420–432.
POPLPOPL-1982-Pratt #composition #on the #process
On the Composition of Processes (VRP), pp. 213–223.
DACDAC-1980-MacdonaldPP #composition #documentation
Technical documentation by “MAGIC” (Machine Aided Graphics for Illustration and Composition (JBM, MKP, MJP), pp. 440–445.
VLDBVLDB-1977-TanakaT #composition #database #relational
Decomposition and Composition of a Relational Database (YT, TT), pp. 454–462.
ICALPICALP-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.
ICALPICALP-1974-Gecseg #automaton #composition
Composition of Automata (FG), pp. 351–363.
STOCSTOC-1972-OgdenR #composition #transducer
Compositions of n Tree Transducers (WFO, WCR), pp. 198–206.

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