Search results for "Integration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Thomas Hernandez, Subbarao Kambhampati	Integration of Biological Sources: Current Systems and Challenges Ahead.	SIGMOD Rec.	2004	DBLP DOI BibTeX RDF
26	Christoph Bussler	Semantic B2B Integration.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
26	Anthony I. Wasserman	Tool Integration in Software Engineering Environments.	SEE	1989	DBLP DOI BibTeX RDF
25	Thomas M. Blinn, Keith A. Ackley, Richard J. Mayer	An integrated concurrent engineering environment for life cycle management.	J. Syst. Integr.	1994	DBLP DOI BibTeX RDF	integration, framework, project management, process modeling, enterprise modeling, Concurrent engineering, enterprise integration
24	Gandhi Sivakumar, Faried Abrahams, Kerard Hogg, John Hartley	SOI (Service Oriented Integration) and SIMM (Service Integration Maturity Model.	SERVICES	2010	DBLP DOI BibTeX RDF	Service oriented Integration, Service Integration Maturity Model
24	Teo Poh Kuang, Hamidah Ibrahim	Security privacy access control for policy integration and conflict reconciliation in health care organizations collaborations.	iiWAS	2009	DBLP DOI BibTeX RDF	conflict reconciliation, cross-organization collaboration, security policy integration, role-based access control, logical reasoning
24	Stephan Aier, Marten Schönherr	Evaluating Integration Architectures - A Scenario-Based Evaluation of Integration Technologies.	TEAA	2005	DBLP DOI BibTeX RDF
23	Shokoh Kermanshahani	Semi-materialized framework: a hybrid approach to data integration.	CSTST	2008	DBLP DOI BibTeX RDF	materialized data integration, data integration, mediators, views
23	Zhiying Wang, Shilun Ge	Study on Key Technologies of Shipbuilding Virtual Enterprise Information Integration Oriented Agile Manufacturing.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Work flow management, Web services, Virtual enterprises, Enterprise information integration, Enterprise modeling and integration
23	Rami Rifaieh, Roger Unwin, Jeremy Carver, Mark A. Miller	SWAMI: Integrating Biological Databases and Analysis Tools Within User Friendly Environment.	DILS	2007	DBLP DOI BibTeX RDF	Biology Workbench, Biological data integration, Biological tool integration
23	Dejing Dou, Paea LePendu	Ontology-based integration for relational databases.	SAC	2006	DBLP DOI BibTeX RDF	ontology, data integration, inference, first order logic, semantic integration
23	Ian Gorton, Anna Liu	An architects guide to enterprise application integration with J2EE and .NET.	ICSE	2005	DBLP DOI BibTeX RDF	COTS, enterprise application integration, integration architectures
23	Lionel C. Briand, Jie Feng, Yvan Labiche	Using genetic algorithms and coupling measures to devise optimal integration test orders.	SEKE	2002	DBLP DOI BibTeX RDF	integration order, genetic algorithms, integration testing, object-oriented software engineering
23	Jochen Triesch, Christoph von der Malsburg	Self-Organized Integration of Adaptive Visual Cues for Face Tracking.	FG	2000	DBLP DOI BibTeX RDF	sensory integration, Democratic Integration, computer vision, adaptivity, self-organization, face detection, sensor fusion, face tracking
23	Stanley Y. W. Su, Youzhong Liu, Jie Meng, Minsoo Lee, Herman Lam	Distributed and Concurrent Processing of Business Object Documents in Support of e-Enterprise Integration.	EDOC	2000	DBLP DOI BibTeX RDF	business object documents, e-enterprise integration, business enterprises, joint business, virtual e-enterprise, concurrent business processes, messaging approach, distributed object approach, business operations, application systems, BOD transmissions, extended information infrastructure, distributed concurrent process enactment, Internet, CORBA, process models, business process modelling, system integration, business data processing, Java RMI, concurrent processing, network structures, communication infrastructures, communication infrastructure, message transmission, distributed object technologies, legacy applications
23	Christopher Landauer, Kirstie L. Bellman	Active integration frameworks.	ICECCS	1995	DBLP DOI BibTeX RDF	active integration frameworks, very large software system building, system infrastructure, disparate components coordination, wrapping research, heterogeneous system integration, posed problem, coordinated resource collections, software engineering, knowledge based systems, systems analysis, knowledge bases, resource
23	J. Richard Newman, Sharon L. Rohde	Managing system technical risks using a process-based, integration infrastructure.	ICECCS	1995	DBLP DOI BibTeX RDF	system technical risks management, integration infrastructure, process-based infrastructure, system engineering automation, Catalyst, process-based integration infrastructure, technical performance measurement, systems analysis, risk management, risk management, systems engineering, systems engineers, safety-critical software
23	David Rine	A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	Perfective maintenance, integration of software components, software system assembly, object-oriented inheritance as an integration function, building common software systems, formal methods, management information systems, baseline, object-oriented development, basis, configuration control
23	Willem Pieterson, Marije Teerling	Channel Integration in Governmental Service Delivery: The Effects on Citizen Behavior and Perceptions.	EGOV	2009	DBLP DOI BibTeX RDF	channel integration, channel management, e-Government, multi-channeling
23	Laura M. Haas, Aya Soffer	New Challenges in Information Integration.	DaWaK	2009	DBLP DOI BibTeX RDF	data federation, business intelligence solutions, Information integration, data warehousing, analytics
23	Prathima Rao, Dan Lin 0001, Elisa Bertino, Ninghui Li, Jorge Lobo 0001	An algebra for fine-grained integration of XACML policies.	SACMAT	2009	DBLP DOI BibTeX RDF	policy integration, access control, XACML
23	Wei Dong 0002, Peng Li 0001	Parallelizable stable explicit numerical integration for efficient circuit simulation.	DAC	2009	DBLP DOI BibTeX RDF	explicit numerical integration, parallel computing, transient simulation
23	Yaser Karasneh, Hamidah Ibrahim, Mohamed Othman, Razali Yaakob	Integrating schemas of heterogeneous relational databases through schema matching.	iiWAS	2009	DBLP DOI BibTeX RDF	biomedical database, heterogeneous, schema matching, database integration
23	Matthias Böhm 0001, Uwe Wloka, Dirk Habich, Wolfgang Lehner	Workload-based optimization of integration processes.	CIKM	2008	DBLP DOI BibTeX RDF	workload adaptation, optimization, integration processes
23	Javier Espadas, David Romero 0001, David Concha, Arturo Molina 0001	Using the Zachman Framework to Achieve Enterprise Integration Based-on Business Process Driven Modelling.	OTM Workshops	2008	DBLP DOI BibTeX RDF	Business Process Modelling, Enterprise Integration, Enterprise Interoperability, Zachman Framework
23	Anish Das Sarma, Xin Dong 0001, Alon Y. Halevy	Bootstrapping pay-as-you-go data integration systems.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	mediated schema, pay-as-you-go, data integration, schema mapping
23	Joakim Fröberg, Mikael Åkerholm, Kristian Sandström, Christer Norström	Key factors for achieving project success in integration of automotive mechatronics.	Innov. Syst. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Embedded systems, Integration, System architecture, Automotive
23	Kuan-Ming Lin, Jaewoo Kang	Exploiting inter-gene information for microarray data integration.	SAC	2007	DBLP DOI BibTeX RDF	biological data integration, biomarker identification, gene interrelation, microarray analysis, gene clustering
23	Karthikeyan Umapathy, Sandeep Purao	Exploring Alternatives for Representing and Accessing Design Knowledge About Enterprise Integration.	ER	2007	DBLP DOI BibTeX RDF	action types, patterns, business process modeling, BPMN, speech acts, Enterprise integration, design knowledge, ontology reasoner
23	Juanqiong Gou, Xi Yang, Wei Dai 0009	On Demand Integration of Dynamic Supply Chain Application Based on Semantic Service Oriented Architecture.	CONFENIS (1)	2007	DBLP DOI BibTeX RDF	Dynamic supply chain, On-Demand integration, WSMX (Web Service Modeling Execution Environment), Ontology, Service-oriented architecture, Semantic grid
23	Schahram Dustdar, Martin Treiber	View Based Integration of Heterogeneous Web Service Registries - the Case of VISR.	World Wide Web	2006	DBLP DOI BibTeX RDF	Web service registry integration, Distributed web service registry, Web service discovery
23	Damires Souza, Ana Carolina Salgado, Patrícia Azevedo Tedesco	Towards a Context Ontology for Geospatial Data Integration.	OTM Workshops (2)	2006	DBLP DOI BibTeX RDF	Geospatial Data Integration, Ontologies, Context
23	Won So, Alexander G. Dean	Reaching fast code faster: using modeling for efficient software thread integration on a VLIW DSP.	CASES	2006	DBLP DOI BibTeX RDF	TI C6000, static profitability estimation, DSP, software pipelining, VLIW, iterative compilation, software thread integration
23	Marinos Themistocleous, Zahir Irani, Robert M. O'Keefe, Ray J. Paul	ERP Problems and Application Integration Issues: An Empirical Survey.	HICSS	2001	DBLP DOI BibTeX RDF	Enterprise Resource Planning, Enterprise Application Integration
23	Petter Gottschalk, Hans Solli-Sæther	Integration between Business Planning and Information Systems Planning: An Analysis of Technology Exploration and Exploitation in Different Value Configurations.	HICSS	2001	DBLP DOI BibTeX RDF	Integration mechanisms, activity configurations, the role of IS/IT, exploration and exploitation, strategic IS/IT plans, content analysis
23	Ngocdung Hoang, Michael Jenkins, Nicholas Karangelen	Data Integration for Military Systems Engineering.	ECBS	1996	DBLP DOI BibTeX RDF	design capture, evaluation, data integration, systems engineering
23	Uffe Kock Wiil	HyperDisco: An Object-Oriented Hypermedia Framework for Flexible Software System Integration.	COMPSAC	1995	DBLP DOI BibTeX RDF	Hypermedia framework, software system integration, modeling, rapid prototyping, extensibility, software development environments, openness, linking services
23	Kenneth C. Hoffman	Management of enterprise-wide systems integration programs.	J. Syst. Integr.	1993	DBLP DOI BibTeX RDF	architecture, metrics, information technology, Systems integration, re-engineering, software management
23	Xin Wang 0111, Linpeng Huang, Yi Zhang 0097	A Grid Middleware DISQ for Data Integration.	CSSE (3)	2008	DBLP DOI BibTeX RDF
23	Dunbing Tang	Collaborative Supplier Integration for Automotive Product Design and Development.	CSCWD	2007	DBLP DOI BibTeX RDF
23	Vamsi Salaka, Vittal Prabhu	Project Management for Enterprise Integration.	EDOC	2006	DBLP DOI BibTeX RDF
23	Janusz R. Getta	On Adaptive and Online Data Integration.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
23	Haeng-Kon Kim, Deok-Soo Han	Logic Frameworks for Components Integration Process.	KES (2)	2005	DBLP DOI BibTeX RDF
23	William Liu, Tay Jin Chua, J. Larn, Feng-Yu Wang, Tian Xiang Cai, Xiao-Feng Yin	APS, ERP and MES systems integration for semiconductor backend assembly.	ICARCV	2002	DBLP DOI BibTeX RDF
23	Christoph Bussler	B2B Integration Technology Architecture.	WECWIS	2002	DBLP DOI BibTeX RDF
23	Jan G. Verwer	On Time Staggering for Wave Equations.	J. Sci. Comput.	2007	DBLP DOI BibTeX RDF	Explicit time integration, Staggered time integration, Composite time integration, Wave equations
23	Huong Morris, Hui Liao, Sriram Padmanabhan, Sriram Srinivasan, Eugene Kawamoto, Phay Lau, Jing Shan, Ryan Wisnesky	Callisto: Mergers Without Pain.	BIRTE	2006	DBLP DOI BibTeX RDF	Master Data Integration, Business Objects Integration, ETL Technologies, Data warehouse, Business Intelligence, Enterprise Information Integration
23	Ladislav Kocis, William J. Whiten	Computational Investigations of Low-Discrepancy Sequences.	ACM Trans. Math. Softw.	1997	DBLP DOI BibTeX RDF	Faure sequence, Halton sequence, Monte Carlo and quasi Monte Carlo integration, Sobol sequence, error of numerical integration, generalized Halton sequence, discrepancy, low-discrepancy sequences
23	Maosong Sun, Dongliang Xu, Benjamin K. Tsou, Huaming Lu	An Integrated Approach to Chinese Word Segmentation and Part-of-Speech Tagging.	ICCPOL	2006	DBLP DOI BibTeX RDF	integration, smoothing, part-of-speech tagging, Chinese word segmentation
23	David V. Pynadath, Milind Tambe	An Automated Teamwork Infrastructure for Heterogeneous Software Agents and Humans.	Auton. Agents Multi Agent Syst.	2003	DBLP DOI BibTeX RDF	agent integration architectures, multiagent systems, teamwork
23	Subir K. Roy	Top Level SOC Interconnectivity Verification Using Formal Techniques.	MTV	2007	DBLP DOI BibTeX RDF
22	Frank Guerin, Lauriane Rat-Fischer	Benchmarking in Developmental Robotics.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus	Formal Specification of Robotic Architectures for Experimental Robotics.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Anthony M. Jarc, Ilana Nisky	Application and Exploration of Sensorimotor Coordination Strategies in Surgical Robotics.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Barbara Mazzolai, Laura Margheri, Cecilia Laschi	Quantitative Measurements of Octopus vulgaris Arms for Bioinspired Soft Robotics.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Hector Zenil	On the Complex Behaviour of Natural and Artificial Machines and Systems.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Diego Torricelli, S. M. Rahman Mizanoor, Vittorio Lippi, Maarten Weckx, Glenn Mathijssen, Bram Vanderborght, Thomas Mergner, Dirk Lefeber, José Luis Pons	Benchmarking Human Likeness of Bipedal Robot Locomotion: State of the Art and Future Trends.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Martin F. Stoelen, Davide Marocco, Fabio Bonsignorio, Angelo Cangelosi	Measuring Progress on an Approach for Interactive Learning of Context-Driven Actions.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Vincent C. Müller	Measuring Progress in Robotics: Benchmarking and the 'Measure-Target Confusion'.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Fabio Bonsignorio	Entropy Based Metrics of Sensory Motor Coordination - A Short Survey.	Metrics of Sensory Motor Coordination and Integration in Robots and Animals	2020	DBLP DOI BibTeX RDF
22	Kirti, Gagandeep, Anshu Singla	A Systematic Literature Survey: Development of Smart City Based on Various Internet of Things Architectures.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Mahmoud Abu Zaid, Mohamed Faizal, R. Maheswar 0001, Osamah Ibrahiem Abdullaziz	Toward Smart Urban Development Through Intelligent Edge Analytics.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Raluca Maria Aileni, George Suciu, Martin Serrano, R. Maheswar 0001, Carlos Alberto Valderrama Sakuyama, Sever Pasca	The Perspective of Smart Dust Mesh Based on IoEE for Safety and Security in the Smart Cities.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Ghazanfar Latif, Jaafar M. Alghazo, R. Maheswar 0001, P. Jayarajan, A. Sampathkumar	Internet of Things: Reformation of Garment Stores and Retail Shop Business Process.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Divya Gupta, Shalli Rani, Syed Hassan Ahmed, Rasheed Hussain	Caching Policies in NDN-IoT Architecture.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Ghazanfar Latif, Jaafar M. Alghazo, R. Maheswar 0001, P. Jayarajan, A. Sampathkumar	Impact of IoT-Based Smart Cities on Human Daily Life.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Pardeep Kaur, Shalli Rani	A Comprehensive Study of Attacks on the IoT and its Counter Measures Using Blockchain.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Himanshi Babbar, Shalli Rani	Software-Defined Networking Framework Securing Internet of Things.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	A. Sampathkumar, S. Murugan, Ahmed A. Elngar, Lalit Garg, R. Kanmani, A. Christy Jeba Malar	A Novel Scheme for an IoT-Based Weather Monitoring System Using a Wireless Sensor Network.	Integration of WSN and IoT for Smart Cities	2020	DBLP DOI BibTeX RDF
22	Neel A. Shimpi, Jordan L. Ashton, Cynthia A. Sorenson, Louay O. Danial, John O'Brien, William Melms, Amit Acharya	Interdisciplinary Care Model: Diabetes and Oral Health.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Robert H. Posteraro	Interdisciplinary Care Model: Papillon-Lefèvre Syndrome and Oral Health.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Jayanth Kumar Medam, Thankam Paul Thyvalikakath	Interdisciplinary Care Model: Odontogenic Infections and Systemic Complications.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Miguel H. Torres-Urquidy, Amit Acharya, Robert H. Posteraro, Valerie Powell, Thankam Paul Thyvalikakath	Conclusion.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Alok Sagar Panny, Kori Krueger, Amit Acharya	Achieving the 'True' Triple Aim in Healthcare.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Neel Shimpi, Ingrid Glurich, Amit Acharya	Integrated Care Case Study: Marshfield Clinic Health System.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Ingrid Glurich, Neel Shimpi, Amit Acharya	Interdisciplinary Care Model: Chronic Kidney Disease and Oral Health.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Miguel H. Torres-Urquidy	Biosurveillance and Dentistry.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Neel Shimpi, Richard A. Dart, Peter Umukoro, Amit Acharya	Interdisciplinary Care Model: Cardiovascular Diseases and Oral Health.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Amit Acharya, Shin-Mey Rose Yin Geist, Valerie Powell, Miguel H. Torres-Urquidy	An Environmental Scan of the Various Oral-Systemic Contact Points.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Casey Hein, Joseph Kilsdonk	The Need for Interprofessional Medical-Dental Education.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Neel Shimpi, Ram Pathak, Amit Acharya	Interdisciplinary Care Model: Metabolic Syndrome and Oral Health.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Ingrid Glurich, Neel Shimpi, Frank Scannapieco, Jayanth Vedre, Amit Acharya	Interdisciplinary Care Model: Pneumonia and Oral Health.	Integration of Medical and Dental Care and Patient Data	2019	DBLP DOI BibTeX RDF
22	Aissam Belghiat, Allaoua Chaoui, Mokhtar Beldjehem	Capturing and Verifying Dynamic Systems Behavior Using UML and \pi π -Calculus.	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	Elham Akhond Zadeh Noughabi, Behrouz H. Far, Amir Albadvi	Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining - A Segmentation Analysis Perspective.	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	Jiawei Zhang 0001, Qianyi Zhan, Philip S. Yu	Concurrent Alignment of Multiple Anonymized Social Networks with Generic Stable Matching.	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	Bolong Zeng, Li Tan	Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements.	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	Sepideh Afkhami Goli, Behrouz H. Far, Abraham O. Fapojuwo	An Accurate Multi-sensor Multi-target Localization Method for Cooperating Vehicles.	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	Asmaa Chebba, Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib	Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse.	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi	A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet.	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	David J. Dittman, Taghi M. Khoshgoftaar, Amri Napolitano	Is Data Sampling Required When Using Random Forest for Classification on Imbalanced Bioinformatics Data?	Theoretical Information Reuse and Integration	2016	DBLP DOI BibTeX RDF
22	Umair Siddique, Sofiène Tahar	On the Formalization of Cardinal Points of Optical Systems.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Nathaniel Moseley, Cecilia Ovesdotter Alm, Manjeet Rege	On Utilizing Nonstandard Abbreviations and Lexicon to Infer Demographic Attributes of Twitter Users.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Luke K. McDowell, Aaron Fleming, Zane Markel	Evaluating and Extending Latent Methods for Link-Based Classification.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Éric Grégoire	Any-Time Knowledge Revision and Inconsistency Handling.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Abdelli Abdelkrim	Towards a General Model to Handle Multi-enabledness in Time Petri Nets.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Sarfaraz Soomro, Andréa M. Matsunaga, José A. B. Fortes	Simplifying Extract-Transform-Load for Ranked Hierarchical Trees via Mapping Specifications.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Johanna Nellen, Erika Ábrahám, Benedikt Wolters	A CEGAR Tool for the Reachability Analysis of PLC-Controlled Plants Using Hybrid Automata.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Aymen Louati, Kamel Barkaoui, Chadlia Jerad	Temporal Properties Verification of Real-Time Systems Using UML/MARTE/OCL-RT.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Mahin Abbasipour, Margarete Sackmann, Ferhat Khendek, Maria Toeroe	A Model-Based Approach for User Requirements Decomposition and Component Selection.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF
22	Li Tan, Bolong Zeng	Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement.	Formalisms for Reuse and Systems Integration	2015	DBLP DOI BibTeX RDF