Search results for "ECBS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Tae-Hwan Kim, Seung-Il Lee, Yong-Doo Lee, Won-Kee Hong	Design and Evaluation of In-vehicle Sensor Network for Web based Control.	ECBS	2006	DBLP DOI BibTeX RDF
1	Josef Strnadel, Zdenek Kotásek	SET: Interactive Tool for Learning and Training Scan-Based DFT Principles and Their Consequences to Parameters of Embedded System.	ECBS	2006	DBLP DOI BibTeX RDF
1	Michael G. Hinchey, James L. Rash, Christopher A. Rouff	A Formal Approach to Requirements-Based Programming.	ECBS	2005	DBLP DOI BibTeX RDF	requirements-based programming, verification, formal methods, Validation, automatic code generation
1		Using Connectors to Integrate Software Components.	ECBS	2005	DBLP DOI BibTeX RDF
1	Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar	Effects of Computation Speed on the Stability of a Self-Controlling Process.	ECBS	2005	DBLP DOI BibTeX RDF
1	Nikos Migas, William J. Buchanan	Metric Evaluation of Embedded Java-Based Proxies on Handheld Devices in Cluster-Based Ad Hoc Routing.	ECBS	2005	DBLP DOI BibTeX RDF
1		12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA	ECBS	2005	DBLP BibTeX RDF
1	James D. Baldassari, Christopher L. Kopec, Eric S. Leshay, Walt Truszkowski, David Finkel	Autonomic Cluster Management System (ACMS): A Demonstration of Autonomic Principles at Work.	ECBS	2005	DBLP DOI BibTeX RDF
1	Jorge Fox, Jan Jürjens	Introducing Security Aspects with Model Transformations.	ECBS	2005	DBLP DOI BibTeX RDF
1	Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty, Steven Nordstrom, Michael Haney	Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	James L. Rash, Michael G. Hinchey, Christopher A. Rouff, Denis Gracanin, John Erickson	Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System.	ECBS	2005	DBLP DOI BibTeX RDF
1	Anne-Marie Bosneag, Monica Brockmeyer	A Unified Formal Specification for a Multi-Consistency Replication System for DHTs.	ECBS	2005	DBLP DOI BibTeX RDF	replica consistency, multi-consistency replication, reliability, formal specification, distributed hash table
1	Peter Tabeling, Bernhard Gröne	Integrative Architecture Elicitation for Large Computer Based Systems.	ECBS	2005	DBLP DOI BibTeX RDF	Fundamental Modeling Concepts, Modeling, Architecture, Heterogeneous Systems, FMC
1	Claudio Talarico, Aseem Gupta, Ebenezer Peter, Jerzy W. Rozenblit	Embedded System Engineering Using C/C++ Based Design Methodologies.	ECBS	2005	DBLP DOI BibTeX RDF
1	Stephen Doxsee, William B. Gardner	Synthesis of C++ Software from Verifiable CSPm Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
1	Miroslav Popovic, Ivan Velikic	A Generic Model-Based Test Case Generator.	ECBS	2005	DBLP DOI BibTeX RDF	statistical usage testing, large-scale embedded systems, software reliability, test case generator, test cases, operational profile
1	Jamie L. Smith, Shawn A. Bohner, D. Scott McCrickard	Toward Introducing Notification Technology into Distributed Project Teams.	ECBS	2005	DBLP DOI BibTeX RDF
1	Roy Sterritt, Michael G. Hinchey	Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions.	ECBS	2005	DBLP DOI BibTeX RDF	Self-Destruction, Pulse Monitoring, Autonomic Computing, Autonomic Agents, Exploration, Self-Protection, Apoptosis
1	Fabrice Saffre, Håvard Rast Blok	"SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities.	ECBS	2005	DBLP DOI BibTeX RDF
1	Martin Randles, A. Taleb-Bendiab, Philip Miseldine, Andy Laws	Adjustable Deliberation of Self-Managing Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	Jewgenij Botaschanjan, Jan Jürjens	MoDeII: Modeling and Analyzing Time-Constraints.	ECBS	2005	DBLP DOI BibTeX RDF
1	Michael Coram, Shawn A. Bohner	The Impact of Agile Methods on Software Project Management.	ECBS	2005	DBLP DOI BibTeX RDF
1	Marin Marinov, Dimiter R. Avresky, Ngoc Thanh Nguyen 0001	Parallel and Reliable Execution of a WDR Algorithm in High Speed Networks.	ECBS	2005	DBLP DOI BibTeX RDF	WDR, reliable execution, high speed networks - SAN, parallelization, wavelet
1	Esther M. Gelle, Thomas E. Koch, Patrick Sager	IT Asset Management of Industrial Automation Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	Hamid R. Zarandi, Seyed Ghassem Miremadi	Hierarchical Multiple Associative Mapping in Cache Memories.	ECBS	2005	DBLP DOI BibTeX RDF
1	Steven Nordstrom, Shweta Shetty, Di Yao 0005, Shikha Ahuja, Sandeep Neema, Ted Bapty	The Action Language: Refining a Behavioral Modeling Language.	ECBS	2005	DBLP DOI BibTeX RDF
1	Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner	Checking and Transforming Models with AutoFOCUS.	ECBS	2005	DBLP DOI BibTeX RDF
1	Ricardo Jorge Machado 0001, João M. Fernandes, Paula Monteiro, Helena Rodrigues	Transformation of UML Models for Service-Oriented Software Architectures.	ECBS	2005	DBLP DOI BibTeX RDF
1	Darren Dalcher, Oddur Benediktsson, Helgi Thorbergsson	Development Life Cycle Management: A Multiproject Experiment.	ECBS	2005	DBLP DOI BibTeX RDF
1	Bernhard Gröne, Andreas Knöpfel, Peter Tabeling	Component vs. Component: Why We Need More Than One Definition.	ECBS	2005	DBLP DOI BibTeX RDF
1	Antony Tang, Jun Han 0004	Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness.	ECBS	2005	DBLP DOI BibTeX RDF
1	Fahad T. Alotaiby, Jim X. Chen, Harry Wechsler, Edward J. Wegman, Deborah Sprague	Adaptive Web-Based Learning System.	ECBS	2005	DBLP DOI BibTeX RDF
1	Stephanie M. White	Improving the System/Software Engineering Interface for Complex System Development.	ECBS	2005	DBLP DOI BibTeX RDF
1	Qianxiang Wang, Aditya P. Mathur	Interceptor Based Constraint Violation Detection.	ECBS	2005	DBLP DOI BibTeX RDF
1	Shih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston	QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao	Configuration Management for Designs of Software Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	Barbara Di Eugenio, Michael J. Trolio	Generating Driving Directions for Intelligent Vehicles Interfaces.	ECBS	2005	DBLP DOI BibTeX RDF
1	Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda	A Framework for Formal Specification of Embedded Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh, Rean Griffith, Gail E. Kaiser, Dan B. Phung	Self-Managing Systems: A Control Theory Foundation.	ECBS	2005	DBLP DOI BibTeX RDF
1	Gerald Friedland, Karl Pauls	Towards a Demand Driven, Autonomous Processing and Streaming Architecture.	ECBS	2005	DBLP DOI BibTeX RDF
1	Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto	Model Checking Embedded Systems with PROMELA.	ECBS	2005	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Ralf Nagel 0001, Bernhard Steffen	Remote Integration and Coordination of Verification Tools in JETI.	ECBS	2005	DBLP DOI BibTeX RDF
1	Hui Ding, Kihwal Lee, Lui Sha	Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	Jesús Manuel Almendros-Jiménez, Luis Iribarne	Designing GUI Components for UML Use Cases.	ECBS	2005	DBLP DOI BibTeX RDF
1	Yuan Rao, Zunchao Li, Boqin Feng, Jincang Han	Architecture-Based Web Service Composition Framework and Strategy.	ECBS	2005	DBLP DOI BibTeX RDF
1		EASe Introduction.	ECBS	2005	DBLP DOI BibTeX RDF
1	Roy Sterritt, Michael G. Hinchey	Autonomic Computing - Panacea or Poppycock?	ECBS	2005	DBLP DOI BibTeX RDF
1	Cameron Maxwell, Artem Parakhine, John Leaney, Tim O'Neill, Mark Denford	Heuristic-Based Architecture Generation for Complex Computer System Optimisation.	ECBS	2005	DBLP DOI BibTeX RDF
1	Cory Plock, Benjamin Goldberg, Lenore D. Zuck	From Requirements to Specifications.	ECBS	2005	DBLP DOI BibTeX RDF
1	Denis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner	A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based Architecture.	ECBS	2005	DBLP DOI BibTeX RDF
1	Hemant Sengar, Duminda Wijesekera, Sushil Jajodia	Authentication and Integrity in Telecommunication Signaling Network.	ECBS	2005	DBLP DOI BibTeX RDF
1	Kyle Dunsire, Tim O'Neill, Mark Denford, John Leaney	The ABACUS Architectural Approach to Computer-Based System and Enterprise Evolution.	ECBS	2005	DBLP DOI BibTeX RDF
1	D. Vaidya, Jianfeng Peng, Lizhi Yang, Jerzy W. Rozenblit	A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network.	ECBS	2005	DBLP DOI BibTeX RDF
1	Cristina Cerschi Seceleanu	Formal Development of Real-Time Priority-Based Schedulers.	ECBS	2005	DBLP DOI BibTeX RDF
1	Phan Cong Vinh, Jonathan P. Bowen	Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.	ECBS	2005	DBLP DOI BibTeX RDF
1	Shweta Shetty, Steven Nordstrom, Shikha Ahuja, Di Yao 0005, Ted Bapty, Sandeep Neema	Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages.	ECBS	2005	DBLP DOI BibTeX RDF
1	Nigel Sheridan-Smith, John Leaney, Tim O'Neill, Mark Hunter	A Policy-Driven Autonomous System for Evolutive and Adaptive Management of Complex Services and Networks.	ECBS	2005	DBLP DOI BibTeX RDF
1	David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, Andrew Laws, Martin Randles, Frank Keenan	Towards a Systemic Approach to Autonomic Systems Engineering.	ECBS	2005	DBLP DOI BibTeX RDF
1	Shuyu Li, XiaoJiang Li, Jian Wu	Components and Contracts for Embedded Software.	ECBS	2005	DBLP DOI BibTeX RDF	ESIM, component, embedded, contract
1	Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli	Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment.	ECBS	2005	DBLP DOI BibTeX RDF
1	Fergal McCaffery, Donald McFall, Pat Donnelly, F. George Wilkie, Roy Sterritt	A Software Process Improvement Lifecycle Framework for the Medical Device Industry.	ECBS	2005	DBLP DOI BibTeX RDF
1	David W. Bustard, Frank Keenan	Strategies for Systems Analysis: Groundwork for Process Tailoring.	ECBS	2005	DBLP DOI BibTeX RDF
1	Roy Sterritt, Michael G. Hinchey	Why Computer-Based Systems Should Be Autonomic.	ECBS	2005	DBLP DOI BibTeX RDF	Future Computing Paradigms, Complexity, Autonomic Computing, Autonomic Systems, Self-Managing Systems, Total Cost of Ownership
1	Tim Schattkowsky, Alexander Förster	A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities.	ECBS	2005	DBLP DOI BibTeX RDF
1	Matthias Riebisch, Michael Hübner 0003	Traceability-Driven Model Refinement for Test Case Generation.	ECBS	2005	DBLP DOI BibTeX RDF
1	Robert Fischer 0002, Klaus Buchenrieder, Ulrich Nageldinger	Reducing the Power Consumption of FPGAs through Retiming.	ECBS	2005	DBLP DOI BibTeX RDF
1	Li Jiang 0006, Armin Eberlein, Behrouz Homayoun Far	Combining Requirements Engineering Techniques - Theory and Case Study.	ECBS	2005	DBLP DOI BibTeX RDF	Requirements engineering techniques, project characteristics, requirements engineering process
1	Roy Sterritt, Barry Smyth, Martin M. Bradle	PACT: Personal Autonomic Computing Tools.	ECBS	2005	DBLP DOI BibTeX RDF	Personal Autonomic Computing, Autonomic Computing, Self-Monitoring
1	Fernando J. Barros	Simulating Data Generated by a Network of Track-While-Scan Radars.	ECBS	2005	DBLP DOI BibTeX RDF
1	Garrin Kimmell, Ed Komp, Perry Alexander	Building Compilers by Combining Algebras.	ECBS	2005	DBLP DOI BibTeX RDF
1	J.-Hendrik Pfeiffer, Wilhelm R. Rossak, Andreas Speck	Applying Model Checking to Workflow Verification.	ECBS	2004	DBLP DOI BibTeX RDF
1	Ilian Pashov, Matthias Riebisch	Using Feature Modeling for Program Comprehension and Software Architecture Recovery.	ECBS	2004	DBLP DOI BibTeX RDF
1	Ole Blaurock	A Modular Approach to SystemC-Based Codesign Promoting Reuse of High-Level Legacy C-Models.	ECBS	2004	DBLP DOI BibTeX RDF
1	Ondrej Rysavý, Frantisek Bures	Formal Abstract Architecture for Use Case Specifications.	ECBS	2004	DBLP DOI BibTeX RDF
1	P. Garg, Aseem Gupta, Jerzy W. Rozenblit	Performance Analysis of Embedded Systems in the Virtual Component Co-Design Environment.	ECBS	2004	DBLP DOI BibTeX RDF
1	Richard Ruzicka, Pavel Tupec	Formal Approach to Synthesis of a Test Controller.	ECBS	2004	DBLP DOI BibTeX RDF
1		11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic	ECBS	2004	DBLP BibTeX RDF
1	Jirí Kotzian, Vilém Srovnal	Design and Optimization of Distributed Control System using UML Model.	ECBS	2004	DBLP DOI BibTeX RDF
1	Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey	Asteroid Exploration with Autonomic Systems.	ECBS	2004	DBLP DOI BibTeX RDF	asteroid, spacecraft, Agent, autonomy, autonomic
1	Miroslav Svéda	A Design Framework for Internet-Based Embedded Distributed Systems.	ECBS	2004	DBLP DOI BibTeX RDF
1	Walt Truszkowski, James L. Rash, Christopher A. Rouff, Michael G. Hinchey	Some Autonomic Properties of Two Legacy Multi-Agent Systems - LOGOS and ACT.	ECBS	2004	DBLP DOI BibTeX RDF
1	Mark Denford, John Leaney, Tim O'Neill	Non-Functional Refinement of Computer Based Systems Architecture.	ECBS	2004	DBLP DOI BibTeX RDF
1	João M. Fernandes, Johan Lilius	Functional and Object-Oriented Views in Embedded Software Modeling.	ECBS	2004	DBLP DOI BibTeX RDF
1	Stephanie M. White	A Comparative Analysis of Object-Oriented and Other Methods For Modeling Computer Based Systems.	ECBS	2004	DBLP DOI BibTeX RDF
1	Jan Janecek	Efficient SOAP Processing in Embedded Systems.	ECBS	2004	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Cristina Cerschi Seceleanu	Contracts and Games in Controller Synthesis for Discrete Systems.	ECBS	2004	DBLP DOI BibTeX RDF
1	Roy Sterritt, Darren Gunning, Alan Meban, Phillip Henning	Exploring Autonomic Options in an Unified Fault Management Architecture through Reflex Reactions via Pulse Monitoring.	ECBS	2004	DBLP DOI BibTeX RDF
1	Hassan El-Banna, Alaa A. El-Fattah, Waleed Fakhr	An Efficient Implementation of the 1D DCT using FPGA Technology.	ECBS	2004	DBLP DOI BibTeX RDF
1	Andrzej Pieczynski, Silva Robak, Anna Walaszek-Babiszewska	Features with Fuzzy Probability.	ECBS	2004	DBLP DOI BibTeX RDF
1	Kumar Chhokra, Ted Bapty, Jason Scott, Simon Winberg, Janos Sztipanovits, Don van Rheeden, Ben Abbott	WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms.	ECBS	2004	DBLP DOI BibTeX RDF
1	Frantisek Scuglik	Formal Specification of Shared Variables Using CSP.	ECBS	2004	DBLP DOI BibTeX RDF
1	Matthias Riebisch	Supporting Evolutionary Development by Feature Models and Traceability Links.	ECBS	2004	DBLP DOI BibTeX RDF
1	Jan Jürjens, Pasha Shabalin	A Foundation for Tool-Supported Critical Systems Development with UML.	ECBS	2004	DBLP DOI BibTeX RDF	formal models of object-oriented design, UML, verification, specification, tool support, secure computing, critical systems
1	Jonah Z. Lavi, Joseph Kudish	Systems Modeling & Requirements Specification Using ECSAM: A Method for Embedded Computer-Based Systems Analysis.	ECBS	2004	DBLP DOI BibTeX RDF
1	Dragos Truscan, João M. Fernandes, Johan Lilius	Tool Support for DFD-UML Model-based Transformations.	ECBS	2004	DBLP DOI BibTeX RDF
1	Nikos Migas, William J. Buchanan, Kevin A. McArtney	Migration of Mobile Agents in Ad-hoc, Wireless Networks.	ECBS	2004	DBLP DOI BibTeX RDF
1	Ban Al-Ani, Norazlin Yusop	Role-Playing, Group Work and Other Ambitious Teaching Methods in a Large Requirements Engineering Course.	ECBS	2004	DBLP DOI BibTeX RDF
1	Dusan Kolár, Stanislav Cerny	Evolution of Software for Embedded Systems in Processor Expert.	ECBS	2004	DBLP DOI BibTeX RDF
1	Petr Grillinger, Premysl Brada, Stanislav Racek	Simulation Approach to Embedded System Programming and Testing.	ECBS	2004	DBLP DOI BibTeX RDF
1	Branislav Kusy, Ákos Lédeczi, Miklos Maroti, Péter Völgyesi	Domain Independent Generative Modeling.	ECBS	2004	DBLP DOI BibTeX RDF

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