Table of Contents

• A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 ActivitiesTim Schattkowsky, Alexander Förster. 3-10 [doi]
• Using Connectors to Integrate Software ComponentsJiang Guo, Yuehong Liao, Jeffrey G. Gray, Barrett R. Bryant. 11-18 [doi]
• Components and Contracts for Embedded SoftwareShuyu Li, XiaoJiang Li, Jian Wu. 19-24 [doi]
• Parallel and Reliable Execution of a WDR Algorithm in High Speed NetworksM. Marinov, Dimiter R. Avresky, Ngoc Thanh Nguyen. 27-32 [doi]
• A Unified Formal Specification for a Multi-Consistency Replication System for DHTsAnne-Marie Bosneag, Monica Brockmeyer. 33-40 [doi]
• Dependency Algebra: A Theoretical Framework for Dependency Management in Real-Time Control SystemsHui Ding, Kihwal Lee, Lui Sha. 41-48 [doi]
• Integrative Architecture Elicitation for Large Computer Based SystemsPeter Tabeling, Bernhard Gröne. 51-61 [doi]
• The ABACUS Architectural Approach to Computer-Based System and Enterprise EvolutionKyle Dunsire, Tim O Neill, Mark Denford, John Leaney. 62-69 [doi]
• Heuristic-Based Architecture Generation for Complex Computer System OptimisationCameron Maxwell, Artem Parakhine, John Leaney, Tim O Neill, Mark Denford. 70-78 [doi]
• Embedded System Engineering Using C/C::++:: Based Design MethodologiesClaudio Talarico, Aseem Gupta, Ebenezer Peter, Jerzy W. Rozenblit. 81-88 [doi]
• Reducing the Power Consumption of FPGAs through RetimingRobert Fischer, Klaus Buchenrieder, Ulrich Nageldinger. 89-94 [doi]
• Hierarchical Multiple Associative Mapping in Cache MemoriesHamid R. Zarandi, Seyed Ghassem Miremadi. 95-101 [doi]
• Combining Requirements Engineering Techniques - Theory and Case StudyLi Jiang, Armin Eberlein, Behrouz Homayoun Far. 105-112 [doi]
• Traceability-Driven Model Refinement for Test Case GenerationMatthias Riebisch, Michael Hübner. 113-120 [doi]
• IT Asset Management of Industrial Automation SystemsEsther Gelle, Thomas E. Koch, Patrick Sager. 123-128 [doi]
• Architecture-Based Web Service Composition Framework and StrategyYuan Rao, Zunchao Li, Boqin Feng, Jincang Han. 129-134 [doi]
• Architecture Rationalization: A Methodology for Architecture Verifiability, Traceability and CompletenessAntony Tang, Jun Han. 135-144 [doi]
• Metric Evaluation of Embedded Java-Based Proxies on Handheld Devices in Cluster-Based Ad Hoc RoutingNikos Migas, William J. Buchanan. 147-154 [doi]
• A Framework for Sensor Management in Wireless and Heterogeneous Sensor NetworkD. Vaidya, Jianfeng Peng, Lizhi Yang, Jerzy W. Rozenblit. 155-162 [doi]
• Authentication and Integrity in Telecommunication Signaling NetworkHemant Sengar, Duminda Wijesekera, Sushil Jajodia. 163-170 [doi]
• Transformation of UML Models for Service-Oriented Software ArchitecturesRicardo Jorge Machado, João M. Fernandes, Paula Monteiro, Helena Rodrigues. 173-182 [doi]
• From Requirements to SpecificationsCory Plock, Benjamin Goldberg, Lenore D. Zuck. 183-190 [doi]
• Synthesis of C::++:: Software from Verifiable CSPm SpecificationsStephen Doxsee, William B. Gardner. 193-201 [doi]
• QoS-UniFrame: A Petri Net-Based Modeling Approach to Assure QoS Requirements of Distributed Real-Time and Embedded SystemsShih-Hsi Liu, Barrett R. Bryant, Jeffrey G. Gray, Rajeev R. Raje, Andrew M. Olson, Mikhail Auguston. 202-209 [doi]
• Designing GUI Components for UML Use CasesJesús Manuel Almendros-Jiménez, Luis Iribarne. 210-217 [doi]
• A Generic Model-Based Test Case GeneratorMiroslav Popovic, Ivan Velikic. 221-228 [doi]
• Fault Tolerant Data Flow Modeling Using the Generic Modeling EnvironmentMark L. McKelvin Jr., Jonathan Sprinkle, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli. 229-235 [doi]
• Configuration Management for Designs of Software SystemsTien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao. 236-243 [doi]
• Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing SystemsPhan C. Vinh, Jonathan P. Bowen. 247-254 [doi]
• A CSP-Based Agent Modeling Framework for the Cougaar Agent-Based ArchitectureDenis Gracanin, H. Lally Singh, Michael G. Hinchey, Mohamed Eltoweissy, Shawn A. Bohner. 255-262 [doi]
• Formal Development of Real-Time Priority-Based SchedulersCristina Cerschi Seceleanu. 263-270 [doi]
• A Software Process Improvement Lifecycle Framework for the Medical Device IndustryFergal McCaffery, Donald McFall, Pat Donnelly, F. George Wilkie, Roy Sterritt. 273-280 [doi]
• Improving the System/Software Engineering Interface for Complex System DevelopmentStephanie M. White. 281-288 [doi]
• Development Life Cycle Management: A Multiproject ExperimentDarren Dalcher, Oddur Benediktsson, Helgi Thorbergsson. 289-296 [doi]
• MoDeII: Modeling and Analyzing Time-ConstraintsJewgenij Botaschanjan, Jan Jürjens. 299-306 [doi]
• Checking and Transforming Models with AutoFOCUSBernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner. 307-314 [doi]
• The Action Language: Refining a Behavioral Modeling LanguageSteven Nordstrom, Shweta Shetty, Di Yao, Shikha Ahuja, Sandeep Neema, Ted Bapty. 315-322 [doi]
• A Framework for Formal Specification of Embedded SystemsFrantisek Bures, Ondrej Rysavy, Frantisek Scuglik, Miroslav Svéda. 323-330 [doi]
• Building Compilers by Combining AlgebrasGarrin Kimmell, Ed Komp, Perry Alexander. 331-338 [doi]
• A Formal Approach to Requirements-Based ProgrammingMichael G. Hinchey, James L. Rash, Christopher Rouff. 339-345 [doi]
• Toward Introducing Notification Technology into Distributed Project TeamsJamie L. Smith, Shawn A. Bohner, D. Scott McCrickard. 349-356 [doi]
• Strategies for Systems Analysis: Groundwork for Process TailoringDavid W. Bustard, Frank Keenan. 357-362 [doi]
• The Impact of Agile Methods on Software Project ManagementMichael Coram, Shawn A. Bohner. 363-370 [doi]
• Simulating Data Generated by a Network of Track-While-Scan RadarsFernando J. Barros. 373-377 [doi]
• Model Checking Embedded Systems with PROMELAÓscar R. Ribeiro, João M. Fernandes, Luís F. Pinto. 378-385 [doi]
• A Policy-Driven Autonomous System for Evolutive and Adaptive Management of Complex Services and NetworksNigel Sheridan-Smith, John Leaney, Tim O Neill, Mark Hunter. 389-397 [doi]
• Effects of Computation Speed on the Stability of a Self-Controlling ProcessNilgun Fescioglu-Unver, Mieczyslaw M. Kokar. 398-405 [doi]
• Why Computer-Based Systems Should Be AutonomicRoy Sterritt, Michael G. Hinchey. 406-412 [doi]
• Generating Driving Directions for Intelligent Vehicles InterfacesBarbara Di Eugenio, Michael J. Trolio. 415-422 [doi]
• Adaptive Web-Based Learning SystemFahad T. Alotaiby, Jim X. Chen, Harry Wechsler, Edward J. Wegman, Deborah Sprague. 423-430 [doi]
• Remote Integration and Coordination of Verification Tools in JETITiziana Margaria, Ralf Nagel, Bernhard Steffen. 431-436 [doi]
• EASe Introduction439-440 [doi]
• Self-Managing Systems: A Control Theory FoundationYixin Diao, Joseph L. Hellerstein, Sujay S. Parekh, Rean Griffith, Gail E. Kaiser, Dan B. Phung. 441-448 [doi]
• Adjustable Deliberation of Self-Managing SystemsMartin Randles, A. Taleb-Bendiab, Philip Miseldine, Andy Laws. 449-456 [doi]
• Interceptor Based Constraint Violation DetectionQianxiang Wang, Aditya P. Mathur. 457-464 [doi]
• Towards a Systemic Approach to Autonomic Systems EngineeringDavid W. Bustard, Roy Sterritt, A. Taleb-Bendiab, Andrew Laws, Martin Randles, Frank Keenan. 465-472 [doi]
• Towards a Demand Driven, Autonomous Processing and Streaming ArchitectureGerald Friedland, Karl Pauls. 473-480 [doi]
• Systems Integration of Large Scale Autonomic Systems Using Multiple Domain Specific Modeling LanguagesShweta Shetty, Steven Nordstrom, Shikha Ahuja, Di Yao, Ted Bapty, Sandeep Neema. 481-489 [doi]
• Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control SystemJames L. Rash, Michael G. Hinchey, Christopher Rouff, Denis Gracanin, John Erickson. 490-497 [doi]
• Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time SystemsDerek Messie, Mina Jung, Jae C. Oh, Shweta Shetty, Steven Nordstrom, Michael Haney. 498-505 [doi]
• Engineering Ultimate Self-Protection in Autonomic Agents for Space Exploration MissionsRoy Sterritt, Michael G. Hinchey. 506-511 [doi]
• Autonomic Cluster Management System (ACMS): A Demonstration of Autonomic Principles at WorkJames D. Baldassari, Christopher L. Kopec, Eric S. Leshay, Walt Truszkowski, David Finkel. 512-518 [doi]
• PACT: Personal Autonomic Computing ToolsRoy Sterritt, Barry Smyth, Martin M. Bradle. 519-527 [doi]
• SelfService : A Theoretical Protocol for Autonomic Distribution of Services in P2P CommunitiesFabrice Saffre, Håvard Rast Blok. 528-534 [doi]
• Autonomic Computing - Panacea or Poppycock?Roy Sterritt, Michael G. Hinchey. 535-539 [doi]
• Introducing Security Aspects with Model TransformationsJorge Fox, Jan Jürjens. 543-549 [doi]
• Component vs. Component: Why We Need More Than One DefinitionBernhard Gröne, Andreas Knöpfel, Peter Tabeling. 550-552 [doi]