default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th ECBS 2005: Greenbelt, Maryland, USA
- 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. IEEE Computer Society 2005, ISBN 0-7695-2308-0
Session A1: Component-Based System Design
- Tim Schattkowsky
, Alexander Förster:
A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities. 3-10 - (Withdrawn) Using Connectors to Integrate Software Components. 11-18
- Shuyu Li, XiaoJiang Li, Jian Wu:
Components and Contracts for Embedded Software. 19-24
Session B1: Reliability, Dependability, and Security
- Marin Marinov, Dimiter R. Avresky, Ngoc Thanh Nguyen:
Parallel and Reliable Execution of a WDR Algorithm in High Speed Networks. 27-32 - Anne-Marie Bosneag, Monica Brockmeyer:
A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. 33-40 - Hui Ding, Kihwal Lee, Lui Sha:
Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control Systems. 41-48
Session C1: Architecture
- Peter Tabeling, Bernhard Gröne:
Integrative Architecture Elicitation for Large Computer Based Systems. 51-61 - Kyle Dunsire, Tim O'Neill, Mark Denford, John Leaney:
The ABACUS Architectural Approach to Computer-Based System and Enterprise Evolution. 62-69 - Cameron Maxwell, Artem Parakhine, John Leaney, Tim O'Neill, Mark Denford:
Heuristic-Based Architecture Generation for Complex Computer System Optimisation. 70-78
Session A2: Embedded Systems
- Claudio Talarico, Aseem Gupta, Ebenezer Peter, Jerzy W. Rozenblit:
Embedded System Engineering Using C/C++ Based Design Methodologies. 81-88 - Robert Fischer, Klaus Buchenrieder, Ulrich Nageldinger:
Reducing the Power Consumption of FPGAs through Retiming. 89-94 - Hamid R. Zarandi, Seyed Ghassem Miremadi:
Hierarchical Multiple Associative Mapping in Cache Memories. 95-101
Session B2: Requirements Engineering
- Li Jiang, Armin Eberlein, Behrouz Homayoun Far:
Combining Requirements Engineering Techniques - Theory and Case Study. 105-112 - Matthias Riebisch, Michael Hübner:
Traceability-Driven Model Refinement for Test Case Generation. 113-120
Session C2: Architecture and IT Management
- Esther M. Gelle, Thomas E. Koch, Patrick Sager:
IT Asset Management of Industrial Automation Systems. 123-128 - Yuan Rao, Zunchao Li, Boqin Feng, Jincang Han:
Architecture-Based Web Service Composition Framework and Strategy. 129-134 - Antony Tang, Jun Han:
Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and Completeness. 135-144
Session A3: Networks and Sensors
- Nikos Migas, William J. Buchanan:
Metric Evaluation of Embedded Java-Based Proxies on Handheld Devices in Cluster-Based Ad Hoc Routing. 147-154 - D. Vaidya, Jianfeng Peng, Lizhi Yang, Jerzy W. Rozenblit:
A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network. 155-162 - Hemant Sengar, Duminda Wijesekera, Sushil Jajodia:
Authentication and Integrity in Telecommunication Signaling Network. 163-170
Session B3: Requirements Engineering
- Ricardo Jorge Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues:
Transformation of UML Models for Service-Oriented Software Architectures. 173-182 - Cory Plock, Benjamin Goldberg, Lenore D. Zuck:
From Requirements to Specifications. 183-190
Session C3: Design and System Synthesis
- Stephen Doxsee, William B. Gardner:
Synthesis of C++ Software from Verifiable CSPm Specifications. 193-201 - 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. 202-209 - Jesús Manuel Almendros-Jiménez, Luis Iribarne:
Designing GUI Components for UML Use Cases. 210-217
Session A4: Model-Based Development
- Miroslav Popovic, Ivan Velikic:
A Generic Model-Based Test Case Generator. 221-228 - Mark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli:
Fault Tolerant Data Flow Modeling Using the Generic Modeling Environment. 229-235 - Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao:
Configuration Management for Designs of Software Systems. 236-243
Session B4: Formal Methods
- Phan Cong Vinh, Jonathan P. Bowen:
Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. 247-254 - 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. 255-262 - Cristina Cerschi Seceleanu:
Formal Development of Real-Time Priority-Based Schedulers. 263-270
Session C4: Life-Cycle and Project Management
- Fergal McCaffery, Donald McFall, Pat Donnelly, F. George Wilkie, Roy Sterritt:
A Software Process Improvement Lifecycle Framework for the Medical Device Industry. 273-280 - Stephanie M. White:
Improving the System/Software Engineering Interface for Complex System Development. 281-288 - Darren Dalcher, Oddur Benediktsson, Helgi Thorbergsson:
Development Life Cycle Management: A Multiproject Experiment. 289-296
Session A5: Model-Based System Development
- Jewgenij Botaschanjan, Jan Jürjens:
MoDeII: Modeling and Analyzing Time-Constraints. 299-306 - Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS. 307-314 - Steven Nordstrom, Shweta Shetty, Di Yao, Shikha Ahuja, Sandeep Neema, Ted Bapty:
The Action Language: Refining a Behavioral Modeling Language. 315-322
Session B5: Formal Methods
- Frantisek Bures, Ondrej Rysavý, Frantisek Scuglik, Miroslav Svéda:
A Framework for Formal Specification of Embedded Systems. 323-330 - Garrin Kimmell, Ed Komp, Perry Alexander:
Building Compilers by Combining Algebras. 331-338 - Michael G. Hinchey, James L. Rash, Christopher A. Rouff:
A Formal Approach to Requirements-Based Programming. 339-345
Session C5: Life-Cycle and Project Management
- Jamie L. Smith, Shawn A. Bohner, D. Scott McCrickard:
Toward Introducing Notification Technology into Distributed Project Teams. 349-356 - David W. Bustard, Frank Keenan:
Strategies for Systems Analysis: Groundwork for Process Tailoring. 357-362 - Michael Coram, Shawn A. Bohner:
The Impact of Agile Methods on Software Project Management. 363-370
Session A6: Model-Based System Development
- Fernando J. Barros:
Simulating Data Generated by a Network of Track-While-Scan Radars. 373-377 - Óscar R. Ribeiro, João M. Fernandes, Luís F. Pinto:
Model Checking Embedded Systems with PROMELA. 378-385
Session B6: High Autonomy Systems
- 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. 389-397 - Nilgün Fescioglu-Ünver, Mieczyslaw M. Kokar:
Effects of Computation Speed on the Stability of a Self-Controlling Process. 398-405 - Roy Sterritt, Michael G. Hinchey:
Why Computer-Based Systems Should Be Autonomic. 406-412
Session C6: Methods and Applications
- Barbara Di Eugenio, Michael J. Trolio:
Generating Driving Directions for Intelligent Vehicles Interfaces. 415-422 - Fahad T. Alotaiby, Jim X. Chen, Harry Wechsler, Edward J. Wegman, Deborah Sprague:
Adaptive Web-Based Learning System. 423-430 - Tiziana Margaria, Ralf Nagel, Bernhard Steffen:
Remote Integration and Coordination of Verification Tools in JETI. 431-436
EASe Workshop
- EASe Introduction. 439-440
- Yixin Diao, Joseph L. Hellerstein, Sujay S. Parekh, Rean Griffith, Gail E. Kaiser, Dan B. Phung:
Self-Managing Systems: A Control Theory Foundation. 441-448 - Martin Randles, A. Taleb-Bendiab, Philip Miseldine, Andy Laws:
Adjustable Deliberation of Self-Managing Systems. 449-456 - Qianxiang Wang, Aditya P. Mathur:
Interceptor Based Constraint Violation Detection. 457-464 - David W. Bustard, Roy Sterritt, A. Taleb-Bendiab, Andrew Laws, Martin Randles, Frank Keenan:
Towards a Systemic Approach to Autonomic Systems Engineering. 465-472 - Gerald Friedland, Karl Pauls:
Towards a Demand Driven, Autonomous Processing and Streaming Architecture. 473-480 - Shweta Shetty, Steven Nordstrom, Shikha Ahuja, Di Yao, Ted Bapty, Sandeep Neema:
Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling Languages. 481-489 - 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. 490-497 - 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. 498-505 - Roy Sterritt, Michael G. Hinchey:
Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration Missions. 506-511 - 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. 512-518 - Roy Sterritt, Barry Smyth, Martin M. Bradle:
PACT: Personal Autonomic Computing Tools. 519-527 - Fabrice Saffre, Håvard Rast Blok:
"SelfService": A Theoretical Protocol for Autonomic Distribution of Services in P2P Communities. 528-534 - Roy Sterritt, Michael G. Hinchey:
Autonomic Computing - Panacea or Poppycock? 535-539
ECBS MBD Workshop
- Jorge Fox, Jan Jürjens:
Introducing Security Aspects with Model Transformations. 543-549 - Bernhard Gröne, Andreas Knöpfel, Peter Tabeling:
Component vs. Component: Why We Need More Than One Definition. 550-552
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
