default search action
15th 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, ISBN 978-0-7695-3141-0
- Noel E. Sharkey:
Robotics Today: The Good, Bad, and Ugly. 3-4 - Brian Randell:
System Complexity and System Failures. 5 - 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 - Philippe Aniorté, Jérôme Lacouture:
CompAA : A Self-Adaptable Component Model for Open Systems. 19-25 - 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 - Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes:
Goal-Based Modeling of Dynamically Adaptive System Requirements. 36-45 - Marcel Seelig, Stephan Kluth, Tomasz Porzucek, Flavius Copaciu, Nico Naumann, Steffen Kühn:
Comparison of Simulation and Performance Modeling - A Case Study. 49-56 - 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 - James H. Hill, Douglas C. Schmidt, Adam A. Porter, John M. Slaby:
CiCUTS: Combining System Execution Modeling Tools with Continuous Integration Environments. 66-75 - Artem Parakhine, John Leaney, Tim O'Neill:
Design Guidance Using Simulation-Based Bayesian Belief Networks. 76-84 - Peter Wallin, Jakob Axelsson:
A Case Study of Issues Related to Automotive E/E System Architecture Development. 87-95 - Ge Zhang, Feng Cheng, Christoph Meinel:
Towards Secure Mobile Payment Based on SIP. 96-104 - Muhammad Ali Babar, Andrew Northway, Ian Gorton, Paul Heuer, Thong Nguyen:
Introducing Tool Support for Managing Architectural Knowledge: An Experience Report. 105-113 - Sven Feja, Daniel Fötsch:
Model Checking with Graphical Validation Rules. 117-125 - Constantin Enea:
Counterexample Guided Abstraction Refinement is Better under Equational Abstraction. 126-135 - Inès Mouakher, Jeanine Souquières, Francis Alexandre:
Protocol Verification in a Software Component-Based Approach. 136-145 - 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 - Abbas Cheddad, Joan Condell, Kevin Curran, Paul McKevitt:
Biometric Inspired Digital Image Steganography. 159-168 - Petr Matousek, Jaroslav Ráb, Ondrej Rysavý, Miroslav Svéda:
A Formal Model for Network-Wide Security Analysis. 171-181 - Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard:
An Interval-Based Solution for Static Analysis in the SIGNAL Language. 182-190 - Tony Spiteri Staines:
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. 191-200 - Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton:
Fuzzy Logic-Based Performance Assessment in the Virtual, Assistive Surgical Trainer (VAST). 203-209 - 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 - Roy Harper, Peter Nicholl, Michael F. McTear, Jonathan G. Wallace, Lesley-Ann Black, Patricia M. Kearney:
Automated Phone Capture of Diabetes Patients Readings with Consultant Monitoring via the Web. 219-226 - 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 - Matthias Riebisch, Robert Brcina:
Optimizing Design for Variability Using Traceability Links. 235-244 - Jennifer Pérez, Isidro Ramos, José A. Carsí:
Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures. 245-254 - Leire Etxeberria, Goiuria Sagardui Mendieta:
Evaluation of Quality Attribute Variability in Software Product Families. 255-264 - Cheng Thao, Ethan V. Munson, Tien Nhut Nguyen:
Software Configuration Management for Product Derivation in Software Product Families. 265-274 - Mikaël Barbero, Frédéric Jouault, Jean Bézivin:
Model Driven Management of Complex Systems: Implementing the Macroscope's Vision. 277-286 - Cameron Maxwell, John Leaney, Tim O'Neill:
Utilising Abstract Matching to Preserve the Nature of Heuristics in Design Optimisation. 287-296 - 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 - Dragos Truscan, Tiberiu Seceleanu, Johan Lilius, Hannu Tenhunen:
A Model-Based Design Process for the SegBus Distributed Architecture. 307-316 - Sébastien Lafond, Johan Lilius:
Interrupt Costs in Embedded System with Short Latency Hardware Accelerators. 317-325 - Luigia Petre:
Energy-Aware Middleware. 326-334 - Abdelkrim Amirat, Mourad Oussalah:
Hierarchical Model to Develop Component-Based Systems. 337-345 - Diego Alonso, Cristina Vicente-Chicote, Olivier Barais:
V3Studio: A Component-Based Architecture Modeling Language. 346-355 - Rohit Saraswat, Brandon Eames:
On the Use of DesertFD to Generate Custom Architectures for H.264 Motion Estimation. 359-368 - Gaye Lightbody, Roger F. Woods:
QR Recursive Least Squares IP Core Example. 369-374 - 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 - Fabrizio Cannizzo, Gabriela Marcionetti, Paul Moser:
The Toolbox of a Successful Software Craftsman. 389-397 - Jann Thomas:
Introducing Agile Development Practices from the Middle. 401-407 - Lucas C. 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 - Masoumeh Taromirad, Raman Ramsin:
An Appraisal of Existing Evaluation Frameworks for Agile Methodologies. 418-427 - Alexander Campbell, Anthony Cox:
Scenario-Based Program Slicing. 428-436 - Kevin Logue, Kevin McDaid:
Agile Release Planning: Dealing with Uncertainty in Development Time and Business Value. 437-442 - Tobias Brückmann, Volker Gruhn:
AMABULO - A Model Architecture for Business Logic. 445-452 - Audrey Occello, Anne-Marie Pinna-Dery, Michel Riveill, Günter Kniesel:
Managing Model Evolution Using the CCBM Approach. 453-462 - László Angyal, László Lengyel, Hassan Charaf:
A Synchronizing Technique for Syntactic Model-Code Round-Trip Engineering. 463-472 - Reuven Gallant, Meir M. Lehman:
The 2-chart Problem - Contemplating System Behavior in the Aggregate. 473-482 - Steffen Skatulla, Detlef Hornbostel, Christian Erfurth, Wilhelm R. Rossak:
Model-Driven Engineering with Large Models in the Context of Product Line Engineering with IBYKUS AP. 483-489 - Peter Braun, Ronny Eckhaus:
Experiences on Model-Driven Software Development for Mobile Applications. 490-493 - David Connolly, Frank Keenan, Brendan Ryder:
Tag Oriented Agile Requirements Identification. 497-498 - Mohamed Benaouicha, Mohamed Tmar, Mohand Boughanem, Mohamed Abid:
XML Information Retrieval Based on Tree Matching. 499-500 - Malik Shahzad Kaleem Awan, Mian M. Awais:
Towards a Generic Model for Forecasting Rain Duration Using GITIC Model. 501-502
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.