Search results for "connectors"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina	Ada-CCM: Component-Based Technology for Distributed Real-Time Systems.	CBSE	2008	DBLP DOI BibTeX RDF	embedded systems, real-time, Ada 2005, OMG, Component-based
10	Sara NavidPour, Mohammad Izadi, Ali Movaghar 0001	Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps.	COMPSAC	2008	DBLP DOI BibTeX RDF
10	Sam Malek	Dealing with the Crosscutting Structure of Software Architectural Styles.	COMPSAC	2008	DBLP DOI BibTeX RDF	Software Architecture, Middleware, Aspect-Oriented Programming, Architectural Style
10	Tim Dwyer, Kim Marriott, Michael Wybrow	Dunnart: A Constraint-Based Network Diagram Authoring Tool.	GD	2008	DBLP DOI BibTeX RDF
10	Thaís Vasconcelos Batista, Antônio Tadeu A. Gomes, Geoff Coulson, Christina Chavez, Alessandro Garcia 0001	On the Interplay of Aspects and Dynamic Reconfiguration in a Specification-to-Deployment Environment.	ECSA	2008	DBLP DOI BibTeX RDF	Dynamic reconfiguration, Architecture description language, Aspect-oriented software development, Component-based software
10	Patrick H. S. Brito, Rogério de Lemos, Cecília M. F. Rubira	Development of Fault-Tolerant Software Systems Based on Architectural Abstractions.	ECSA	2008	DBLP DOI BibTeX RDF
10	Daniel Biella, Wolfram Luther	A Parameterizable Framework for Replicated Experiments in Virtual 3D Environments.	WEBIST (Selected Papers)	2008	DBLP DOI BibTeX RDF	Modeling of virtual 3D environments, Code reusability, Parameterizable framework, Metadata standards, Metadata editing, Automated code generation
10	Steffen Becker 0001	Coupled model transformations.	WOSP	2008	DBLP DOI BibTeX RDF	mda, platform completions, performance prediction, model-driven software development
10	Stefano Bistarelli, Francesco Santini 0001	Soft Constraints for Dependable Service Oriented Architectures.	WADS	2008	DBLP DOI BibTeX RDF
10	Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor	Runtime software adaptation: framework, approaches, and styles.	ICSE Companion	2008	DBLP DOI BibTeX RDF	software architecture, software evolution, autonomic computing, architectural styles, software adaptation
10	Mila E. Majster-Cederbaum, Christoph Minnameier	Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets.	SOFSEM	2008	DBLP DOI BibTeX RDF
10	Kyller Costa Gorgônio, Jordi Cortadella	Hardware Synthesis for Asynchronous Communications Mechanisms.	SCCC	2008	DBLP DOI BibTeX RDF
10	Patricia López Martínez, José M. Drake, Pablo Pacheco, Julio L. Medina	An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications.	Ada-Europe	2008	DBLP DOI BibTeX RDF	Component-based technology, OMG standards, embedded systems, realtime, Ada 2005
10	Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Ulrike Prange	Consistent Integration of Models Based on Views of Visual Languages.	FASE	2008	DBLP DOI BibTeX RDF
10	R. Senthil, Dharmender Singh Kushwaha, Arun Kumar Misra	An improved component model for component based software engineering.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	interfaces, composition, pattern, software components, encapsulation, component-based software engineering
10	Ruzanna Chitchyan, Mónica Pinto, Awais Rashid, Lidia Fuentes	COMPASS: Composition-Centric Mapping of Aspectual Requirements to Architecture.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF	requirements to architecture mapping, requirements composition, architecture composition, requirements engineering, aspect-oriented software development, architecture design, early aspects
10	Donggang Cao, Hong Mei 0001, Minghui Zhou 0001	Supporting crosscutting concern modelling in software architecture design.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	software architecture, aspect, connector, crosscutting concern
10	Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis	Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.	NCA	2007	DBLP DOI BibTeX RDF
10	Tomás Bures, Martin Decký, Petr Hnetynka, Jan Kofron, Pavel Parízek, Frantisek Plásil, Tomás Poch, Ondrej Sery, Petr Tuma 0001	CoCoME in SOFA.	CoCoME	2007	DBLP DOI BibTeX RDF
10	Aditya N. Das, Ping Zhang, Woo Ho Lee, Dan O. Popa, Harry E. Stephanou	µ3: Multiscale, Deterministic Micro-Nano Assembly System for Construction of On-Wafer Microrobots.	ICRA	2007	DBLP DOI BibTeX RDF
10	Takuro Fukunaga, Hiroshi Nagamochi	The Set Connector Problem in Graphs.	IPCO	2007	DBLP DOI BibTeX RDF
10	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
10	Makoto Ishitsuka, Kazuo Ishii	Modularity development and control of an underwater manipulator for AUV.	IROS	2007	DBLP DOI BibTeX RDF
10	Nima Haghpanah, Shahrouz Moaven, Jafar Habibi, Mehdi Kargar, Soheil Hassas Yeganeh	Approximation Algorithms for Software Component Selection Problem.	APSEC	2007	DBLP DOI BibTeX RDF
10	Sjoerd Meijer, Bart Kienhuis, Johan Walters, David Snuijf	Automatic partitioning and mapping of stream-based applications onto the Intel IXP Network processor.	SCOPES	2007	DBLP DOI BibTeX RDF
10	Ralf Wagner 0002, Bernhard Mitschang	Flexible Reuse of Middleware Infrastructures in Heterogeneous IT Environments.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
10	Arvind W. Kiwelekar, Rushikesh K. Joshi	Extracting High-level Component-Connector View from Detailed UML Models: A Case Study.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
10	Osama E. S. El-Hassan, José Luiz Fiadeiro, Reiko Heckel	Managing Socio-technical Interactions in Healthcare Systems.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF
10	Mohammad Izadi, Ali Movaghar 0001	Compositional failure-based semantic equivalences for Reo specifications.	SAVCBS	2007	DBLP DOI BibTeX RDF	Reo specification language, failure-based equivalences, semantics, coordination, component-based systems, constraint automata
10	Bahman Pourvatan, Nima Rouhy	An Alternative Algorithm for Constraint Automata Product.	FSEN	2007	DBLP DOI BibTeX RDF	Constraint Automata Product, Reo, Constraint Automata
10	Tiffany C. Vance, N. Merati, Sharon M. Mesick, C. W. Moore, Dawn J. Wright	GeoModeler: tightly linking spatially-explicit models and data with a GIS for analysis and geovisualization.	GIS	2007	DBLP DOI BibTeX RDF	3-D spatial modeling, scientific models, spatial and temporal visualization and analysis, GIS, geovisualization, oceanography
10	Mohammad Mahdi Jaghoori	Coordinating Object Oriented Components Using Data-Flow Networks.	FMCO	2007	DBLP DOI BibTeX RDF
10	Dave Clarke 0001	Coordination: Reo, Nets, and Logic.	FMCO	2007	DBLP DOI BibTeX RDF
10	Patrick Henrique da S. Brito, Rogério de Lemos, Eliane Martins, Cecília M. F. Rubira	Architecture-Centric Fault Tolerance with Exception Handling.	LADC	2007	DBLP DOI BibTeX RDF
10	Hiromasa Chigusa, Yasutoshi Makino, Hiroyuki Shinoda	Large Area Sensor Skin based on Two-Dimensional Signal Transmission Technology.	WHC	2007	DBLP DOI BibTeX RDF
10	Tomás Bures, Petr Hnetynka, Frantisek Plásil, Jan Klesnil, Ondrej Kmoch, Tomas Kohan, Pavel Kotrc	Runtime Support for Advanced Component Concepts.	SERA	2007	DBLP DOI BibTeX RDF
10	Gemma Grau, Xavier Franch	A Goal-Oriented Approach for the Generation and Evaluation of Alternative Architectures.	ECSA	2007	DBLP DOI BibTeX RDF
10	Jon Oldevik, Øystein Haugen	Architectural Aspects in UML.	MoDELS	2007	DBLP DOI BibTeX RDF
10	Dong Xu, Hua Wang, Qiming Teng, Xiangqun Chen	Towards a Software Framework for Building Highly Flexible Component-Based Embedded Operating Systems.	EUC	2007	DBLP DOI BibTeX RDF
10	Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier	A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
10	Ralf Wagner 0002, Bernhard Mitschang	Enhancing Middleware Functionality by Virtualizing Adapters.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	adapter, Middleware, integration, virtualization, reuse
10	Kallol Borah	Indus: an object oriented language for Ubiquitous computing.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	wireless sensor networks, distributed systems, ad hoc networks, software agents, adaptive systems
10	Roman Obermaisser	Reuse of CAN-Based Legacy Applications in Time-Triggered Architectures.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
10	Ofer Margoninski, Peter Saffrey, James Hetherington, Anthony Finkelstein, Anne Warner	A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.	Trans. Comp. Sys. Biology	2006	DBLP DOI BibTeX RDF
10	Flávio Oquendo	Formally modelling software architectures with the UML 2.0 profile for pi-ADL.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	?-ADL, UML 2.0 profile, architecture description language, software architecture modelling
10	Peter Tabeling, Rasmus Hofmann	A Prototypical Platform for Architecture Oriented Development.	ECBS	2006	DBLP DOI BibTeX RDF	FundamentalModeling Concepts, Software architecture, transactions, inheritance, polymorphism, encapsulation, data consistency, STAGE, FMC
10	Mark Moll, Peter M. Will, Maks Krivokon, Wei-Min Shen	Distributed Control of the Center of Mass of a Modular Robot.	IROS	2006	DBLP DOI BibTeX RDF
10	Semih Cetin, N. Ilker Altintas, Cevat Sener	An Architectural Modeling Approach with Symmetric Alignment of Multiple Concern Spaces.	ICSEA	2006	DBLP DOI BibTeX RDF
10	Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis	Ensuring Properties of Interaction Systems.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
10	Roman Obermaisser	Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol.	Monterey Workshop	2006	DBLP DOI BibTeX RDF
10	Kamran Sartipi, Lingdong Ye, Hossein Safyallah	Alborz: An Interactive Toolkit to Extract Static and Dynamic Views of a Software System.	ICPC	2006	DBLP DOI BibTeX RDF
10	David W. Krumme, Eynat Rafalin, Diane L. Souvaine, Csaba D. Tóth	Tight bounds for connecting sites across barriers.	SCG	2006	DBLP DOI BibTeX RDF	spanning trees, crossing number
10	Biao Qin, Shan Wang 0001, Xiaoyong Du 0001	A Framework for Query Reformulation Between Knowledge Base Peers.	WAIM	2006	DBLP DOI BibTeX RDF
10	Hans Albrecht Schmid	Service Congestion: The Problem, and an Optimized Service Composition Architecture as a Solution.	ICWS	2006	DBLP DOI BibTeX RDF	service congestion, optimized service composition architecture, Web service invocation overhead, Web service, performance, SOA, component, throughput, service composition, response time, connector
10	Eric Wade, H. Harry Asada	DC Behavior of Conductive Fabric Networks with Application to Wearable Sensor Nodes.	BSN	2006	DBLP DOI BibTeX RDF
10	Sam Malek, Chiyoung Seo, Nenad Medvidovic	Tailoring an architectural middleware platform to a heterogeneous embedded environment.	SEM	2006	DBLP DOI BibTeX RDF
10	Qian Zhang, Jian Wu, Hong Zhu 0002	Tool Support to Model-based Quality Analysis of Software Architecture.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF	Automated software tools, Analysis of software architecture, Software quality models, Software architecture design
10	Shifeng Zhang	Integrating Non-Functional Properties to Architecture Specification and Analysis.	ITNG	2006	DBLP DOI BibTeX RDF
10	Adam Ghandar, A. S. M. Sajeev, Xiaodi Huang	Pattern puzzle: a metaphor for visualizing software complexity measures.	APVIS	2006	DBLP DOI BibTeX RDF	visualization, software engineering, user interface, complexity measures
10	Joseph Sifakis	WPDRTS keynote: component-based construction of embedded systems.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Farshad Safaei, Mostafa Rezazad, Ahmad Khonsari, Mahmood Fathy, Mohamed Ould-Khaoua, Nasser Alzeidi	Software-based fault-tolerant routing algorithm in multidimensional networks.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Roman Obermaisser, Philipp Peti	Realization of virtual networks in the DECOS integrated architecture.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Adrian Pop, Peter Fritzson	MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language.	JMLC	2006	DBLP DOI BibTeX RDF
10	Michael von der Beeck	A Formal Semantics of UML-RT.	MoDELS	2006	DBLP DOI BibTeX RDF
10	Sang-Hun Cho, Tae-Jin Lee 0001, Min Young Chung, Hyunseung Choo	Minimum Cost Multicast Routing Based on High Utilization MC Nodes Suited to Sparse-Splitting Optical Networks.	ICCSA (2)	2006	DBLP DOI BibTeX RDF
10	Rogério de Lemos	Architectural Fault Tolerance Using Exception Handling.	WADS	2006	DBLP DOI BibTeX RDF
10	Yujian Fu, Zhijiang Dong, Xudong He	A Method for Realizing Software Architecture Design.	QSIC	2006	DBLP DOI BibTeX RDF
10	Morgan McGuire, George Stathis, Hanspeter Pfister, Shriram Krishnamurthi	Abstract shade trees.	SI3D	2006	DBLP DOI BibTeX RDF
10	Thomas Springer 0001	A Component-based Meta-Model for Context-Aware, Distributed Adaptation Graphs.	ICAS	2006	DBLP DOI BibTeX RDF
10	Jihad Boulos, Marcel Karam, Zeina Koteiche, Hala Ollaic	XQueryViz: An XQuery Visualization Tool.	EDBT	2006	DBLP DOI BibTeX RDF
10	Gu Xu, Yufei Ma 0006, HongJiang Zhang, Shi-Qiang Yang	An HMM-based framework for video semantic analysis.	IEEE Trans. Circuits Syst. Video Technol.	2005	DBLP DOI BibTeX RDF
10	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	A comprehensive approach for the development of modular software architecture description languages.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	ArchStudio 3, xADL 2.0, XML, Architecture description languages
10	Dominikus Herzberg, Manfred Broy	Modeling layered distributed communication systems.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Modeling communication systems, Distribution, Layering
10	Andreas Rasche, Marco Puhlmann, Andreas Polze	Heterogeneous Adaptive Component-Based Applications with Adaptive.Net.	ISORC	2005	DBLP DOI BibTeX RDF	Heterogeneous Distributed Systems Architecture, Java, CORBA, Adaptive Computing, .NET
10	Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira	Graphical simulation of the dynamic evolution of the software architectures specified in Z.	IWPSE	2005	DBLP DOI BibTeX RDF
10	Nassima Sadou, Dalila Tamzalit, Mourad Oussalah 0001	A unified Approach for Software Architecture Evolution at different abstraction levels.	IWPSE	2005	DBLP DOI BibTeX RDF
10	Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum	Towards Dynamically Communicating Abstract Machines in the B Method.	ICFEM	2005	DBLP DOI BibTeX RDF
10	Manuel Díaz, Sergio Romero 0002, Bartolomé Rubio, Enrique Soler, José M. Troya	An Aspect Oriented Framework for Scientific Component Development.	PDP	2005	DBLP DOI BibTeX RDF
10	Juan C. Dueñas, Rafael Capilla	The Decision View of Software Architecture.	EWSA	2005	DBLP DOI BibTeX RDF
10	Uwe Zdun, Paris Avgeriou	Modeling architectural patterns using architectural primitives.	OOPSLA	2005	DBLP DOI BibTeX RDF	modeling patterns, UML, OCL, software patterns, architectural patterns, architectural documentation
10	Jean-François Rouet, Hervé Potelle, Antonine Goumi	The Role of Content Representations in Hypermedia Learning: Effects of Task and Learner Variables.	Knowledge and Information Visualization	2005	DBLP DOI BibTeX RDF
10	Marcelo Kallmann, Stacy Marsella	Hierarchical Motion Controllers for Real-Time Autonomous Virtual Humans.	IVA	2005	DBLP DOI BibTeX RDF
10	Selma Matougui, Antoine Beugnard	Two Ways of Implementing Software Connections Among Distributed Components.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
10	Henrik Bærbak Christensen	TS-05: 150 lines of java with high architectural complexity.	ITiCSE	2005	DBLP DOI BibTeX RDF	educational system, Java, software architecture, design patterns
10	Wei Dong 0006, Ji Wang 0001	Contract-Based Formal Specification of Safety Critical Systems.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
10	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Reasoning About Software Architecture-Based Regression Testing Through a Case Study.	COMPSAC (2)	2005	DBLP DOI BibTeX RDF
10	Nicolas Cuntz, Ekkart Kindler	On the Semantics of EPCs: Efficient Calculation and Simulation.	Business Process Management	2005	DBLP DOI BibTeX RDF
10	Kamyar Sarshar, Peter Loos	Comparing the Control-Flow of EPC and Petri Net from the End-User Perspective.	Business Process Management	2005	DBLP DOI BibTeX RDF
10	Jordi Cortadella, Kyller Costa Gorgônio, Fei Xia, Alexandre Yakovlev	Automating Synthesis of Asynchronous Communication Mechanisms.	ACSD	2005	DBLP DOI BibTeX RDF
10	Junrong Shen, Xi Sun, Gang Huang 0001, Wenpin Jiao, Yanchun Sun, Hong Mei 0001	Towards a unified formal model for supporting mechanisms of dynamic component update.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	architectural connector, software architecture, CSP, dynamic update
10	Juan Manuel Serrano, Sascha Ossowski, Sergio Saugar	Reusable Components for Implementing Agent Interactions.	PROMAS	2005	DBLP DOI BibTeX RDF
10	Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani	Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.	COORDINATION	2005	DBLP DOI BibTeX RDF
10	Chun-Sik Yoo, Seon-Mi Woo, Yong-Sung Kim	Unification of XML DTD for XML Documents with Similar Structure.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
10	Shifeng Zhang, Steve Goddard	xSADL: An Architecture Description Language to Specify Component-Based Systems.	ITCC (2)	2005	DBLP DOI BibTeX RDF	Component middleware technology, xADL, Finite State Processes, Software Architecture, Architecture Description Language
10	Zièd Choukair	Correctness Proof Obligation for CoCTelS Telecom Services Composition Model.	AINA	2005	DBLP DOI BibTeX RDF
10	Nor Laily Hashim, Heinz W. Schmidt, Sita Ramakrishnan	Test Order for Class-based Integration Testing of Java Applications.	QSIC	2005	DBLP DOI BibTeX RDF
10	Cristina Marin, Mikael Desertot	Sensor bean: a component platform for sensor-based services.	MPAC	2005	DBLP DOI BibTeX RDF	sensor-based applications, sensor-based services, sensors, services, component models, data gathering
10	Bernhard Huber, Philipp Peti, Roman Obermaisser, Christian El Salloum	Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture.	WISES	2005	DBLP DOI BibTeX RDF
10	Songqiao Han, Shensheng Zhang, Yong Zhang 0033, Change Fan	An adaptable software architecture based on mobile components in pervasive computing.	PDCAT	2005	DBLP DOI BibTeX RDF
10	Paul Grünbacher, Alexander Egyed, Nenad Medvidovic	Reconciling software requirements and architectures with intermediate models.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Requirements elicitation and negotiation, Intermediate models, Traceability, Architecture modeling