default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th ECBS 2010: Oxford, England, UK
- Roy Sterritt, Brandon Eames, Jonathan Sprinkle:
17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4005-4
Keynotes
- Julie A. McCann:
Wireless Sensor Networking: The Pleasure and the Pain. 3 - Mike Hinchey, Lorcan Coyle:
Evolving Critical Systems. 4 - Patricia O'Hagan:
Engineering Self-Service Correctional Facility Biometric Computer-Based Systems. 5
Embedded, Sensornet and Grid Systems
- Hussain Al-Helal, Jonathan Sprinkle
:
UAV Search: Maximizing Target Acquisition. 9-18 - Jonathan Tate, Iain Bate:
Do Sensornet Protocol Variants Yield Real Benefits?. 19-28 - Miao Wang, Viliam Holub, Trevor Parsons, John Murphy, Patrick O'Sullivan:
Scalable Run-Time Correlation Engine for Monitoring in a Cloud Computing Environment. 29-38
Modeling and Testing
- Qurat-ul-ann Farooq, Muhammad Zohaib Z. Iqbal, Zafar I. Malik, Matthias Riebisch:
A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support. 41-49 - Qaisar A. Malik, Dragos Truscan, Johan Lilius:
Using UML Models and Formal Verification in Model-Based Testing. 50-56 - Andreas Heinecke, Tobias Brückmann, Tobias Griebe, Volker Gruhn:
Generating Test Plans for Acceptance Tests from UML Activity Diagrams. 57-66
Architectures
- Dalila Tamzalit, Tom Mens:
Guiding Architectural Restructuring through Architectural Styles. 69-78 - R. J. Pooley, A. A. L. Abdullatif:
CPASA: Continuous Performance Assessment of Software Architecture. 79-87
Data Systems
- Ye-In Chang, Chen-Chang Wu, Jun-Hong Shen, Tzu-Lun Huang:
Range Queries Based on a Structured Segment Tree in P2P Systems. 91-99 - Daniel Fasel, Khurram Shahzad:
A Data Warehouse Model for Integrating Fuzzy Concepts in Meta Table Structures. 100-109
Design and Development
- Miroslav Svéda:
Fault Management Driven Design with Safety and Security Requirements. 113-120 - Georgiana Macariu, Vladimir Cretu:
Timed Automata Model for Component-Based Real-Time Systems. 121-130 - Khalid Latif, Tiberiu Seceleanu, Hannu Tenhunen:
Power and Area Efficient Design of Network-on-Chip Router through Utilization of Idle Buffers. 131-138
Testing and Verification
- Mohammad Saeed Abou Trab, Steve Counsell:
Fault Coverage Measurement of a Timed Test Case Generation Approach. 141-149 - Abel Marrero Pérez, Stefan Kaiser:
Top-Down Reuse for Multi-level Testing. 150-159 - Lucas C. Cordeiro, Bernd Fischer, João Marques-Silva:
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking. 160-169
Modeling and Simulation
- Bernhard Schätz, Florian Hölzl, Torbjörn Lundkvist:
Design-Space Exploration through Constraint-Based Model-Transformation. 173-182 - Tomasz Porzucek, Stephan Kluth, Mathias Fritzsche, David Redlich:
Combination of a Discrete Event Simulation and an Analytical Performance Analysis through Model-Transformations. 183-192 - Heike S. Rolfs, Andreas W. Liehr, Klaus Buchenrieder:
Communication Modeling for System-Level Performance-Simulation. 193-198
Industry and Education
- Bernhard Groene, Wolfram Kleis, Jochen Boeder:
Educating Architects in Industry - The SAP Architecture Curriculum. 201-205 - Gerhard Grießnig, Roland Mader, Christian Steger, Reinhold Weiss:
Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture. 206-212
Doctoral Symposium
- A. A. L. Abdullatif, R. J. Pooley:
UML-JMT: A Tool for Evaluating Performance Requirements. 215-225 - Ivan Kastelan, Nikola Teslic, Vukota Pekovic, Tarkan Tekcan:
TV Screen Content Extraction and Recognition Algorithm for the Verification of Digital Television Systems. 226-231 - Lianping Chen, Muhammad Ali Babar:
Supporting Customizable Architectural Design Decision Management. 232-240 - Massood Khaari, Raman Ramsin:
Process Patterns for Aspect-Oriented Software Development. 241-250
Poster Presentations
- Bogdan Trivunovic, Miroslav Popovic, Vladislav Vrtunski:
An Application Level Parallelization of Complex Real-Time Software. 253-257 - Mario Riojas, Susan Lysecky, Jerzy W. Rozenblit:
Adapting Engineering Education to Resource-Constrained Middle Schools: Teaching Methodologies and Computing Technologies. 258-262 - Ibrahim A. Aref, Nuredin Ahmed, Fernando Rodríguez Salazar, Khaled Elgaid:
Measuring and Optimising Convergence and Stability in Terms of System Construction in SystemC. 263-267 - Moazzam Fareed Niazi, Hannu Tenhunen, Tiberiu Seceleanu:
An Emulation Solution for the SegBus Platform. 268-275 - Richard Mordinyi, Eva Kühn, Alexander Schatten:
Towards an Architectural Framework for Agile Software Development. 276-280 - Haydn Mearns, John Leaney, Dominique Verchère:
The Architectural Evolution of Telecommunications Network Management Systems. 281-285 - Ulrich Krenn, Michael Thonhauser, Christian Kreiner:
ECQL: A Query and Action Language for Model-Based Applications. 286-290 - Qaisar A. Malik, Antti Jääskeläinen, Heikki Virtanen, Mika Katara, Fredrik Abbors, Dragos Truscan, Johan Lilius:
Model-Based Testing Using System vs. Test Models - What Is the Difference?. 291-299 - Zenon Chaczko, Christopher Chiu, Ryszard Klempous, Jan Nikodem:
3TZ Collaborative Team Environments Incorporating the Hybrid Holonic Architecture. 300-305 - Jeanette Heidenberg, Ivan Porres:
Metrics Functions for Kanban Guards. 306-310 - Michael L. Valenzuela, Chuan Feng, Praneel Reddy, Faisal Momen, Jerzy W. Rozenblit, Brian Ten Eyck, Ferenc Szidarovszky:
A Non-numerical Predictive Model for Asymmetric Analysis. 311-315 - Tony Spiteri Staines:
Activity and Petri Net Model-to-Model Mapping Using Triple Graph Grammars. 316-317
STV'10: System Testing and Validation Workshop
- Fredrik Abbors, Andreas Backlund, Dragos Truscan:
MATERA - An Integrated Framework for Model-Based Testing. 321-328 - Marc-Florian Wendland, Jürgen Großmann, Andreas Hoffmann:
Establishing a Service-Oriented Tool Chain for the Development of Domain-Independent MBT Scenarios. 329-334 - Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li:
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. 335-343 - Frank Böhr:
Model Based Statistical Testing and Durations. 344-351 - Sebastian Wieczorek, Alin Stefanescu:
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. 352-357 - Fan Yang, Wen Su, Huibiao Zhu, Qin Li:
Formalizing MapReduce with CSP. 358-367
ECBS-LARC: 1st IEEE Latin Americian Regional Conference on the Engineering of Computer Based Systems
- Eduardo Machado Gonçalves, Cecília Mary Fischer Rubira:
Archmeds: An Infrastructure for Dependable Service-Oriented Architectures. 371-378 - Camilo Carromeu, Débora Maria Barroso Paiva, Maria Istela Cagnin, Hana K. Rubinsztejn, Marcelo Augusto Santos Turine, Karin K. Breitman:
Component-Based Architecture for e-Gov Web Systems Development. 379-385 - Rodrigo Dias Arruda Senra, Claudia Bauzer Medeiros:
Database Descriptors: Laying the Path to Commodity Web Data Services. 386-392 - Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado, Vânia Maria Ponte Vidal:
Modeling the Mediated Schema Constraints. 393-402 - Gisele M. Simas, Rodrigo Andrade de Bem, Lucas Novelo, Guilherme P. Fickel, Silvia Silva da Costa Botelho:
Visual Tracking Based on 3D Probabilistic Reconstruction. 403-409 - Flávia Coimbra Delicato, Paulo F. Pires, Luci Pirmez, Thaís Vasconcelos Batista:
Wireless Sensor Networks as a Service. 410-417 - Isabelle Perseil, Laurent Pautet:
High-Level Abstraction Modeling for Detailed Analysis of Avionic Real-Time Systems. 418-424 - Marcus Brohede:
Simulations within Information Fusion - The Need for Fault Tolerance High Fault Tolerance Degree. 425-429 - Mike Hinchey, Lorcan Coyle:
Evolving Critical Systems: A Research Agenda for Computer-Based Systems. 430-435
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.
last updated on 2025-10-15 23:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
