1. Home
  2. Proceedings
  3. ECBS
  4. ECBS 2010
Default Cover Image

Engineering of Computer-Based Systems, IEEE International Conference on the

Mar. 22 2010 to Mar. 26 2010

Oxford, England

ISBN: 978-0-7695-4005-4

Table of Contents

Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-ix
Papers
ForewordFreely available from IEEE.pp. x
Papers
Organization and Program CommitteeFreely available from IEEE.pp. xi-xiii
Papers
list-reviewerFreely available from IEEE.pp. xiv
Papers
Wireless Sensor Networking: The Pleasure and the PainFull-text access may be available. Sign in or learn about subscription options.pp. 3
by Julie McCann
Technology and Conferences BoardFreely available from IEEE.pp. xv-xv
Papers
Evolving Critical SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 4
by Mike Hinchey, Lorcan Coyle
Papers
Engineering Self-Service Correctional Facility Biometric Computer-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 5
by Patricia O'Hagan
Papers
UAV Search: Maximizing Target AcquisitionFull-text access may be available. Sign in or learn about subscription options.pp. 9-18
by Hussain Al-Helal, Jonathan Sprinkle
Papers
Do Sensornet Protocol Variants Yield Real Benefits?Full-text access may be available. Sign in or learn about subscription options.pp. 19-28
by Jonathan Tate, Iain Bate
Papers
Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 29-38
by Miao Wang, Viliam Holub, Trevor Parsons, John Murphy, Patrick O'Sullivan
Papers
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool SupportFull-text access may be available. Sign in or learn about subscription options.pp. 41-49
by Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch
Papers
Using UML Models and Formal Verification in Model-Based TestingFull-text access may be available. Sign in or learn about subscription options.pp. 50-56
by Qaisar A. Malik, Dragos Truscan, Johan Lilius
Papers
Generating Test Plans for Acceptance Tests from UML Activity DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 57-66
by Andreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn
Papers
Guiding Architectural Restructuring through Architectural StylesFull-text access may be available. Sign in or learn about subscription options.pp. 69-78
by Dalila Tamzalit, Tom Mens
Papers
CPASA: Continuous Performance Assessment of Software ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 79-87
by R. J. Pooley, A. A. L. Abdullatif
Papers
Range Queries Based on a Structured Segment Tree in P2P SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 91-99
by Ye-In Chang, Chen-Chang Wu, Jun-Hong Shen, Tzu-Lun Huang
Papers
A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table StructuresFull-text access may be available. Sign in or learn about subscription options.pp. 100-109
by Daniel Fasel, Khurram Shahzad
Papers
Fault Management Driven Design with Safety and Security RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 113-120
by Miroslav Sveda
Papers
Timed Automata Model for Component-Based Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 121-130
by Georgiana Macariu, Vladimir Cretu
Papers
Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle BuffersFull-text access may be available. Sign in or learn about subscription options.pp. 131-138
by Khalid Latif, Tiberiu Seceleanu, Hannu Tenhunen
Papers
Fault Coverage Measurement of a Timed Test Case Generation ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 141-149
by M. S. AbouTrab, S. Counsell
Papers
Top-Down Reuse for Multi-level TestingFull-text access may be available. Sign in or learn about subscription options.pp. 150-159
by Abel Marrero Pérez, Stefan Kaiser
Papers
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 160-169
by Lucas Cordeiro, Bernd Fischer, Joao Marques-Silva
Papers
Design-Space Exploration through Constraint-Based Model-TransformationFull-text access may be available. Sign in or learn about subscription options.pp. 173-182
by Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist
Papers
Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-TransformationsFull-text access may be available. Sign in or learn about subscription options.pp. 183-192
by Tomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich
Papers
Communication Modeling for System-Level Performance-SimulationFull-text access may be available. Sign in or learn about subscription options.pp. 193-198
by Heike S. Rolfs, Andreas W. Liehr, Klaus J. Buchenrieder
Papers
Educating Architects in Industry - The SAP Architecture CurriculumFull-text access may be available. Sign in or learn about subscription options.pp. 201-205
by Bernhard Groene, Wolfram Kleis, Jochen Boeder
Papers
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 206-212
by Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiß
Papers
UML-JMT: A Tool for Evaluating Performance RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 215-225
by A. AL Abdullatif, R. J. Pooley
TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 226-231
by Ivan Kaštelan, Nikola Teslic, Vukota Pekovic, Tarkan Tekcan
Papers
Supporting Customizable Architectural Design Decision ManagementFull-text access may be available. Sign in or learn about subscription options.pp. 232-240
by Lianping Chen, Muhammad Ali Babar
Papers
Process Patterns for Aspect-Oriented Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 241-250
by Massood Khaari, Raman Ramsin
Papers
An Application Level Parallelization of Complex Real-Time SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 253-257
by Bogdan Trivunovic, Miroslav Popovic, Vladislav Vrtunski
Papers
Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing TechnologiesFull-text access may be available. Sign in or learn about subscription options.pp. 258-262
by Mario Riojas, Susan Lysecky, Jerzy Rozenblit
Papers
Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemCFull-text access may be available. Sign in or learn about subscription options.pp. 263-267
by Ibrahim Aref, Nuredin Ahmed, Fernando Rodríguez-Salazar, Khaled Elgaid
Papers
An Emulation Solution for the SegBus PlatformFull-text access may be available. Sign in or learn about subscription options.pp. 268-275
by Moazzam Fareed Niazi, Hannu Tenhunen, Tiberiu Seceleanu
Papers
Towards an Architectural Framework for Agile Software DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 276-280
by Richard Mordinyi, Eva Kühn, Alexander Schatten
Papers
The Architectural Evolution of Telecommunications Network Management SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 281-285
by Haydn Mearns, John Leaney, Dominique Verchere
Papers
ECQL: A Query and Action Language for Model-Based ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 286-290
by Ulrich Krenn, Michael Thonhauser, Christian Kreiner
Papers
Model-Based Testing Using System vs. Test Models - What Is the Difference?Full-text access may be available. Sign in or learn about subscription options.pp. 291-299
by Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius
Papers
3TZ Collaborative Team Environments Incorporating the Hybrid Holonic ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 300-305
by Zenon Chaczko, Chris Chiu, Ryszard Klempous, Jan Nikodem
Papers
Metrics Functions for Kanban GuardsFull-text access may be available. Sign in or learn about subscription options.pp. 306-310
by Jeanette Heidenberg, Ivan Porres
Papers
A Non-numerical Predictive Model for Asymmetric AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 311-315
by Michael L. Valenzuela, Chuan Feng, Praneel Reddy, Faisal Momen, Jerzy W. Rozenblit, Brian Ten Eyck, Ferenc Szidarovszky
Papers
Activity and Petri Net Model-to-Model Mapping Using Triple Graph GrammarsFull-text access may be available. Sign in or learn about subscription options.pp. 316-317
by Tony Spiteri Staines
Papers
MATERA - An Integrated Framework for Model-Based TestingFull-text access may be available. Sign in or learn about subscription options.pp. 321-328
by Fredrik Abbors, Andreas Bäcklund, Dragos Truscan
Papers
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT ScenariosFull-text access may be available. Sign in or learn about subscription options.pp. 329-334
by Marc-Florian Wendland, Jürgen Großmann, Andreas Hoffmann
Papers
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented SystemFull-text access may be available. Sign in or learn about subscription options.pp. 335-343
by Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
Papers
Model Based Statistical Testing and DurationsFull-text access may be available. Sign in or learn about subscription options.pp. 344-351
by Frank Böhr
Papers
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User InterfacesFull-text access may be available. Sign in or learn about subscription options.pp. 352-357
by Sebastian Wieczorek, Alin Stefanescu
Papers
Formalizing MapReduce with CSPFull-text access may be available. Sign in or learn about subscription options.pp. 358-367
by Fan Yang, Wen Su, Huibiao Zhu, Qin Li
Papers
Archmeds: An Infrastructure for Dependable Service-Oriented ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 371-378
by Eduardo Machado Gonçalves, Cecília Mary Fischer Rubira
Papers
Component-Based Architecture for e-Gov Web Systems DevelopmentFull-text access may be available. Sign in or learn about subscription options.pp. 379-385
by Camilo Carromeu, Débora Maria Barroso Paiva, Maria Istela Cagnin, Hana Karina Salles Rubinsztejn, Marcelo Augusto Santos Turine, Karin Breitman
Papers
Database Descriptors: Laying the Path to Commodity Web Data ServicesFull-text access may be available. Sign in or learn about subscription options.pp. 386-392
by Rodrigo Dias Arruda Senra, Claudia Bauzer Medeiros
Papers
Modeling the Mediated Schema ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 393-402
by Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin K. Breitman, Antonio L. Furtado, Vânia M. P. Vidal
Papers
Visual Tracking Based on 3D Probabilistic ReconstructionFull-text access may be available. Sign in or learn about subscription options.pp. 403-409
by Gisele Simas, Rodrigo de Bem, Lucas Novelo, Guilherme Fickel, Silvia Botelho
Papers
Wireless Sensor Networks as a ServiceFull-text access may be available. Sign in or learn about subscription options.pp. 410-417
by Flávia C. Delicato, Paulo F. Pires, Luci Pirmez, Thais Batista
Papers
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 418-424
by Isabelle Perseil, Laurent Pautet
Papers
Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance DegreeFull-text access may be available. Sign in or learn about subscription options.pp. 425-429
by Marcus Brohede
Papers
Evolving Critical Systems: A Research Agenda for Computer-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 430-435
by Mike Hinchey, Lorcan Coyle
Papers
Author IndexFreely available from IEEE.pp. 437-438
Papers
[Publisher's information]Freely available from IEEE.pp. 440
Showing 65 out of 65