Search results for "Connector"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Stefano Bistarelli, Francesco Santini 0001	Propagating multitrust within trust networks.	SAC	2008	DBLP DOI BibTeX RDF	and-or graphs, soft constraint logic programming, trust propagation, trust network
11	Junhua Ding, Lian Mo, Xudong He	An approach for specification construction using property-preserving refinement patterns.	SAC	2008	DBLP DOI BibTeX RDF	software architecture, refinement, property-preserving
11	Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki	Emergent Properties in Reactive Systems.	APSEC	2008	DBLP DOI BibTeX RDF
11	Guilherme Saraiva, Orlando Carvalho, Benjamim Fonseca, Hugo Paredes	Towards a Platform for Cooperative Creation of Scientific Publications.	CDVE	2008	DBLP DOI BibTeX RDF	Cooperative applications (CA), Scientific Digital Repositories, Group Editors, Scientific publications
11	Hervé Fournier, Danièle Gardy, Antoine Genitrini, Bernhard Gittenberger	Complexity and Limiting Ratio of Boolean Functions over Implication.	MFCS	2008	DBLP DOI BibTeX RDF	Implicational formulas, Limiting ratio, Analytic combinatorics, Complexity, Boolean functions, Probability distribution
11	Guilherme Saraiva, Orlando Carvalho, Benjamim Fonseca, Hugo Paredes	PaperFlow: A Platform for Cooperative Editing of Scientific Publications.	CRIWG	2008	DBLP DOI BibTeX RDF	Scientific Digital Repositories, Groupware, Group Editors, Scientific publications
11	Michele Paselli, Frederik Petré, Olivier Rousseaux, Guy Meynants, Bert Gyselinckx, Marc Engels, Luca Benini	A High-Performance Wireless Sensor Node for Industrial Control Applications.	ICONS	2008	DBLP DOI BibTeX RDF	WiMedia, Mechatronic, Wireless Sensor Node, Industrial control
11	Uwe Zdun, Paris Avgeriou, Carsten Hentrich, Schahram Dustdar	Architecting as decision making with patterns and primitives.	SHARK	2008	DBLP DOI BibTeX RDF	software patterns, architectural patterns, architectural decisions
11	Matthew Smith 0001, Christian Schridde, Bernd Freisleben	Securing stateful grid servers through virtual server rotation.	HPDC	2008	DBLP DOI BibTeX RDF	self-cleansing servers, security, grid computing, virtualization, intrusion tolerance
11	Brahim Hamid, Ansgar Radermacher, Patrick Vanuxeem, Agnes Lanusse, Sebastien Gerard	A Fault-tolerance Framework for Distributed Component Systems.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
11	Yang Zhang, Jingjun Zhang, Hui Li	Architectural Mismatch Detection between Component and Aspect Based on Finite Automata.	RAM	2008	DBLP DOI BibTeX RDF
11	Kenneth Chan, Iman Poernomo	QoS-aware model driven architecture through the UML and CIM.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	QoS, Monitoring, Model driven architecture, Instrumentation
11	Joshua Lifton, Mark Feldmeier, Yasuhiro Ono, Cameron Lewis, Joseph A. Paradiso	A platform for ubiquitous sensor deployment in occupational and domestic environments.	IPSN	2007	DBLP DOI BibTeX RDF
11	Vincent Begoc, Sébastien Krut, Etienne Dombre, Claude Durand, François Pierrot	Mechanical design of a new pneumatically driven underactuated hand.	ICRA	2007	DBLP DOI BibTeX RDF
11	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
11	Sheng Li, Mingxi Wan, Supin Wang	The Effects of the False Vocal Fold Gaps in a Model of the Larynx on Pressures Distributions and Flows.	HCI (12)	2007	DBLP DOI BibTeX RDF	false vocal folds, pressure distributions, model, Speech production
11	David Slogsnat, Alexander Giese, Ulrich Brüning 0001	A versatile, low latency HyperTransport core.	FPGA	2007	DBLP DOI BibTeX RDF	HTX, HyperTransport, FPGA, prototyping, RTL
11	Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang	Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line.	ICSEA	2007	DBLP DOI BibTeX RDF
11	Norbert Oswald, Stefan Förster, Herwig Moser, Toni Reichelt, André Windisch	An Architectural Framework for Cooperative Civil and Military Mission Scenarios.	AMS	2007	DBLP DOI BibTeX RDF
11	Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang	A Formal Approach to Verify Mapping Relation in a Software Product Line.	CIT	2007	DBLP DOI BibTeX RDF
11	Xin Peng 0001, Yijian Wu, Wenyun Zhao	A Feature-Oriented Adaptive Component Model for Dynamic Evolution.	CSMR	2007	DBLP DOI BibTeX RDF
11	Marius Cristian Cerlinca, Adrian Graur, Stefan Gheorghe Pentiuc, Tudor Joan Cerlinca	Developing a Logopaedic Mobile Device Using an FPGA.	SACI	2007	DBLP DOI BibTeX RDF
11	Jitao Yang, Hongqi Su, Yuanfeng Wu, Junwei Liu	Enterprise Java Applications and SAP R/3 System Integration Using JCO.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	JCO, Design pattern, Electronic data interchange, Business process integration, Data synchronization, SAP
11	Francisco M. Trindade, Marcelo Soares Pimenta	RenderXML - A Multi-platform Software Development Tool.	TAMODIA	2007	DBLP DOI BibTeX RDF	User Interface, Rendering, Multi-platform, UsiXML
11	Dietmar Schreiner, Karl M. Göschka	Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
11	Kristian Ellebæk Kjær	First Class Connectors for Prototyping Service Oriented Architectures.	ECSA	2007	DBLP DOI BibTeX RDF
11	Lidia Fuentes, Nadia Gámez, Mónica Pinto, Juan A. Valenzuela	Using Connectors to Model Crosscutting Influences in Software Architectures.	ECSA	2007	DBLP DOI BibTeX RDF
11	Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon 0001	Component Connectors with QoS Guarantees.	COORDINATION	2007	DBLP DOI BibTeX RDF	Quantitative Constraint Automata, Quality of Service, Coordination, Composition, Reo
11	Abdelkrim Amirat, Mourad Oussalah 0001, Tahar Khammaci	Towards an Approach for Building Reliable Architectures.	IRI	2007	DBLP DOI BibTeX RDF
11	Francisco Heron de Carvalho Junior, Ricardo Cordeiro Corrêa, Gisele Azevedo Araújo, Jefferson de Carvalho Silva, Rafael Dueire Lins	High-Level Service Connectors for Component-Based High Performance Computing.	SBAC-PAD	2007	DBLP DOI BibTeX RDF
11	Susanne Graf, Sophie Quinton	Contracts for BIP: Hierarchical Interaction Models for Compositional Verification.	FORTE	2007	DBLP DOI BibTeX RDF
11	Rosa Del Gaudio, António Branco	Automatic Extraction of Definitions in Portuguese: A Rule-Based Approach.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
11	Shangzhu Wang, George S. Avrunin, Lori A. Clarke	Plug-and-Play Architectural Design and Verification.	WADS	2007	DBLP DOI BibTeX RDF
11	Riadh Ben Halima, Khalil Drira, Mohamed Jmaiel	A QoS-Driven Reconfiguration Management System Extending Web Services with Self-Healing Properties.	WETICE	2007	DBLP DOI BibTeX RDF	Self-healing Web services, reconfiguration, QoS management, repair, service monitoring
11	Hervé Fournier, Danièle Gardy, Antoine Genitrini, Marek Zaionc	Classical and Intuitionistic Logic Are Asymptotically Identical.	CSL	2007	DBLP DOI BibTeX RDF	Implicational formulas, Tautologies, Analytic combinatorics, Intuitionistic logic
11	Stefano Bistarelli, Francesco Santini 0001	SCLP for Trust Propagation in Small-World Networks.	CSCLP	2007	DBLP DOI BibTeX RDF
11	Nicolas Singer, Jean-Marie Pecatte, Sylvie Trouilhet	Combining Web Services and Multi-Agent Technology to Increase Web Cooperative Capacities.	ICIW	2007	DBLP DOI BibTeX RDF	Multi-Agent Web Services, Web cooperation, navigation sessions, collective intelligence
11	Juan Manuel Serrano, Sergio Saugar	Operational semantics of multiagent interactions.	AAMAS	2007	DBLP DOI BibTeX RDF	social interactions, operational semantics, software connectors
11	Ralf Wagner 0002, Bernhard Mitschang	Enhancing Middleware Functionality by Virtualizing Adapters.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	adapter, Middleware, integration, virtualization, reuse
11	Benjamin Schnieder	Truth-Making without Truth-Makers.	Synth.	2006	DBLP DOI BibTeX RDF
11	Nenad Medvidovic, Vladimir Jakobac	Using software evolution to focus architectural recovery.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Architecture erosion, Software architecture, Evolution, Architectural style, Architecture recovery, Focus
11	Paula Eerola, Tord Ekelöf, Mattias Ellert, Michael Grønager, John Renner Hansen, Sigve Haug, Josva Kleist, Aleksandr Konstantinov, Balázs Kónya, Farid Ould-Saada, Oxana Smirnova, Ferenc Szalai, Anders Wäänänen	Roadmap for the ARC Grid Middleware.	PARA	2006	DBLP DOI BibTeX RDF	cluster, scheduling, middleware, Grid, distributed computing, Linux, data management, Globus
11	Sigve Haug, Farid Ould-Saada, Katarina Pajchel, Alexander L. Read	Data Management for the World's Largest Machine.	PARA	2006	DBLP DOI BibTeX RDF
11	Chulsung Park, Pai H. Chou	Eco: Ultra-Wearable and Expandable Wireless Sensor Platform.	BSN	2006	DBLP DOI BibTeX RDF
11	Terris B. Wolff	Podcasting made simple.	SIGUCCS	2006	DBLP DOI BibTeX RDF	podcast, podcasting, MP3, digital audio
11	Axel Bürkle, Wilmuth Müller, Uwe Pfirrmann, Manfred Schenk, Nikolaos Dimakis, John Soldatos 0001, Lazaros Polymenakos	An Agent-Based Architecture for Context-Aware Services Supporting Human Interaction.	IAT Workshops	2006	DBLP DOI BibTeX RDF
11	Kung-Kiu Lau, Vladyslav Ukis	Automatic Control Flow Generation from Software Architectures.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
11	Yujian Fu, Zhijiang Dong, Xudong He	Modeling, validating and automating composition of web services.	ICWE	2006	DBLP DOI BibTeX RDF	service oriented system specification, petri nets, temporal logic, verification and validation, software architecture model
11	Rogelio N. Limón Cordero, Isidro Ramos Salavert, José Torres-Jiménez	Designing Aspectual Architecture Views in Aspect-Oriented Software Development.	ICCSA (4)	2006	DBLP DOI BibTeX RDF	Sotware Architectures, Aspect Oriented Software Development
11	Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan	Differencing and Merging of Architectural Views.	ASE	2006	DBLP DOI BibTeX RDF
11	Thomas Springer 0001	A Component-based Meta-Model for Context-Aware, Distributed Adaptation Graphs.	ICAS	2006	DBLP DOI BibTeX RDF
11	Saeed Parsa, Vahid Khalilpoor	Automatic Distribution of Sequential Code Using JavaSymphony Middleware.	SOFSEM	2006	DBLP DOI BibTeX RDF
11	Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen	Requirements traceability to support evolution of access control.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	access control, evolution, requirements traceability
11	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Improving system dependability by enforcing architectural intent.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF
11	Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo	Handling Dynamic Behaviour in Software Architectures.	EWSA	2005	DBLP DOI BibTeX RDF	software architectures, dynamic systems, architecture description language
11	Thomas Cottenier, Aswin van den Berg, Tzilla Elrad	Modeling Aspect-Oriented Compositions.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
11	Jeff Stark, Kim Binsted, Ben Bergen 0003	Disjunctor Selection for One-Line Jokes.	INTETAIN	2005	DBLP DOI BibTeX RDF
11	Marwan Abi-Antoun, Wesley Coelho	A Case Study in Incremental Architecture-Based Re-engineering of a Legacy Application.	WICSA	2005	DBLP DOI BibTeX RDF
11	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas	Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.	WICSA	2005	DBLP DOI BibTeX RDF
11	Fernando Orejas, Sonia Pérez	Towards Architectural Connectors for UML.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
11	Nassima Sadou, Dalila Tamzalit, Mourad Oussalah 0001	How to Manage Uniformly Software Architecture at Different Abstraction Levels.	ER	2005	DBLP DOI BibTeX RDF
11	Wil M. P. van der Aalst, Alexander Dreiling, Florian Gottschalk, Michael Rosemann, Monique H. Jansen-Vullers	Configurable Process Models as a Basis for Reference Modeling.	Business Process Management Workshops	2005	DBLP DOI BibTeX RDF
11	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
11	Jan Mendling, Gustaf Neumann, Markus Nüttgens	Yet Another Event-Driven Process Chain.	Business Process Management	2005	DBLP DOI BibTeX RDF
11	Peter C. Mehlitz, John Penix	Design for Verification with Dynamic Assertions.	SEW	2005	DBLP DOI BibTeX RDF
11	Kung-Kiu Lau, Mario Ornaghi, Zheng Wang 0015	A Software Component Model and Its Preliminary Formalisation.	FMCO	2005	DBLP DOI BibTeX RDF
11	Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng	Security in Persistently Reactive Systems.	EUC Workshops	2005	DBLP DOI BibTeX RDF
11	Tihamer Toth-Fejel	Non-Evolvable Indirectly Replicating Nanorobots with Self-Assembling Parts.	Evolvable Hardware	2005	DBLP DOI BibTeX RDF
11	Alessio Botta, Beatrice Lazzerini, Francesco Marcelloni	Integrating service-oriented technologies to support business processes.	CEC Workshops	2005	DBLP DOI BibTeX RDF
11	Tine Verhanneman, Frank Piessens, Bart De Win, Wouter Joosen	Uniform Application-level Access Control Enforcement of Organizationwide Policies.	ACSAC	2005	DBLP DOI BibTeX RDF
11	Wenpin Jiao, Hong Mei 0001	Dynamic Architectural Connectors in Cooperative Software Systems.	ICECCS	2005	DBLP DOI BibTeX RDF
11	Jing Liu, Huaikou Miao	A Strategy for Component-Based Modeling and Refinement.	ICECCS	2005	DBLP DOI BibTeX RDF
11	Juan Manuel Serrano, Sascha Ossowski, Sergio Saugar	Engineering agent interactions from ACL-based reusable connectors.	AAMAS	2005	DBLP DOI BibTeX RDF	multi-agent programming frameworks, JADE, agent communication languages and protocols
11	Guoqing Xu 0001, Zongyuan Yang, Haitao Huang	A basic model for components implementation of software architecture.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	JCMP, JCMPL, triple-C pattern, software architecture, component
11	Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso	UML 1.4 versus UML 2.0 as Languages to Describe Software Architectures.	EWSA	2004	DBLP DOI BibTeX RDF
11	Alexander Egyed	Dynamic Deployment of Executing and Simulating Software Components.	Component Deployment	2004	DBLP DOI BibTeX RDF
11	Dave Clarke 0001, David Costa 0001, Farhad Arbab	Modelling Coordination in Biological Systems.	ISoLA	2004	DBLP DOI BibTeX RDF
11	Matthias Neubauer, Peter Thiemann 0001	Protocol Specialization.	APLAS	2004	DBLP DOI BibTeX RDF
11	Hyun Gi Min, Si Won Choi, Soo Dong Kim	Using Smart Connectors to Resolve Partial Matching Problems in COTS Component Acquisition.	CBSE	2004	DBLP DOI BibTeX RDF
11	Susan Kansagra, Chris Chang, Saleem Hussain, Gregory Hulka, Linda Gray Leithe	Online Medical Teaching Case Database.	CBMS	2004	DBLP DOI BibTeX RDF
11	Guoyou Zhang, Yin-Zhang Guo	A formal description of self-controlling software based on pi-calculus.	SMC (7)	2004	DBLP DOI BibTeX RDF
11	Hong Mei 0001	ABC: Supporting Software Architectures in the Whole Lifecycle.	SEFM	2004	DBLP DOI BibTeX RDF
11	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
11	Davy Suvée, Wim Vanderperren, Viviane Jonckers	JAsCo: an aspect-oriented approach tailored for component based software development.	AOSD	2003	DBLP DOI BibTeX RDF
11	Víctor López-Jaquero, Francisco Montero Simarro, José Pascual Molina, Antonio Fernández-Caballero 0001, Pascual González	Model-Based Design of Adaptive User Interfaces through Connectors.	DSV-IS	2003	DBLP DOI BibTeX RDF
11	Nazareno Aguirre, T. S. E. Maibaum	A Logical Basis for the Specification of Reconfigurable Component-Based Systems.	FASE	2003	DBLP DOI BibTeX RDF
11	Sherif M. Yacoub, Hany H. Ammar	A Methodology for Architecture-Level Reliability Risk Analysis.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	Reliability risk analysis, component-dependency graphs, severity measures and dynamic metrics, software architecture, risk assessment, risk modeling
11	Farhad Arbab, Jan J. M. M. Rutten	A Coinductive Calculus of Component Connectors.	WADT	2002	DBLP DOI BibTeX RDF
11	Nenad Medvidovic	On the role of middleware in architecture-based software development.	SEKE	2002	DBLP DOI BibTeX RDF
11	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
11	Shengru Tu, Liang Xu, Mahdi Abdelguerfi, Jay J. Ratcliff	Achieving interoperability for integration of heterogeneous COTS geographic information systems.	ACM-GIS	2002	DBLP DOI BibTeX RDF	COTS-based systems, GIS, interoperability, system integration, J2EE
11	Vittorio Cortellessa, Harshinder Singh, Bojan Cukic	Early reliability assessment of UML based software models.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	bayesian reliability prediction, component based systems, UML models, reliability assessment
11	Wendemagegnehu T. Beyene, Chuck Yuan	On the Use of Windows for Accurate Analysis of Package Interconnects.	ISQED	2002	DBLP DOI BibTeX RDF
11	Eli Abir, Steve Klein, David Miller, Michael Steinbaum	Fluent Machines' EliMT System.	AMTA	2002	DBLP DOI BibTeX RDF
11	Bridget Spitznagel, David Garlan	A Compositional Approach for Constructing Connectors.	WICSA	2001	DBLP DOI BibTeX RDF
11	Claus Pahl	Components, Contracts, and Connectors for the Unified Modelling Language UML.	FME	2001	DBLP DOI BibTeX RDF
11	Andrew Berry 0001, Simon M. Kaplan	A Distributed Asynchronous Execution Semantics for Programming the Middleware Machine.	ISADS	2001	DBLP DOI BibTeX RDF
11	Jens H. Jahnke	Engineering component-based net-centric systems for embedded applications.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	component-oriented development, embedded softare, network-centric computing, SDL
11	Ernest A. Fardin, Peter Munro, Jarred Scagliotta, John Morris	A Simulator for High Speed Digital Communications.	ACSAC	2001	DBLP DOI BibTeX RDF
11	Peter Graubmann, Ekkart Rudolph, Jens Grabowski	Component Interface Description Using HyperMSCs and Connectors.	HCC	2001	DBLP DOI BibTeX RDF