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