Search results for "component"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Mats Per Erik Heimdahl, Jeffrey M. Thompson	Specifying and Analysing System-Level Inter-Component Interfaces.	Requir. Eng.	2000	DBLP DOI BibTeX RDF	Inter-component communication, Safety kernel, State-based specification, Formal methods, Static analysis, Requirements specification, RSML
20	M. Elizabeth C. Hull, Peter N. Nicholl, Philip Houston, Niall Rooney	Towards a visual approach for component-based software development.	Softw. Concepts Tools	2000	DBLP DOI BibTeX RDF	Software frames, Reuse, Visual programming, Distributed objects, Component-based software development, Client/server, Development environments, Legacy code, Object technology, Software methodologies
20	Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich	Static checking of system behaviors using derived component assumptions.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	chemical abstract machine model, static analysis, component-based systems, assumptions
20	Huaikou Miao, Chuanjiang Yu, Li Li	A Formalized Abstract Component Object Mode - Z-COM.	TOOLS (36)	2000	DBLP DOI BibTeX RDF	Z-COM, Object-Bus, Component, Interface
20	Jun Lang, David B. Stewart	A Study of the Applicability of Existing Exception-Handling Techniques to Component-Base Real-Time Software Technology.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	error detection and handling, reconfigurable software, timing and deadline failures, survey, faults, signals, component-based software
20	Gholamreza Latif Shabgahi, Julian M. Bass, Stuart Bennett	Simulation of a Component-Oriented Voter Library for Dependable Control Applications.	EUROMICRO	1998	DBLP DOI BibTeX RDF	Component-Oriented Model, Simulation, Fault-Tolerance, Voting, Fault-Masking
20	Dmitry O. Briukhov, Leonid A. Kalinichenko	Component-Based Information Systems Development Tool Supporting the SYNTHESIS Design Method.	ADBIS	1998	DBLP DOI BibTeX RDF	component-based information system development, interoperable systems
20	John C. Grundy, Mark D. Apperley, Rick Mugridge, John G. Hosking	Tool Integration, Collaboration and User Interaction Issues in Component-Based Software Architectures.	TOOLS (28)	1998	DBLP DOI BibTeX RDF	user interfaces, software agents, collaborative work, CASE tools, component-based software development, tool integration
20	Scott L. Schneberger	Software maintenance in distributed computer environments: system complexity versus component simplicity.	ICSM	1995	DBLP DOI BibTeX RDF	component simplicity, distributed system software maintenance, software maintenance difficulty, diametrics, information systems complexity, empirical quantitative data, empirical qualitative data, information systems, software maintenance, software maintenance, distributed processing, conceptual model, systems analysis, distributed computer environments, IS professionals, technological change, system complexity, information system architectures
20	Robert Johnson, Jonathan Marchini, Stephen M. Smith 0001, Christian F. Beckmann	Independent Component Analysis of Functional Magnetic Resonance Imaging Data Using Wavelet Dictionaries.	ICA	2007	DBLP DOI BibTeX RDF	Biophysical Prior, Sparse Dictionaries, Independent Component Analysis, Functional Magnetic Resonance Imaging
19	Yong Meng Teo, Claudia Szabo	CODES: An Integrated Approach to Composable Modeling and Simulation.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	syntactic composability, semantic composability, model discovery, simulation ontology, model reuse
19	Doo-Hyun Choi, Ick Hoon Jang, Mi Hye Kim, Nam Chul Kim	Color Image Enhancement Based on Single-Scale Retinex With a JND-Based Nonlinear Filter.	ISCAS	2007	DBLP DOI BibTeX RDF
19	Lars Frantzen, Jan Tretmans	Model-Based Testing of Environmental Conformance of Components.	FMCO	2006	DBLP DOI BibTeX RDF
19	Glenn Reinman, Brad Calder, Todd M. Austin	High Performance and Energy Efficient Serial Prefetch Architecture.	ISHPC	2002	DBLP DOI BibTeX RDF
19	Jakob Henriksson, Uwe Aßmann	Component Models for Semantic Web Languages.	REWERSE	2009	DBLP DOI BibTeX RDF	software engineering, semantic web, composition, modularization
19	Nelson Matthys, Danny Hughes 0001, Sam Michiels, Christophe Huygens, Wouter Joosen	Fine-Grained Tailoring of Component Behaviour for Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF
19	Ji Eun Kim, Oliver Rogalla, Simon Kramer 0003, Arne Hamann	Extracting, specifying and predicting software system properties in component based real-time embedded software development.	ICSE Companion	2009	DBLP DOI BibTeX RDF
19	Fan Zhang 0099, Xingshe Zhou 0001, Junwen Chen, Yunwei Dong	A Novel Model for Component-Based Software Reliability Analysis.	HASE	2008	DBLP DOI BibTeX RDF
19	Wang Chengjun	Architecture Driven Component Development for Top-Down Software Reuse.	CSSE (5)	2008	DBLP DOI BibTeX RDF
19	Pavel Parízek, Frantisek Plásil	Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks
19	Yusuf Altunel, Mehmet R. Tolun	Component-Based Project Estimation Issues for Recursive Development.	SCSS (1)	2007	DBLP DOI BibTeX RDF
19	Gautier Bastide, Abdelhak Seriai, Mourad Oussalah 0001	Software Component Re-engineering for their Runtime Structural Adaptation.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
19	Sindolfo Miranda Filho, Luiz Eduardo Cunha Leite, Guido Lemos de Souza Filho, Silvio Romero de Lemos Meira	FLEXCM - A Component Model for Adaptive Embedded Systems.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
19	Tatiane Macedo Prudencio Lopes, Clovis Torres Fernandes	Management and Control of Coding and Testing of Component-based Software.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
19	Xin Zuo, Alexey L. Lastovetsky	Experiments with a Software Component Enabling NetSolve with Direct Communications in a Non-Intrusive and Incremental Way.	IPDPS	2007	DBLP DOI BibTeX RDF
19	Gaeil An, Joon S. Park	Cooperative Component Testing Architecture in Collaborating Network Environment.	ATC	2007	DBLP DOI BibTeX RDF
19	Ming Zhong 0001, Yaoxue Zhang, Pengwei Tian, Yue-Zhi Zhou, Cunhao Fang	A Key-Index Based Distributed Mechanism for Component Registration.	UIC	2007	DBLP DOI BibTeX RDF
19	Daniel Pakkala, Juho Perälä, Eila Niemelä	A Component Model for Adaptive Middleware Services and Applications.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF
19	Dietmar Schreiner, Karl M. Göschka	Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures.	SC@ETAPS	2007	DBLP DOI BibTeX RDF
19	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
19	Jun Li 0008, Keith Moore	A Runtime and Analysis Framework Support for Unit Component Testing in Distributed Systems.	HICSS	2007	DBLP DOI BibTeX RDF
19	Yan Zhang 0007, Jun Hu, Xiaofeng Yu, Tian Zhang 0001, Xuandong Li, Guoliang Zheng	Scenario-Based Component Behavior Derivation.	ICFEM	2006	DBLP DOI BibTeX RDF
19	Joachim Hans Fröhlich, Manuel Schwarzinger	Improve Component-Based Programs with Connectors.	JMLC	2006	DBLP DOI BibTeX RDF
19	Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	A Software Component Quality Model: A Preliminary Evaluation.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
19	Tomás Bures, Petr Hnetynka, Frantisek Plásil	SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model.	SERA	2006	DBLP DOI BibTeX RDF
19	Jihyun Lee, Dan Lee	Description Technique for Component Composition Focusing on Black-Box View.	ICCSA (4)	2006	DBLP DOI BibTeX RDF
19	Yiyuan Li, Jianwei Yin, Jinxiang Dong	A Component Management System for Mass Customization.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
19	Kung-Kiu Lau	Software component models.	ICSE	2006	DBLP DOI BibTeX RDF	composition, software components
19	Eliezer Kantorowitz, Alexander Lyakas	Using Semantic Component Interfaces in Software Engineering Training.	ITRE	2006	DBLP DOI BibTeX RDF
19	Nguyen Truong Thang, Takuya Katayama	A Formal Approach Facilitating the Evolution of Component-Based Software.	IWPSE	2005	DBLP DOI BibTeX RDF
19	Brian Barrett, Jeffrey M. Squyres, Andrew Lumsdaine, Richard L. Graham, George Bosilca	Analysis of the Component Architecture Overhead in Open MPI.	PVM/MPI	2005	DBLP DOI BibTeX RDF
19	Young-Jun Seo, Young-Jae Song, Hwa-Young Jeong	ACME-Based Connector Interface Considering Component Important Factor.	SKG	2005	DBLP DOI BibTeX RDF
19	Youtian Qu, Tianzhou Chen, Xu Hong	An Agent Component-Oriented Software Process.	IAT	2005	DBLP DOI BibTeX RDF
19	Il-Hyung Cho, John D. McGregor	Component Specification for Enterprise Software Development on Web Services Environment.	SERA	2005	DBLP DOI BibTeX RDF
19	Stuart Harvey Rubin, Marion G. Ceruti	Intelligent component-centric programming.	IRI	2005	DBLP DOI BibTeX RDF
19	Ada Diaconescu, John Murphy 0001	Automating the performance management of component-based enterprise systems through the use of redundancy.	ASE	2005	DBLP DOI BibTeX RDF	J2EE, autonomic management, decision policies
19	Yan Jin, Jun Han 0004	Runtime Validation of Behavioural Contracts for Component Software.	QSIC	2005	DBLP DOI BibTeX RDF
19	Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel	Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems.	FASE	2005	DBLP DOI BibTeX RDF
19	Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein 0001, Martti Piirainen	A component framework for system modeling based on high-level replacement systems.	Softw. Syst. Model.	2004	DBLP DOI BibTeX RDF	Petri nets, Components, Formal semantics, Generic framework
19	Nasib Singh Gill, P. S. Grover	Few important considerations for deriving interface complexity metric for component-based systems.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	interface characterisation, interface complexity, interface complexity metric, software components
19	Seung Hoon Choi	Component Reconfiguration Tool for Software Product Lines with XML Technology.	WISE	2004	DBLP DOI BibTeX RDF
19	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Applying CLP to Predict Extra-Functional Properties of Component-Based Models.	ICLP	2004	DBLP DOI BibTeX RDF
19	Fan Ye 0005, Tim Kelly	Component Failure Mitigation According to Failure Type.	COMPSAC	2004	DBLP DOI BibTeX RDF
19	Hamdan Msheik, Alain Abran, Eric Lefebvre	Compositional Structured Component Model: Handling Selective Functional Composition.	EUROMICRO	2004	DBLP DOI BibTeX RDF
19	Guijun Wang, Casey K. Fung	Architecture Paradigms and Their Influences and Impacts on Component-Based Software Systems.	HICSS	2004	DBLP DOI BibTeX RDF
19	Antonia Albani, Bettina Bazijanec, Klaus Turowski, Christian Winnewisser	Component Framework for Strategic Supply Network Development.	ADBIS	2004	DBLP DOI BibTeX RDF
19	Kevin Simons, Judith A. Stafford	CMEH: Container Managed Exception Handling for Increased Assembly Robustness.	CBSE	2004	DBLP DOI BibTeX RDF
19	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Extra-Functional Contract Support in Components.	CBSE	2004	DBLP DOI BibTeX RDF
19	Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta 0001	BALBOA: a component-based design environment for system models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
19	Marek Prochazka, Romain Rouvoy, Thierry Coupaye	On Enhancing Component-Based Middleware with Transactions.	OTM Workshops	2003	DBLP DOI BibTeX RDF
19	Hiroo Ishikawa, Yuuki Ogata, Kazuto Adachi, Tatsuo Nakajima	Requirements for a Component Framework of Future Ubiquitous Computing.	WSTFES	2003	DBLP DOI BibTeX RDF
19	Jean-Marc Jézéquel, Olivier Defour, Noël Plouzeau	An MDA Approach to Tame Component Based Software Development.	FMCO	2003	DBLP DOI BibTeX RDF
19	John D. McGregor, Judith A. Stafford, Il-Hyung Cho	Measuring and Communicating Component Reliability.	SERA	2003	DBLP DOI BibTeX RDF
19	Peter Herrmann	Formal Security Policy Verification of Distributed Component-Structured Software.	FORTE	2003	DBLP DOI BibTeX RDF
19	John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath	Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems.	ICSE	2003	DBLP DOI BibTeX RDF
19	I-Ling Yen, Jayabharath Goluguri, Farokh B. Bastani, Latifur Khan, John Linn	A Component-Based Approach for Embedded Software Development.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
19	Xuejun Chen	Specifying a Component Model for Building Dynamically Reconfigurable Distributed Systems.	ICFEM	2002	DBLP DOI BibTeX RDF
19	Vania Marangozova, Daniel Hagimont	Non-functional Replication Management in the Corba Component Model.	OOIS	2002	DBLP DOI BibTeX RDF
19	Premysl Brada	Metadata Support for Safe Component Upgrades.	COMPSAC	2002	DBLP DOI BibTeX RDF
19	Wim Vanderperren, Bart Wydaeghe	Towards a New Component Composition Process.	ECBS	2001	DBLP DOI BibTeX RDF
19	Jan Bosch, Clemens A. Szyperski, Wolfgang Weck	6th Workshop on Component-Oriented Programming.	ECOOP Workshops	2001	DBLP DOI BibTeX RDF
19	Colin Atkinson 0001, Barbara Paech, Jens Reinhold, Torsten Sander	Developing and Applying Component-Based Model-Driven Architectures in KobrA.	EDOC	2001	DBLP DOI BibTeX RDF
19	Paola Inverardi, Sebastián Uchitel	Proving Deadlock Freedom in Component-Based Programming.	FASE	2001	DBLP DOI BibTeX RDF
19	Dhananjai Madhava Rao, Philip A. Wilsey	Dynamic component substitution in web-based simulation.	WSC	2000	DBLP DOI BibTeX RDF
19	Ye Wu, Dai Pan, Mei-Hwa Chen	Techniques of Maintaining Evolving Component-based Software.	ICSM	2000	DBLP DOI BibTeX RDF
19	Reino Kurki-Suonio	Component and Interface Refinement in Closed-System Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
19	Stan Jarzabek, Peter Knauber	Synergy between Component-Based and Generative Approaches.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
19	Günter Kniesel	Type-Safe Delegation for Run-Time Component Adaptation.	ECOOP	1999	DBLP DOI BibTeX RDF
19	Herbert Praehofer, Johannes Sametinger, Alois Stritzinger	Component Frameworks - A Case Study.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
19	Martin Bichler, Arie Segev, J. Leon Zhao	Component-based E-Commerce: Assesment of Current Practices and Future Directions.	SIGMOD Rec.	1998	DBLP DOI BibTeX RDF
19	Mark Bickford	Component Specification Using Event Classes.	CBSE	2009	DBLP DOI BibTeX RDF
19	Kiev Gama, Didier Donsez	Towards Dynamic Component Isolation in a Service Oriented Platform.	CBSE	2009	DBLP DOI BibTeX RDF
19	Yunja Choi, Christian Bunse	Towards Component-Based Design and Verification of a µ-Controller.	CBSE	2008	DBLP DOI BibTeX RDF
19	Pavlína Vareková, Ivana Cerná	Model Checking of Control-User Component-Based Parametrised Systems.	CBSE	2008	DBLP DOI BibTeX RDF
19	Daniel Sundmark, Jan Carlson, Sasikumar Punnekkat, Andreas Ermedahl	Structural Testing of Component-Based Systems.	CBSE	2008	DBLP DOI BibTeX RDF
19	Chenglin Wen, Jing Hu, Tianzhen Wang	Relative Principle Component and Relative Principle Component Analysis Algorithm.	ISNN (2)	2007	DBLP DOI BibTeX RDF
19	Vincenzo Grassi, Raffaela Mirandola, Enrico Randazzo, Antonino Sabetta	KLAPER: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability.	CoCoME	2007	DBLP DOI BibTeX RDF
19	Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, Emil Salageanu	A Specification Language for Distributed Components Implemented in GCM/ProActive.	CoCoME	2007	DBLP DOI BibTeX RDF
19	Wolf Zimmermann, Michael Schaarschmidt	Automatic Checking of Component Protocols in Component-Based Systems.	SC@ETAPS	2006	DBLP DOI BibTeX RDF
19	Gui Gui, Paul D. Scott	Vector Space Based on Hierarchical Weighting: A Component Ranking Approach to Component Retrieval.	APPT	2005	DBLP DOI BibTeX RDF
19	Reimer Behrends, R. E. Kurt Stirewalt, Laura K. Dillon	A Component-Oriented Model for the Design of Safe Multi-threaded Applications.	CBSE	2005	DBLP DOI BibTeX RDF
19	Lars Grunske, Bernhard Kaiser, Yiannis Papadopoulos	Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.	CBSE	2005	DBLP DOI BibTeX RDF
19	Ryan Culpepper, Scott Owens, Matthew Flatt	Syntactic Abstraction in Component Interfaces.	GPCE	2005	DBLP DOI BibTeX RDF
19	Jim Fontana	The Component Balancer: Optimization of Component-Based Applications.	ICAC	2004	DBLP DOI BibTeX RDF
19	Ning He, Jianming Zhang, Shuqing Wang	Combination of independent component analysis and multi-way principal component analysis for batch process monitoring.	SMC (1)	2004	DBLP DOI BibTeX RDF
19	Evgeni M. Eskenazi, Alexandre V. Fioukov, Dieter K. Hammer	Performance Prediction for Component Compositions.	CBSE	2004	DBLP DOI BibTeX RDF
19	George T. Heineman, Joseph P. Loyall, Richard E. Schantz	Component Technology and QoS Management.	CBSE	2004	DBLP DOI BibTeX RDF
19	Antonia Bertolino, Raffaela Mirandola	CB-SPE Tool: Putting Component-Based Performance Engineering into Practice.	CBSE	2004	DBLP DOI BibTeX RDF
19	Humberto Cervantes, Richard S. Hall	A Framework for Constructing Adaptive Component-Based Applications: Concepts and Experiences.	CBSE	2004	DBLP DOI BibTeX RDF
19	Giuseppe Lipari, Paolo Gai, Michael Trimarchi, Giacomo Guidi, Paolo Ancilotti	A Hierarchical Framework for Component-Based Real-Time Systems.	CBSE	2004	DBLP DOI BibTeX RDF