63 papers:
- SIGMOD-2015-RuchanskyBGGK #problem
- The Minimum Wiener Connector Problem (NR, FB, DGS, FG, NK), pp. 1587–1602.
- LATA-2015-AutiliIMST #automation #specification #synthesis
- Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications (MA, PI, FM, RS, MT), pp. 3–24.
- CHI-2015-LernerFG #polymorphism #user interface
- Polymorphic Blocks: Formalism-Inspired UI for Structured Connectors (SL, SRF, WGG), pp. 3063–3072.
- DUXU-UI-2015-DuWDXJ #case study #metric #using
- Study on Operating Clearance Measurement of Some Connectors by Using Motion Capture (HD, LW, LD, YX, CJ), pp. 45–53.
- CBSE-2014-Slotos #specification
- A specification schema for software connectors (TS), pp. 139–148.
- ECSA-2014-BennaceurI #architecture #distributed
- Layered Connectors — Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems (AB, VI), pp. 283–299.
- WICSA-2014-BabazadehP #design #distributed #framework
- The Stream Software Connector Design Space: Frameworks and Languages for Distributed Stream Processing (MB, CP), pp. 1–10.
- SEKE-2014-BakerS #architecture #aspect-oriented #implementation
- Aspect-Oriented Secure Connectors for Implementation of Secure Software Architecture (CB, MS), pp. 187–192.
- ICSE-2014-MaozRR #component #modelling #verification
- Verifying component and connector models against crosscutting structural views (SM, JOR, BR), pp. 95–105.
- CHI-2013-DunneS #clique #network #readability #visualisation
- Motif simplification: improving network visualization readability with fan, connector, and clique glyphs (CD, BS), pp. 3247–3256.
- SAC-2013-OliveiraB #configuration management #on the
- On the reconfiguration of software connectors (NO, LSB), pp. 1885–1892.
- ESEC-FSE-2013-MaozRR #component #modelling #synthesis
- Synthesis of component and connector models from crosscutting structural views (SM, JOR, BR), pp. 444–454.
- ICSE-2013-InverardiT #automation #composition #protocol #synthesis
- Automatic synthesis of modular connectors via composition of protocol mediation patterns (PI, MT), pp. 3–12.
- WICSA-ECSA-2012-SuYZ #analysis #architecture #component #semantics
- Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles (GS, MY, CZ), pp. 151–160.
- SEKE-2012-ShinMGK #architecture
- Connectors for Secure Software Architectures (MES, BM, HG, TK), pp. 394–399.
- SAC-2012-KeshishzadehIM #automaton #framework #model checking
- A Büchi automata based model checking framework for reo connectors (SK, MI, AM), pp. 1536–1543.
- ECSA-2011-TizzeiR #architecture #case study #comparative #component #evolution #product line
- Aspect-Connectors to Support the Evolution of Component-Based Product Line Architectures: A Comparative Study (LPT, CMFR), pp. 59–66.
- SFM-2011-BaierKK #component #modelling #verification
- Modeling and Verification of Components and Connectors (CB, JK, SK), pp. 114–147.
- SFM-2011-InverardiST #synthesis
- Application-Layer Connector Synthesis (PI, RS, MT), pp. 148–190.
- SFM-2011-IssarnyBB #middleware #state of the art #synthesis
- Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability (VI, AB, YDB), pp. 217–255.
- ECSA-2010-KiwelekarJ10a #architecture #communication #concept analysis #identification
- Identifying Architectural Connectors through Formal Concept Analysis of Communication Primitives (AWK, RKJ), pp. 515–518.
- ECSA-2010-SpalazzeseI #component
- Mediating Connector Patterns for Components Interoperability (RS, PI), pp. 335–343.
- SPLC-2010-Elizondo #composition #development #using
- Using Composition Connectors to Support Software Asset Development (PVE), pp. 496–497.
- WICSA-ECSA-2009-KeulerW #architecture #design #synthesis
- Interaction-sensitive synthesis of architectural tactics in connector designs (TK, CW), pp. 321–324.
- WICSA-ECSA-2009-SpalazzeseII #formal method #on the fly #towards
- Towards a formalization of mediating connectors for on the fly interoperability (RS, PI, VI), pp. 345–348.
- ICEIS-DISI-2009-AmiratO #architecture #first-order #metamodelling #named
- C3: A Metamodel for Architecture Description Language based on First-order Connector Types (AA, MO), pp. 76–81.
- CBSE-2008-ArbabM #interactive #specification #synthesis
- Synthesis of Connectors from Scenario-Based Interaction Specifications (FA, SM), pp. 114–129.
- SEFM-2008-IzadiBC #component #modelling
- Modeling Component Connectors: Synchronisation and Context-Dependency (MI, MMB, DC), pp. 303–312.
- GT-VMT-2008-KoehlerCPA #configuration management #data flow
- Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).
- MoDELS-2008-GutheilKA #approach #modelling #multi
- A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.
- MoDELS-2008-GutheilKA #approach #modelling #multi
- A Systematic Approach to Connectors in a Multi-level Modeling Environment (MG, BK, CA), pp. 843–857.
- ECSA-2007-FuentesGPV #architecture #using
- Using Connectors to Model Crosscutting Influences in Software Architectures (LF, NG, MP, JAV), pp. 292–295.
- ECSA-2007-Kjaer #architecture #prototype
- First Class Connectors for Prototyping Service Oriented Architectures (KEK), pp. 171–178.
- WICSA-2007-BhutaMMB #architecture #assessment #component #framework
- A Framework for the Assessment and Selection of Software Components and Connectors in COTS-Based Architectures (JB, CM, NM, BWB), p. 6.
- ASE-2007-UbayashiST #architecture #aspect-oriented #component #weaving
- An aspect-oriented weaving mechanism based on component and connector architecture (NU, AS, TT), pp. 154–163.
- ICEIS-EIS-2007-AoumeurSB #architecture #component #information management #interactive #petri net #weaving
- Dynamic Interaction of Information Systems — Weaving Architectural Connectors on Component Petri Nets (NA, GS, KB), pp. 152–158.
- SAC-2007-SchreinerG #component #embedded #modelling #uml
- Modeling component based embedded systems applications with explicit connectors in UML 2.0 (DS, KMG), pp. 1494–1495.
- ASE-2006-Mattmann #data-driven #distributed
- Software Connectors for Highly Distributed and Voluminous Data Intensive Systems (CM), pp. 331–334.
- FM-2006-Pavlovic #development #protocol
- Connector-Based Software Development: Deriving Secure Protocols (DP), pp. 598–599.
- SEKE-2006-ChenLC #programming language
- Supporting Connector in Programming Language (BC, ZL, HC), pp. 369–374.
- CBSE-2005-LauEW #component
- Exogenous Connectors for Software Components (KKL, PVE, ZW), pp. 90–106.
- WICSA-2005-HepnerG #integration
- Establishing Connectors as Integration Services (MH, RFG), pp. 280–284.
- GTTSE-2005-HeuzerothATK #aspect-oriented #composition #injection
- The COMPOST, COMPASS, Inject/J and RECODER Tool Suite for Invasive Software Composition: Invasive Composition with COMPASS Aspect-Oriented Connectors (DH, UA, MT, VK), pp. 357–377.
- CBSE-2004-MinCK #component #off the shelf #problem #using
- Using Smart Connectors to Resolve Partial Matching Problems in COTS Component Acquisition (HGM, SWC, SDK), pp. 40–47.
- SEFM-2004-ArbabBBR #component #logic #modelling
- Models and Temporal Logics for Timed Component Connectors (FA, CB, FSdB, JJMMR), pp. 198–207.
- SEKE-2004-KhammaciSO #architecture #component
- Active Connectors for Component-Object based Software Architecture (TK, AS, MO), pp. 346–349.
- SFM-2003-Garlan #analysis #architecture #component #formal method #modelling
- Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events (DG), pp. 1–24.
- ECOOP-2003-AldrichSCN #abstraction
- Language Support for Connector Abstractions (JA, VS, CC, DN), pp. 74–102.
- ICSE-2003-SpitznagelG #composition #formal method
- A Compositional Formalization of Connector Wrappers (BS, DG), pp. 374–384.
- CBSE-2003-InverardiT #assembly #component #composition #synthesis
- A compositional synthesis of failure-free connectors for correct components assembly (PI, MT), p. 17.
- DocEng-2002-Muchaluat-SaadeRS #multi #named
- XConnector: extending XLink to provide multimedia synchronization (DCMS, RFR, LFGS), pp. 49–56.
- WICSA-2001-SpitznagelG #approach #composition
- A Compositional Approach for Constructing Connectors (BS, DG), pp. 148–157.
- ASE-2001-InverardiS #architecture #component #concurrent #synthesis
- Connectors Synthesis for Deadlock-Free Component-Based Architectures (PI, SS), p. 174–?.
- FME-2001-Pahl #component #contract #modelling #uml
- Components, Contracts, and Connectors for the Unified Modelling Language UML (CP), pp. 259–277.
- SEKE-2001-MedvidovicGEB #lifecycle #modelling
- Software Model Connectors: Bridging Models across the Software Lifecycle (NM, PG, AE, BWB), pp. 387–396.
- ESEC-FSE-2001-InverardiT #automation #concurrent #synthesis
- Automatic synthesis of deadlock free connectors for COM/DCOM applications (PI, MT), pp. 121–131.
- TOOLS-EUROPE-2000-AssmannBG #metaprogramming
- Meta-Programming Grey-Box Connectors (UA, HB, TG), pp. 300–311.
- ICSE-2000-MehtaMP #taxonomy #towards
- Towards a taxonomy of software connectors (NRM, NM, SP), pp. 178–187.
- ICSE-1999-DashofyMT #architecture #distributed #middleware #off the shelf #using
- Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures (EMD, NM, RNT), pp. 3–12.
- TOOLS-ASIA-1997-TaiB #corba #modelling
- Connectors for Modeling Object Relations in CORBA-based Systems (ST, SB), pp. 266–277.
- ESEC-FSE-1997-DucasseR #design #execution #reuse #towards
- Executable Connectors: Towards Reusable Design Elements (SD, TR), pp. 483–499.
- DAC-1990-AdamiakAPRW #simulation
- System Simulation of Printed Circuit Boards Including Packages and Connectors (KA, RA, JP, CR, AW), pp. 413–418.
- STOC-1983-DolevDPW
- Superconcentrators, Generalizers and Generalized Connectors with Limited Depth (Preliminary Version) (DD, CD, NP, AW), pp. 42–51.