Search results for "ECBS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Vaclav Dvorak	Time- and Space-Efficient Evaluation of Sparse Boolean Functions in Embedded Software.	ECBS	2007	DBLP DOI BibTeX RDF
1	Stephan Schulz 0002, Jukka Honkola, Antti Huima	Towards Model-Based Testing with Architecture Models.	ECBS	2007	DBLP DOI BibTeX RDF
1	Peter Zoeteweij, Rui Abreu 0001, Rob Golsteijn, Arjan J. C. van Gemund	Diagnosis of Embedded Software Using Program Spectra.	ECBS	2007	DBLP DOI BibTeX RDF
1	Gregorio Díaz 0001, Elena Navarro 0001, María-Emilia Cambronero, Valentín Valero, Fernando Cuartero	Testing Time Goal-Driven Requirements with Model Checking Techniques.	ECBS	2007	DBLP DOI BibTeX RDF
1	Sérgio F. Lopes, Adriano Tavares, João Monteiro 0001, Carlos A. Silva 0002	Design and Description of a Classification System Framework for Easier Reuse.	ECBS	2007	DBLP DOI BibTeX RDF
1	Cord Giese, Arnd Schnieders, Jens Weiland	A Practical Approach for Process Family Engineering of Embedded Control Software.	ECBS	2007	DBLP DOI BibTeX RDF
1	Galen Rasche, Erin Allwein, Michael S. Moore, Ben Abbott	Model-Based Cyber Security.	ECBS	2007	DBLP DOI BibTeX RDF
1	Nanjun Li	Node-Oriented Modeling and Simulation of IP Networks.	ECBS	2007	DBLP DOI BibTeX RDF
1	Bas Graaf, Arie van Deursen	Visualisation of Domain-Specific Modelling Languages Using UML.	ECBS	2007	DBLP DOI BibTeX RDF
1	Lucas C. Cordeiro, Raimundo S. Barreto, Rafael Barcelos, Meuse N. Oliveira Jr., Vicente Lucena, Paulo Romero Martins Maciel	Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach.	ECBS	2007	DBLP DOI BibTeX RDF
1	Matthias Riebisch, Sven Wohlfarth	Introducing Impact Analysis for Architectural Decisions.	ECBS	2007	DBLP DOI BibTeX RDF
1	Zenon Chaczko, Ryszard Klempous, Jan Nikodem, Michal Nikodem	Methods of Sensors Localization in Wireless Sensor Networks.	ECBS	2007	DBLP DOI BibTeX RDF
1	Jukka Honkola, Sari Leppänen, Pasi Rinne-Rahkola, Martti Soderlund, Markku Turunen, Kimmo Varpaaniemi	A Case Study: Applying Lyra in Modeling S60 Camera Functionality.	ECBS	2007	DBLP DOI BibTeX RDF
1	Ramya Ravichandar, James D. Arthur, Robert P. Broadwater	Reconciling Synthesis and Decomposition: A Composite Approach to Capability Identification.	ECBS	2007	DBLP DOI BibTeX RDF
1	Tony Spiteri Staines	Supporting UML Sequence Diagrams Using a Processor Net Model.	ECBS	2007	DBLP DOI BibTeX RDF
1	Abdallah Mohamed, Günther Ruhe, Armin Eberlein	COTS Selection: Past, Present, and Future.	ECBS	2007	DBLP DOI BibTeX RDF
1	Jan Nikodem, Maciej Nikodem	Secure Communication Trees in Ad Hoc Networks.	ECBS	2007	DBLP DOI BibTeX RDF
1	Claudio Talarico, Min-Sung Koh, Esteban Rodriguez-Marek	System Level Performance Assessment of SOC Processors with SystemC.	ECBS	2007	DBLP DOI BibTeX RDF
1	Chia-Chu Chiang	Reengineering a Legacy Tool for Software Evolution.	ECBS	2007	DBLP DOI BibTeX RDF
1	Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi Hassaïne	Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.	ECBS	2007	DBLP DOI BibTeX RDF
1	Vu Van Tan, Dae-Seung Yoo, Myeong-Jae Yi	Modern Distributed Data Acquisition and Control Systems Based on OPC Techniques.	ECBS	2007	DBLP DOI BibTeX RDF
1	Jianfeng Peng, Chuan Feng, Haiyan Qiao, Jerzy W. Rozenblit	An Event-Driven Architecture for Fine Grained Intrusion Detection and Attack Aftermath Mitigation.	ECBS	2007	DBLP DOI BibTeX RDF
1	David Colquitt, John Leaney	Expanding the View on Complexity within the Architecture Trade-off Analysis Method.	ECBS	2007	DBLP DOI BibTeX RDF
1	Oliver Skroch	Validation of Component-Based Software with a Customer Centric Domain Level Approach.	ECBS	2007	DBLP DOI BibTeX RDF
1	Philipp Liegl	The Strategic Impact of Service Oriented Architectures.	ECBS	2007	DBLP DOI BibTeX RDF
1	Artem Parakhine, Tim O'Neill, John Leaney	Application of Bayesian Networks to Architectural Optimisation.	ECBS	2007	DBLP DOI BibTeX RDF
1	Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate	Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.	ECBS	2007	DBLP DOI BibTeX RDF
1	Jing Dong 0005, Dushyant S. Lad, Yajing Zhao	DP-Miner: Design Pattern Discovery Using Matrix.	ECBS	2007	DBLP DOI BibTeX RDF
1	Michael Thonhauser, Gernot Schmoelzer, Christian Kreiner	Model-Based Data Processing with Transient Model Extensions.	ECBS	2007	DBLP DOI BibTeX RDF
1	Ryszard Klempous, Jan Nikodem, Lukasz Radosz, Norbert Raus	Adaptive Misbehavior Detection in Wireless Sensors Network Based on Local Community Agreement.	ECBS	2007	DBLP DOI BibTeX RDF
1	Ivonne Erfurth, Wilhelm R. Rossak	A Look at Typical Difficulties in Practical Software Development from the Developer Perspective - A Field Study and a First Solution Proposal with UPEX.	ECBS	2007	DBLP DOI BibTeX RDF
1	Hanees Haniffa, Jerzy W. Rozenblit, Jianfeng Peng, Allan J. Hamilton, Mohamad Salkini	Motion Planning System for Minimally Invasive Surgery.	ECBS	2007	DBLP DOI BibTeX RDF
1	Matthias Werner 0001, Gero Mühl	A State Equation for Petri Nets with Delaying Places.	ECBS	2006	DBLP DOI BibTeX RDF
1	Adeniyi Onabajo, Jens H. Jahnke	Modelling and Reasoning for Confidentiality Requirements in Software Development.	ECBS	2006	DBLP DOI BibTeX RDF
1		Reviewers.	ECBS	2006	DBLP DOI BibTeX RDF
1	Periklis Sochos, Matthias Riebisch, Ilka Philippow	The Feature-Architecture Mapping (FArM) Method for Feature-Oriented Development of Software Product Lines.	ECBS	2006	DBLP DOI BibTeX RDF
1	Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard	Automated Translation of C/C++ Models into a Synchronous Formalism.	ECBS	2006	DBLP DOI BibTeX RDF	GNU Compiler Collection, Synchronous Formalism, Functional and Compositional Design Correctness, Formal Methods, SIGNAL, Static Single Assignment
1	Klaus Meffert	Supporting Design Patterns with Annotations.	ECBS	2006	DBLP DOI BibTeX RDF	words: semantic assertions, selecting design patterns, design pattern intentions, design pattern templates, Java, annotations
1	Prabhat Ranjan, Arun Kumar Misra	An Enhanced Model For Agent Based Requirement Gathering And Pre-System Analysis.	ECBS	2006	DBLP DOI BibTeX RDF
1	Zhongbao Zhou, Guang Jin, Doudou Dong, Jinglun Zhou	Reliability Analysis of Multistate Systems Based on Bayesian Networks.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jennifer Pérez, Elena Navarro 0001, Patricio Letelier 0001, Isidro Ramos	A Modelling Proposal for Aspect-Oriented Software Architectures.	ECBS	2006	DBLP DOI BibTeX RDF
1	Tony Spiteri Staines	Using a Timed Petri Net (TPN) to Model a Bank ATM.	ECBS	2006	DBLP DOI BibTeX RDF
1	Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian	Model Transformations in the Model-Based Development of Real-time Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	Josef Strnadel, Arghya Kumar Dhali	Novel Optimizing Approach in the Area of STEP-Based Construction of Sessionless, Power-Constrainted, TAM and Time Optimal Test Schedules.	ECBS	2006	DBLP DOI BibTeX RDF
1	Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia Lawall	Safe Integration of New Concerns in a Software Architecture.	ECBS	2006	DBLP DOI BibTeX RDF
1	Ethan K. Jackson, Janos Sztipanovits	Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality.	ECBS	2006	DBLP DOI BibTeX RDF
1	Luay Alawneh, Mourad Debbabi, Yosr Jarraya, Andrei Soeanu, Fawzi Hassaïne	A Unified Approach for Verification and Validation of Systems and Software Engineering Models.	ECBS	2006	DBLP DOI BibTeX RDF
1	Marcel Seelig	Performance Considerations on Composite Applications.	ECBS	2006	DBLP DOI BibTeX RDF
1	Haroon Saleem Khan	Achieving Reusability through Interoperability.	ECBS	2006	DBLP DOI BibTeX RDF
1		Welcome.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jens Bæk Jørgensen, Kristian Bisgaard Lassen	Requirements Engineering for the Adviser Portal Bank System.	ECBS	2006	DBLP DOI BibTeX RDF	Modelling and simulation of computer systems, requirements elicitation and analysis, Petri nets, formal models, industrial case study
1	Claudio Talarico, Esteban Rodriguez-Marek, Min-Sung Koh	Multi-Objective Design Space Exploration Methodologies for Platform based SOCs.	ECBS	2006	DBLP DOI BibTeX RDF
1	Nikos Migas, William J. Buchanan	An auto-Configurable, and, Adaptable, Metric-driven Cluster-head Organisation for Hybrid Multi-hop Routing.	ECBS	2006	DBLP DOI BibTeX RDF
1	Ying-Wen Bai, Yu-Nien Yang	An Analysis and Measurement of the Equivalent Model of Serial Queues for a Load Balancer and a Web Server of a Web Cluster with a Low Rejection Rate.	ECBS	2006	DBLP DOI BibTeX RDF
1	Xinyou Zhao, Mitsuji Matsumoto, Yan Zhang	A Real-time Interactive Instructor Framework for Distance Education.	ECBS	2006	DBLP DOI BibTeX RDF
1	Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda	Designing algorithm-oriented generic library on .NET framework.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jules White, Douglas C. Schmidt	FireAnt: A Tool for Reducing Enterprise Product Line Architecture Deployment, Configuration, and Testing Costs.	ECBS	2006	DBLP DOI BibTeX RDF
1	Ibrahim Armac, Michael Kirchhof, Liviana Manolescu	Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jianfeng Peng, Chuan Feng, Jerzy W. Rozenblit	A Hybrid Intrusion Detection and Visualization System.	ECBS	2006	DBLP DOI BibTeX RDF
1	Ivonne Erfurth	Customer-oriented Development of Complex Distributed Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	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
1	Miroslav Popovic, Ilija Basicevic, Ivan Velikic, Jelena Tatic	A Model-Based Statistical Usage Testing of Communication Protocols.	ECBS	2006	DBLP DOI BibTeX RDF	generic modeling environment, statistical usage testing, test harness, software reliability, test case generator, test cases, operational profile, test bed
1		Committees.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jiang Guo, Yuehong Liao, Behzad Parviz	A Collaboration-Oriented Software Architecture Modeling System - JArchiDesigner.	ECBS	2006	DBLP DOI BibTeX RDF
1	Bernhard Gröne	Conceptual Patterns.	ECBS	2006	DBLP DOI BibTeX RDF
1	Stoyan Paunov, James H. Hill, Douglas C. Schmidt, Steven D. Baker, John M. Slaby	Domain-Specific Modeling Languages for Configuring and Evaluating Enterprise DRE System Quality of Service.	ECBS	2006	DBLP DOI BibTeX RDF
1	Steffen Kern, Torsten Dettborn, Ronny Eckhaus, Yang Ji, Christian Erfurth, Wilhelm R. Rossak, Peter Braun 0002	Assistant-Based Mobile Supply Chain Management.	ECBS	2006	DBLP DOI BibTeX RDF
1	Péter Völgyesi, András Nádas, Ákos Lédeczi	Reliable Multihop Bulk Transfer Service for Wireless Sensor Networks.	ECBS	2006	DBLP DOI BibTeX RDF
1	Cameron Maxwell, Tim O'Neill, John Leaney	A Framework for Understanding Heuristics in Architectural Optimisation.	ECBS	2006	DBLP DOI BibTeX RDF
1	Tao Huang 0017, Zongkai Yang, Jixin Wang, Qingtang Liu, Xia Li, Gang Zhao 0004	Standardized Content Service System for Distributed E-learning Resource.	ECBS	2006	DBLP DOI BibTeX RDF
1	Lizhi Yang, Chuan Feng, Jerzy W. Rozenblit, Haiyan Qiao	Adaptive Tracking in Distributed Wireless Sensor Networks.	ECBS	2006	DBLP DOI BibTeX RDF
1	Richard A. Pyne, Ezra Kaahwa Mugisa	Retrieving Software Components from a Heterogeneous Repository: a Semantic Syntactic Approach.	ECBS	2006	DBLP DOI BibTeX RDF
1	Yucong Duan, Yuqing Gu, Xiaolan Fu, Shing-Chi Cheung, Jing Wang, Qingwu Hu	Distinguishing between Automatic and Manual Aspects of Model Driven Development.	ECBS	2006	DBLP DOI BibTeX RDF
1	Joachim Bayer, Dirk Muthig	A View-Based Approach for Improving Software Documentation Practices.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jiang Guo, Yuehong Liao, Behzad Parviz	A Performance Validation Tool for J2EE Applications.	ECBS	2006	DBLP DOI BibTeX RDF
1	Piotr Tomaszewski, Jim Håkansson, Lars Lundberg, Håkan Grahn	The Accuracy of Fault Prediction in Modified Code - Statistical Model vs. Expert Estimation.	ECBS	2006	DBLP DOI BibTeX RDF
1	Sven Wohlfarth, Matthias Riebisch	Evaluating Alternatives for Architecture-Oriented Refactoring.	ECBS	2006	DBLP DOI BibTeX RDF	Software Architecture, Software Quality, Refactoring, Reengineering, Decision Theory
1	Dharmender Singh Kushwaha, Arun Kumar Misra	Evaluating Cognitive Information Complexity Measure.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jarkko Hyysalo, Päivi Parviainen, Maarit Tihinen	Collaborative Embedded Systems Development: Survey of State of the Practice.	ECBS	2006	DBLP DOI BibTeX RDF
1	Ki-Hyeon Kim, Bong-Soo Ha, Yong-Doo Lee, Won-Kee Hong	DILSA : Distributed In-door Location System Architecture.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jung-sick Byun, Woo-Suk Shim, Won-Kee Hong	WSN-based Intelligent Telematics System.	ECBS	2006	DBLP DOI BibTeX RDF
1	Steffen Kollmann, Karsten Albers, Frank Bodmann, Frank Slomka	Modifications on Event Streams for the Real-Time Analysis of Distributed Fixed-Priority Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	Marco Sinnema, Sybren Deelstra, Jos Nijhuis, Jan Bosch	Modeling Dependencies in Product Families with COVAMOF.	ECBS	2006	DBLP DOI BibTeX RDF
1	Hassan Ghasemzadeh 0001, Sepideh Mazrouee, Mohammad Reza Kakoee	Modified Pseudo LRU Replacement Algorithm.	ECBS	2006	DBLP DOI BibTeX RDF
1	Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin	Present and Future Requirements in Developing Industrial Embedded Real-Time Systems - Interviews with Designers in the Vehicle Domain.	ECBS	2006	DBLP DOI BibTeX RDF
1	Jing Dong 0005, Sheng Yang 0002, Kang Zhang 0001	A Model Transformation Approach for Design Pattern Evolutions.	ECBS	2006	DBLP DOI BibTeX RDF	JTP, Design pattern evolution, Design pattern, Model Transformation, XSLT, XMI
1	Chengwan He, Zhijie Nie, Bifeng Li, Lianlian Cao, Keqing He	Rava: Designing a Java Extension with Dynamic Object Roles.	ECBS	2006	DBLP DOI BibTeX RDF
1	D'Arcy Walsh, Francis Bordeleau, Bran Selic	Change Types of Dynamic System Reconfiguration.	ECBS	2006	DBLP DOI BibTeX RDF
1		13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany	ECBS	2006	DBLP BibTeX RDF
1	Nikola Bogunovic, Edgar Pek	Model Checking Procedures for Infinite State Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	David Livolsi, Tim O'Neill, John Leaney, Mark Denford, Kyle Dunsire	Guided Architecture-based Design Optimisation of CBSs.	ECBS	2006	DBLP DOI BibTeX RDF
1	Frank Keenan, David W. Bustard	Aligning Computing Systems with their Environment: An Agile Perspective.	ECBS	2006	DBLP DOI BibTeX RDF
1	Elena Navarro 0001, Pedro Sánchez, Patricio Letelier 0001, Juan Angel Pastor, Isidro Ramos	A Goal-Oriented Approach for Safety Requirements Specification.	ECBS	2006	DBLP DOI BibTeX RDF
1	Mohammed Hussein, Mohammad Zulkernine	UMLintr: A UML Profile for Specifying Intrusions.	ECBS	2006	DBLP DOI BibTeX RDF
1	Stephanie M. White	Requirements for Distributed Mission-Critical Decision Support Systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	Abbas Heydarnoori, Farhad Mavaddat, Farhad Arbab	Deploying Loosely Coupled, Component-based Applications into Distributed Environments.	ECBS	2006	DBLP DOI BibTeX RDF
1	Matteo Marchesotti, Roberto Podestá, Mauro Migliardi	A Measurement-Based Analysis of the Responsiveness of the Linux Kernel.	ECBS	2006	DBLP DOI BibTeX RDF	embedded systems, linux, soft real-time
1	Arnd Schnieders	Variability Mechanism Centric Process Family Architectures.	ECBS	2006	DBLP DOI BibTeX RDF
1	Victor Chang 0001	Experiments and Investigations for the Personal High Performance Computing (PHPC) built on top of the 64-bit processing and clustering systems.	ECBS	2006	DBLP DOI BibTeX RDF
1	Fang Liu, Bo Guo, Jianyin Zhao	Mission Dependability Modeling and Evaluation of Repairable Systems Considering Maintenance Capacity.	ECBS	2006	DBLP DOI BibTeX RDF

Publications at "ECBS"( http://dblp.L3S.de/Venues/ECBS )