Search results for "connectors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Bridget Spitznagel, David Garlan	A Compositional Approach for Constructing Connectors.	WICSA	2001	DBLP DOI BibTeX RDF
28	Paola Inverardi, Massimo Tivoli	Automatic synthesis of deadlock free connectors for COM/DCOM applications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF
28	Alexander Egyed, Nikunj R. Mehta, Nenad Medvidovic	Software Connectors and Refinement in Family Architectures.	IW-SAPF	2000	DBLP DOI BibTeX RDF
21	Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, François Terrier	Generating execution infrastructures for component-oriented specifications with a model driven toolchain: a case study for MARTE's GCM and real-time annotations.	GPCE	2009	DBLP DOI BibTeX RDF	middleware, model-driven engineering, component models, connectors, MARTE
21	Juan Manuel Serrano, Sergio Saugar	Operational semantics of multiagent interactions.	AAMAS	2007	DBLP DOI BibTeX RDF	social interactions, operational semantics, software connectors
21	Thomas D. LaToza	Using architecture to change code: studying information needs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	changes tasks, components and connectors, empirical study, design decisions, breakdowns
21	Christoph Stoermer, Liam O'Brien, Chris Verhoef	Architectural Views through Collapsing Strategies.	IWPC	2004	DBLP DOI BibTeX RDF	Components and Connectors, Multi-Collapsing, Viewtypes, Viewstyles, Architecture, Aggregation, Modules, View, Architecture Reconstruction, Collapsing
21	Zièd Choukair	Composition and Customization of Multimedia Telecoms Services.	AINA	2003	DBLP DOI BibTeX RDF	virtual Bouquet, behavioral aspects, composition, connectors
21	Mario Kupries, Erika Horn	An Architecture-Based Approach Substantiating Interagent Connections in Platforms.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF	platform services, object-orientation, connectors, Architecture modeling
21	Thomas Genssler, Welf Löwe	Correct Composition of Distributed Systems.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Aspect Separation, Components, Efficiency, Compatibility, Connectors
21	Omar Larouk	Linguistico-Statistical Approach and Logics Applied in Documentary System.	SAC	1993	DBLP DOI BibTeX RDF	logics, statistics, computational linguistic, connectors
20	Natallia Kokash, Christian Krause 0001, Erik P. de Vink	Data-aware design and verification of service compositions with Reo and mCRL2.	SAC	2010	DBLP DOI BibTeX RDF	mCRL2, verification, Reo, service-based systems
20	Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier	Connector-Driven Process for the Gradual Evolution of Component-Based Software.	Australian Software Engineering Conference	2009	DBLP DOI BibTeX RDF
20	Joseph Sifakis	Component-Based Construction of Heterogeneous Real-Time Systems in Bip.	Petri Nets	2009	DBLP DOI BibTeX RDF
20	David Hemer, Yulin Ding	Specifying Software Architectures Using a Formal-Based Approach.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	software architectures, formal languages
20	Nicolas Brener, Faïz Ben Amar, Philippe Bidaud	From crystals to lattice robots.	ICRA	2008	DBLP DOI BibTeX RDF
20	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki	A Formal Definition of Complex Software.	ICSEA	2008	DBLP DOI BibTeX RDF
20	Youcong Ni, Shi Ying, Jing Wen, Linlin Zhang, Peng Ye 0002, Jiajing Zhang	Study on Weaving Process at Software Architectural level.	APSCC	2008	DBLP DOI BibTeX RDF
20	Tim Dwyer, Kim Marriott, Michael Wybrow	Topology Preserving Constrained Graph Layout.	GD	2008	DBLP DOI BibTeX RDF
20	Anlin Wang, Liang Hu, Yingchao Fu, Tao Jiang 0060, Guangjun Liu	Failure Model of Fretting Wear Based on Self-Organizing Method.	FSKD (4)	2008	DBLP DOI BibTeX RDF
20	Chris Mattmann, David Woollard, Nenad Medvidovic	Exploiting connector knowledge to efficiently disseminate highly voluminous data sets.	SHARK	2008	DBLP DOI BibTeX RDF	DISCO, decision theory, data grid, software connector
20	Susanne Graf, Sophie Quinton	Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.	FORTE	2007	DBLP DOI BibTeX RDF
20	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Plug-and-Play Architectural Design and Verification.	WADS	2007	DBLP DOI BibTeX RDF
20	Radu Mateescu 0001, Flávio Oquendo	pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, formal development techniques, software architectures, property specification, property verification
20	William J. O'Brien, Joachim Hammer, Mohsin Siddiqui	From SEEKing Knowledge to Making Connections: Challenges, Approaches and Architectures for Distributed Process Integration.	EG-ICE	2006	DBLP DOI BibTeX RDF
20	Luc Fabresse, Christophe Dony, Marianne Huchard	Scl: A Simple, Uniform and Operational Language for Component-Oriented Programming in Smalltalk.	ISC	2006	DBLP DOI BibTeX RDF	unanticipated composition, component property, connector, component-oriented programming
20	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Architectural Building Blocks for Plug-and-Play System Design.	CBSE	2006	DBLP DOI BibTeX RDF
20	Kung-Kiu Lau, Faris M. Taweel	Towards Encapsulating Data in Component-Based Software Systems.	CBSE	2006	DBLP DOI BibTeX RDF
20	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Verification support for plug-and-play architectural design.	ROSATEA	2006	DBLP DOI BibTeX RDF
20	Kung-Kiu Lau, Vladyslav Ukis	Automatic Control Flow Generation from Software Architectures.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
20	Timothy Chklovski, Varun Ratnakar, Yolanda Gil	User interfaces with semi-formal representations: a study of designing argumentation structures.	IUI	2005	DBLP DOI BibTeX RDF	meaning decomposition, semi-formal representations, decision-making, argumentation, natural language understanding
20	Xin Peng 0001, Wenyun Zhao, Liang Zhang, Yijian Wu	An Intelligent Connector Based Framework for Dynamic Architecture.	CIT	2005	DBLP DOI BibTeX RDF
20	Swapna S. Gokhale, Sherif M. Yacoub	Performability Analysis of a Pipeline Software Architecture.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
20	Michael Wybrow, Kim Marriott, Peter J. Stuckey	Incremental Connector Routing.	GD	2005	DBLP DOI BibTeX RDF
20	Wim Vanderperren, Davy Suvée, Bart Verheecke, María Agustina Cibrán, Viviane Jonckers	Adaptive programming in JAsCo.	AOSD	2005	DBLP DOI BibTeX RDF	JAsCo, adaptive programming, aspect-oriented software development, component-based software development
20	Theophilos A. Limniotes, George A. Papadopoulos, Farhad Arbab	Web Services: separation of concerns: computation coordination communication.	SAC	2004	DBLP DOI BibTeX RDF
20	G. Zayaraz 0001, P. Thambidurai, S. Kuppuswami, Paul Rodrigues 0002	New approach to software architecture.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	Vastushastra, quality trade-off, software architecture, patterns
20	Katerina Goseva-Popstojanova, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Diaa Eldin M. Nassar, Hany H. Ammar, Ali Mili 0001	Architectural-Level Risk Analysis Using UML.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	dynamic complexity, dynamic coupling, severity of failure, software architecture, Markov model, Risk assessment, UML specification
20	Nenad Medvidovic	On the role of middleware in architecture-based software development.	SEKE	2002	DBLP DOI BibTeX RDF
20	Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo	A Formal Method for Analyzing Software Architecture Models in SAM.	COMPSAC	2002	DBLP DOI BibTeX RDF	verification, Software architecture, Petri net, temporal logic, SAM
20	Jeremy Gibbons	Towards a Colimit-Based Semantics for Visual Programming.	COORDINATION	2002	DBLP DOI BibTeX RDF
20	Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin	Architecture-centric programming for adaptive systems.	WOSS	2002	DBLP DOI BibTeX RDF
20	Rogério de Lemos	A Co-Operative Object-Oriented Architecture for Adaptive Systems.	ECBS	2000	DBLP DOI BibTeX RDF	collaborations, software architectures, objects, formal models, architectural styles, run-time adaptability
20	Michihiro Matsumoto, Kokichi Futatsugi	Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification.	ICFEM	2000	DBLP DOI BibTeX RDF
20	Enric Plaza, Josep Lluís Arcos	Towards a Software Architecture for Case-Based Reasoning Systems.	ISMIS	2000	DBLP DOI BibTeX RDF
20	Michihiro Matsumoto, Kokichi Futatsugi	The support tool for highly reliable component-based software development.	APSEC	2000	DBLP DOI BibTeX RDF	reliable component-based software development support tool, output reliability, automated refinement verification, automated connector generation, tree architecture, projection-style behavioral specification, refined specification, component combination, Java, software architecture, formal specification, formal verification, software tools, software reliability, requirements specification, subroutines, distributed object management, JavaBeans, development systems, component-based software architecture
20	Michael M. Gorlick	Electric Suspenders: A Fabric Power Bus and Data Network for Wearable Digital Devices.	ISWC	1999	DBLP DOI BibTeX RDF	conductive fabric, wearable power bus, PAN, personal area network
20	Peter Fritzson, Vadim Engelson	Modelica - A Unified Object-Oriented Language for System Modelling and Simulation.	ECOOP	1998	DBLP DOI BibTeX RDF
20	Robert Allen, David Garlan	A Formal Basis for Architectural Connection.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	WRIGHT, module interconnection, model-checking, formal models, software analysis
20	Jeff Magee, Jeff Kramer	Dynamic Structure in Software Architectures.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF
20	Jean-Yves Girard 0001, Yves Lafont	Linear Logic and Lazy Computation.	TAPSOFT, Vol.2	1987	DBLP DOI BibTeX RDF
18	Hailong Yang, Yinghao Liu, Tian Xia	Defect Detection Scheme of Pins for Aviation Connectors Based on Image Segmentation and Improved RESNET-50.	Int. J. Image Graph.	2024	DBLP DOI BibTeX RDF
18	Anna Gieß, Marius Johannes Hupperz, Thorsten Schoormann, Frederik Möller	What Does it Take to Connect? Unveiling Characteristics of Data Space Connectors.	HICSS	2024	DBLP BibTeX RDF
18	Hengzhe Li, Huayue Liu, Jianbing Liu, Yaping Mao	Edge-Disjoint Steiner Trees and Connectors in Graphs.	Graphs Comb.	2023	DBLP DOI BibTeX RDF
18	Mahmoud Hosseinpour, Maryam Daei, Mehran Zeynalian, Abdolreza Ataei	Neural networks-based formulation for predicting ultimate strength of bolted shear connectors in composite cold-formed steel beams.	Eng. Appl. Artif. Intell.	2023	DBLP DOI BibTeX RDF
18	Ashvin Nair, Brian Zhu, Gokul Narayanan, Eugen Solowjow, Sergey Levine	Learning on the Job: Self-Rewarding Offline-to-Online Finetuning for Industrial Insertion of Novel Connectors from Vision.	ICRA	2023	DBLP DOI BibTeX RDF
18	Michal Bodziony, Robert Wrembel	Data Source Connectors Layer as a Service - Design Patterns.	DOLAP	2023	DBLP BibTeX RDF
18	Francisco Yumbla, Juan Medrano, Tuan Anh Luong 0001, Sungwon Seo, Jeongmin Jeon, Hyungpil Moon	Wire Harness Connectors Mating Process by Dual-Arm Co-Manipulation Using Maximum Manipulability.	CASE	2023	DBLP DOI BibTeX RDF
18	Yuming Liu, Jordi-Roger Riba, Manuel Moreno-Eguilaz, Josep Sanllehi	Denoising of Online Resistance Measurements of Power Connectors for IoT Applications.	IECON	2023	DBLP DOI BibTeX RDF
18	Lijun Tong, Xiang Li, Zheng Kong, Qinghua Wang, Xiang Wang	Research on PIM Characteristics of High-Power RF Connectors.	CNML	2023	DBLP DOI BibTeX RDF
18	Joshua S. Benjestorf	Nonlinear Compensation in Wireless Power Transfer Topologies with Application to Contactless Connectors for Consumer Electronics.	ICCE	2023	DBLP DOI BibTeX RDF
18	Alper Tolga Kocatas	Enhancing UML ports and connectors to increase the reusability and performance of avionics software (Aviyonik yazılım performansını ve tekrar kullanılabilirliğini artırmak için UML kapı ve bağlayıcılarını iyileştirme yöntemleri)		2023	RDF
18	Faisal Nabi	Social Interaction With Software Connectors and the Function of Facade Component in Secure Application Logic.	Int. J. Softw. Innov.	2022	DBLP DOI BibTeX RDF
18	Yuliang Zhao, Jian Li 0063, Qingyu Zhang, Chao Lian, Peng Shan, Chengzhong Yu, Zhishuai Jiang, Zengshuai Qiu	Simultaneous Detection of Defects in Electrical Connectors Based on Improved Convolutional Neural Network.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
18	Marrone Silvério Melo Dantas, Pedro Henrique Dreyer Leuchtenberg, Gabriel Fonseca Reis de Souza, Daniel Bezerra, Ricardo S. Souza, Silvia Lins, Judith Kelner, Djamel Fawzi Hadj Sadok	Faulty RJ45 connectors detection on radio base station using deep learning.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
18	Marrone Dantas, Pedro Dreyer, Daniel Bezerra, Gabriel Reis, Ricardo S. Souza, Silvia Lins, Judith Kelner, Djamel Sadok	Video object segmentation for automatic image annotation of ethernet connectors with environment mapping and 3D projection.	Multim. Tools Appl.	2022	DBLP DOI BibTeX RDF
18	Atsutake Kosuge, Mototsugu Hamada, Tadahiro Kuroda	A 6.5Gb/s Shared Bus Using Electromagnetic Connectors for Downsizing and Lightening Satellite Processor System.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2022	DBLP DOI BibTeX RDF
18	Sushil Doranga, Jenny Zhou, Ram Poudel	Influence of Printed Circuit Board Dynamics on the Fretting Wear of Electronic Connectors: A Dynamic Analysis Approach.	J. Electron. Test.	2022	DBLP DOI BibTeX RDF
18	Ashvin Nair, Brian Zhu, Gokul Narayanan, Eugen Solowjow, Sergey Levine	Learning on the Job: Self-Rewarding Offline-to-Online Finetuning for Industrial Insertion of Novel Connectors from Vision.	CoRR	2022	DBLP DOI BibTeX RDF
18	Christina Chrysovalanti Fountoukidou, Maria Pittou	A formal algebraic approach for the quantitative modeling of connectors in architectures.	CoRR	2022	DBLP BibTeX RDF
18	Kiyoshi Kamimura, Yuki Fujimaki, Haruki Hoshikawa, Kazuki Imaizumi, Kazuya Izawa, Ryo Nagase	Return Loss Measurement Procedure for Multicore Fiber Connectors.	IEICE Trans. Electron.	2022	DBLP DOI BibTeX RDF
18	Stijn Wielandt, Sebastian Uhlemann, Sylvain Fiolleau, Baptiste Dafflon	Low-Power, Flexible Sensor Arrays with Solderless Board-to-Board Connectors for Monitoring Soil Deformation and Temperature.	Sensors	2022	DBLP DOI BibTeX RDF
18	Christina Chrysovalanti Fountoukidou, Maria Pittou	A Formal Algebraic Approach for the Quantitative Modeling of Connectors in Architectures.	CAI	2022	DBLP DOI BibTeX RDF
18	Jennifer Padilla-Triveno, Juan Carlos Quiroz-Flores	Lean Production Model to Increase Equipment Availability in the Manufacturing Process of Gas Hose Connectors in Metalworking SMEs.	ICIBE	2022	DBLP DOI BibTeX RDF
18	Sébastien Maranzana, Nedjwa Elafri, Rose Bertrand	Characterization of Integrated Lean Tools, Adapted to the Upstream Phase of the Product Life Cycle of Stäubli Electrical Connectors SAS.	PLM	2022	DBLP DOI BibTeX RDF
18	Miguel A. Iñigo, Jon Legaristi, Felix Larrinaga, Alain Perez, Javier Cuenca 0002, Blanca Kremer, Elena Montejo, Alain Porto	Towards Standardized Manufacturing as a Service through Asset Administration Shell and International Data Spaces Connectors.	IECON	2022	DBLP DOI BibTeX RDF
18	Boubou Thiam Niang, Giacomo Kahn, Nawel Amokrane, Yacine Ouzrout, Hamza Sahli, Mustapha Derras, Jannik Laval	Automatic Generation of Interoperability Connectors using Software Product Lines Engineering.	ICSOFT	2022	DBLP DOI BibTeX RDF
18	Michael E. Shin, Taeghyun Kang, Hassan Gomaa	Secure Software Architectural Patterns Designed with Secure Connectors.	ICSOFT	2022	DBLP DOI BibTeX RDF
18	Alper Tolga Kocatas, Ali Hikmet Dogru	Enhancing UML Connectors with Behavioral Specifications.	SERA	2022	DBLP DOI BibTeX RDF
18	Jie Liu, Randy McClure, Qi Wu, Weijun Niu, Matthew R. Drake, Joseph E. McCarthy, Jeffery S. Stone, Yunfeng Gu, Ming-Jun Li	Stripping-Free Direct Fiber Insertion Connectors Using Thin-Coated Optical Fibers.	OFC	2022	DBLP BibTeX RDF
18	Danniar Reza Firdausy, Patrício de Alencar Silva, Marten van Sinderen, Maria-Eugenia Iacob	Semantic Discovery and Selection of Data Connectors in International Data Spaces.	I-ESA Workshops	2022	DBLP BibTeX RDF
18	Harish Manjunath Navale, Sedig S. Agili, Aldo W. Morales, Anil Attaluri	A Material Selection Method for High Frequency Connectors.	ICCE	2022	DBLP DOI BibTeX RDF
18	Fei Deng, Timothy V. Rasinski	A Computer Corpus-Based Study of Chinese EFL Learners' Use of Adverbial Connectors and Its Implications for Building a Language-Based Learning Environment.	ACM Trans. Asian Low Resour. Lang. Inf. Process.	2021	DBLP DOI BibTeX RDF
18	Shufei Li, Pai Zheng, Lianyu Zheng	An AR-Assisted Deep Learning-Based Approach for Automatic Inspection of Aviation Connectors.	IEEE Trans. Ind. Informatics	2021	DBLP DOI BibTeX RDF
18	Mahdi Shariati, Mohammad Saeed Mafipour, Peyman Mehrabi, Ali Shariati, Ali Toghroli, Trung Nguyen-Thoi, Musab N. A. Salih	A novel approach to predict shear strength of tilted angle connectors using artificial intelligence techniques.	Eng. Comput.	2021	DBLP DOI BibTeX RDF
18	Vykintas Samaitis, Liudas Mazeika, Audrius Jankauskas, Regina Rekuviene	Detection and Localization of Partial Discharge in Connectors of Air Power Lines by Means of Ultrasonic Measurements and Artificial Intelligence Models.	Sensors	2021	DBLP DOI BibTeX RDF
18	Jordi-Roger Riba, Álvaro Gómez-Pau, Jimmy Arturo Martinez, Manuel Moreno-Eguilaz	On-Line Remaining Useful Life Estimation of Power Connectors Focused on Predictive Maintenance.	Sensors	2021	DBLP DOI BibTeX RDF
18	Imre Horváth	Connectors of smart design and smart systems.	Artif. Intell. Eng. Des. Anal. Manuf.	2021	DBLP DOI BibTeX RDF
18	Primoz Radanovic, Jaka Jereb, Igor Kovac, Ales Ude	Design of a Modular Robotic Workcell Platform Enabled by Plug & Produce Connectors.	ICAR	2021	DBLP DOI BibTeX RDF
18	Nabor C. Mendonça, Carlos M. Aderaldo	Towards First-Class Architectural Connectors: The Case for Self-Adaptive Service Meshes.	SBES	2021	DBLP DOI BibTeX RDF
18	Michael E. Shin, Taeghyun Kang, Hassan Gomaa	Design of Secure Connectors for Complex Message Communications in Software Architecture.	ESSE	2021	DBLP DOI BibTeX RDF
18	Henry T. Lancashire, Maryam Habibollahi, Dai Jiang, Andreas Demosthenous	Evaluation of Commercial Connectors for Active Neural Implants.	NER	2021	DBLP DOI BibTeX RDF
18	Francisco Yumbla, June-Sup Yi, Meseret Abayebas, Mahir Shafiyev, Hyungpil Moon	Tolerance dataset: mating process of plug-in cable connectors for wire harness assembly tasks.	Intell. Serv. Robotics	2020	DBLP DOI BibTeX RDF
18	Weihao Wu, Qing Li 0030	Machine Vision Inspection of Electrical Connectors Based on Improved Yolo v3.	IEEE Access	2020	DBLP DOI BibTeX RDF
18	Xiong Chen, Yongning He, Ming Yu 0008, David J. Pommerenke, Jun Fan 0001	Empirical Modeling of Contact Intermodulation Effect on Coaxial Connectors.	IEEE Trans. Instrum. Meas.	2020	DBLP DOI BibTeX RDF
18	Gerald Kettlgruber, Doris Danninger, Richard Moser, Michael Drack, Christian M. Siket, Daniela Wirthl, Florian Hartmann, Guoyong Mao, Martin Kaltenbrunner, Siegfried Bauer	Stretch-Safe: Magnetic Connectors for Modular Stretchable Electronics.	Adv. Intell. Syst.	2020	DBLP DOI BibTeX RDF
18	Gerald Kettlgruber, Doris Danninger, Richard Moser, Michael Drack, Christian M. Siket, Daniela Wirthl, Florian Hartmann, Guoyong Mao, Martin Kaltenbrunner, Siegfried Bauer	Stretch-Safe: Magnetic Connectors for Modular Stretchable Electronics.	Adv. Intell. Syst.	2020	DBLP DOI BibTeX RDF
18	Ouassim Manout, Patrick Bonnel, François Pacull	The impact of centroid connectors on transit assignment outcomes.	Public Transp.	2020	DBLP DOI BibTeX RDF
18	Yanyan Luo, Zhaopan Zhang, Xiongwei Wu, Jingyuan Su	Identification and Sensing of Wear Debris Caused by Fretting Wear of Electrical Connectors.	IEICE Trans. Electron.	2020	DBLP DOI BibTeX RDF
18	Qunpo Liu, Manli Wang, Gaowei Wang, Ruxin Gao, Naohiko Hanajima	Detection Algorithm of Porosity Defect on Surface of Micro-precision Glass Encapsulated Electrical Connectors.	J. Robotics Netw. Artif. Life	2020	DBLP DOI BibTeX RDF