Abstract is missing.
- Robotics Today: The Good, Bad, and UglyNoel E. Sharkey. 3-4 [doi]
- System Complexity and System FailuresBrian Randell. 5 [doi]
- A Case Study: A Model-Based Approach to Retrofit a Network Fault Management System with Self-Healing FunctionalityYan Liu, Jing Zhang, Michael Jiang, David Raymer, John Strassner. 9-18 [doi]
- CompAA : A Self-Adaptable Component Model for Open SystemsPhilippe Aniorté, Jérôme Lacouture. 19-25 [doi]
- Distributed Learning Strategies for Collaborative Agents in Adaptive Decentralized Power SystemsHorst F. Wedde, Sebastian Lehnhoff, Kai M. Moritz, Edmund Handschin, Olav Krause. 26-35 [doi]
- Goal-Based Modeling of Dynamically Adaptive System RequirementsHeather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes. 36-45 [doi]
- Comparison of Simulation and Performance Modeling - A Case StudyMarcel Seelig, Stephan Kluth, Tomasz Porzucek, Flavius Copaciu, Nico Naumann, Steffen Kühn. 49-56 [doi]
- Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA ApplicationsMathias Fritzsche, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick, Rabih Bashroush. 57-65 [doi]
- CiCUTS: Combining System Execution Modeling Tools with Continuous Integration EnvironmentsJames H. Hill, Douglas C. Schmidt, Adam A. Porter, John M. Slaby. 66-75 [doi]
- Design Guidance Using Simulation-Based Bayesian Belief NetworksArtem Parakhine, John Leaney, Tim O Neill. 76-84 [doi]
- A Case Study of Issues Related to Automotive E/E System Architecture DevelopmentPeter Wallin, Jakob Axelsson. 87-95 [doi]
- Towards Secure Mobile Payment Based on SIPGe Zhang, Feng Cheng 0002, Christoph Meinel. 96-104 [doi]
- Introducing Tool Support for Managing Architectural Knowledge: An Experience ReportMuhammad Ali Babar, Andrew Northway, Ian Gorton, Paul Heuer, Thong Nguyen. 105-113 [doi]
- Model Checking with Graphical Validation RulesSven Feja, Daniel Fötsch. 117-125 [doi]
- Counterexample Guided Abstraction Refinement is Better under Equational AbstractionConstantin Enea. 126-135 [doi]
- Protocol Verification in a Software Component-Based ApproachInès Mouakher, Jeanine Souquières, Francis Alexandre. 136-145 [doi]
- Implementation of a Modular Mobile Mapping in a Geocomputing Platform for Location-Based Services Using Geographic RecognitionJin-Suk Kang, Yonghee You, Mee Young Sung. 149-158 [doi]
- Biometric Inspired Digital Image SteganographyAbbas Cheddad, Joan Condell, Kevin Curran, Paul McKevitt. 159-168 [doi]
- A Formal Model for Network-Wide Security AnalysisPetr Matousek, Jaroslav Ráb, Ondrej Rysavy, Miroslav Svéda. 171-181 [doi]
- An Interval-Based Solution for Static Analysis in the SIGNAL LanguageAbdoulaye Gamatié, Thierry Gautier, Loïc Besnard. 182-190 [doi]
- Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri NetsTony Spiteri Staines. 191-200 [doi]
- Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST)Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton. 203-209 [doi]
- A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support SystemsIvan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata. 210-218 [doi]
- Automated Phone Capture of Diabetes Patients Readings with Consultant Monitoring via the WebRoy Harper, Peter Nicholl, Michael F. McTear, Jonathan Wallace, Lesley-Ann Black, Patricia Kearney. 219-226 [doi]
- A Hybrid Approach for Modeling and Assessing Performance of Embedded Systems in a Biologically Critical ApplicationClaudio Talarico, David Freiberger, Tyler Jones, Brandon Hopkins, Charlie Herr, Min-Sung Koh, Esteban Rodriguez-Marek. 227-232 [doi]
- Optimizing Design for Variability Using Traceability LinksMatthias Riebisch, Robert Brcina. 235-244 [doi]
- Taking Advantage of COTS for Developing Aspect-Oriented Software ArchitecturesJennifer Pérez, Isidro Ramos, José A. Carsí. 245-254 [doi]
- Evaluation of Quality Attribute Variability in Software Product FamiliesLeire Etxeberria, Goiuria Sagardui Mendieta. 255-264 [doi]
- Software Configuration Management for Product Derivation in Software Product FamiliesCheng Thao, Ethan V. Munson, Tien Nhut Nguyen. 265-274 [doi]
- Model Driven Management of Complex Systems: Implementing the Macroscope’s VisionMikaël Barbero, Frédéric Jouault, Jean Bézivin. 277-286 [doi]
- Utilising Abstract Matching to Preserve the Nature of Heuristics in Design OptimisationCameron Maxwell, John Leaney, Tim O Neill. 287-296 [doi]
- ALI: An Extensible Architecture Description Language for Industrial ApplicationsRabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown, Wasif Gilani, Mathias Fritzsche. 297-304 [doi]
- A Model-Based Design Process for the SegBus Distributed ArchitectureDragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen. 307-316 [doi]
- Interrupt Costs in Embedded System with Short Latency Hardware AcceleratorsSébastien Lafond, Johan Lilius. 317-325 [doi]
- Energy-Aware MiddlewareLuigia Petre. 326-334 [doi]
- Hierarchical Model to Develop Component-Based SystemsAbdelkrim Amirat, Mourad Oussalah. 337-345 [doi]
- V3Studio: A Component-Based Architecture Modeling LanguageDiego Alonso, Cristina Vicente-Chicote, Olivier Barais. 346-355 [doi]
- On the Use of DesertFD to Generate Custom Architectures for H.264 Motion EstimationRohit Saraswat, Brandon Eames. 359-368 [doi]
- QR Recursive Least Squares IP Core ExampleGaye Lightbody, Roger Woods. 369-374 [doi]
- Testable Specifications of NoTA-based Modular Embedded SystemsDragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho. 375-383 [doi]
- The Toolbox of a Successful Software CraftsmanFabrizio Cannizzo, Gabriela Marcionetti, Paul Moser. 389-397 [doi]
- Introducing Agile Development Practices from the MiddleJann Thomas. 401-407 [doi]
- A Platform-Based Software Design Methodology for Embedded Control Systems: An Agile ToolkitLucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo S. Barreto, Vicente Lucena. 408-417 [doi]
- An Appraisal of Existing Evaluation Frameworks for Agile MethodologiesMasoumeh Taromirad, Raman Ramsin. 418-427 [doi]
- Scenario-Based Program SlicingAlexander Campbell, Anthony Cox. 428-436 [doi]
- Agile Release Planning: Dealing with Uncertainty in Development Time and Business ValueKevin Logue, Kevin McDaid. 437-442 [doi]
- AMABULO - A Model Architecture for Business LogicTobias Brückmann, Volker Gruhn. 445-452 [doi]
- Managing Model Evolution Using the CCBM ApproachAudrey Occello, Anne-Marie Pinna-Dery, Michel Riveill, Günter Kniesel. 453-462 [doi]
- A Synchronizing Technique for Syntactic Model-Code Round-Trip EngineeringLászló Angyal, László Lengyel, Hassan Charaf. 463-472 [doi]
- The 2-chart Problem - Contemplating System Behavior in the AggregateReuven Gallant, Meir M. Lehman. 473-482 [doi]
- Model-Driven Engineering with Large Models in the Context of Product Line Engineering with IBYKUS APSteffen Skatulla, Detlef Hornbostel, Christian Erfurth, Wilhelm Rossak. 483-489 [doi]
- Experiences on Model-Driven Software Development for Mobile ApplicationsPeter Braun, Ronny Eckhaus. 490-493 [doi]
- Tag Oriented Agile Requirements IdentificationDavid Connolly, Frank Keenan, Brendan Ryder. 497-498 [doi]
- XML Information Retrieval Based on Tree MatchingMohamed Benaouicha, Mohamed Tmar, Mohand Boughanem, Mohamed Abid. 499-500 [doi]
- Towards a Generic Model for Forecasting Rain Duration Using GITIC ModelMalik Shahzad Kaleem Awan, Mian M. Awais. 501-502 [doi]