Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16th ECBS 2009: San Francisco, California, USA
- 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3602-6
Modeling
- Jacob Gulotta, Diyang Chu, Ximing Yu, Hussain Al-Helal, Tapasya Patki, Jason Hansen, Maribel Hudson, Jonathan Sprinkle
:
Using Integrative Models in an Advanced Heterogeneous System Simulation. 3-10 - Sumant Tambe, Akshay Dabholkar, Aniruddha S. Gokhale:
CQML: Aspect-Oriented Modeling for Modularizing and Weaving QoS Concerns in Component-Based Systems. 11-20 - Muhammad Rashid, Bernard Pottier:
Application Capturing and Performance Estimation in an Holistic Design Environment. 21-30 - Tamás Vajk, Róbert Kereskényi, Tihamer Levendovszky, Ákos Lédeczi:
Raising the Abstraction of Domain-Specific Model Translator Development. 31-37
Software
- Miroslav Popovic, Ilija Basicevic, Vladislav Vrtunski:
A Task Tree Executor: New Runtime for Parallelized Legacy Software. 41-47 - Damian Dechev, Peter Pirkelbauer, Nicolas Rouquette, Bjarne Stroustrup:
Semantically Enhanced Containers for Concurrent Real-Time Systems. 48-57 - Jessica Díaz, Agustín Yagüe, Juan Garbajosa:
A Systematic Process for Implementing Gateways for Test Tools. 58-66
Formal Methods
- Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty:
Modeling and Analysis of Probabilistic Timed Systems. 69-78 - Allan I. McInnes:
Using CSP to Model and Analyze TinyOS Applications. 79-88 - S. Campos, Julio C. V. Neves, Luis E. Zárate, Mark A. J. Song:
Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. 89-94 - Yosr Jarraya, Mourad Debbabi, Jamal Bentahar:
On the Meaning of SysML Activity Diagrams. 95-105
Systems: Design and Analysis
- Stephan Bode, Anja Fischer, Winfried E. Kühnhauser, Matthias Riebisch:
Software Architectural Design Meets Security Engineering. 109-118 - Hamdy Ibrahim, Behrouz H. Far, Armin Eberlein:
Tradeoff and Sensitivity Analysis of a Hybrid Model for Ranking Commercial Off-the-Shelf Products. 119-127 - Fahad Javed, Naveed Arshad:
A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management. 128-137 - Nasreddine Aoumeur, Kamel Barkaoui, Gunter Saake:
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications. 138-146
Safety Analysis
- Abhishek Dubey:
Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems. 149-155 - Benjamin Hummel:
A Semantic Model for Computer-Based Spatio-temporal Systems. 156-165 - Philippa Conmy, Iain Bate:
Semi-Automated Safety Analysis for Field Programmable Gate Arrays. 166-175 - Chuan Feng, Jerzy W. Rozenblit, Allan J. Hamilton, Andrzej Wytyczak-Partyka:
Defining Spatial Regions in Computer-Assisted Laparoscopic Surgical Training. 176-183
Software II
- Shvetha Soundararajan, James D. Arthur:
A Soft-Structured Agile Framework for Larger Scale Systems Development. 187-195 - Robert Brcina, Stephan Bode, Matthias Riebisch:
Optimisation Process for Maintaining Evolvability during Software Evolution. 196-205 - Thein Than Tun, Rod Chapman, Charles B. Haley, Robin C. Laney, Bashar Nuseibeh:
A Framework for Developing Feature-Rich Software Systems. 206-214 - Rami Al-Motlak, Jerzy W. Rozenblit, Faisal Momen:
A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts. 215-224
Modeling II
- Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard Schätz:
Structured Formalization of Service-Oriented Specifications. 227-236 - Tomasz Porzucek, Stephan Kluth, Flavius Copaciu, Werner Zorn:
Modeling and Evaluation Framework for FMC-QE. 237-243 - Mathias Fritzsche, Hugo Bruneliere, Bert Vanhooff, Yolande Berbers, Frédéric Jouault, Wasif Gilani:
Applying Megamodelling to Model Driven Performance Engineering. 244-253 - Michael Thonhauser, Christian Kreiner, Martin Schmid:
Interpreting Model-Based Components for Information Systems. 254-261
Embedded Systems
- Brian Dougherty, Jules White, Chris Thompson, Douglas C. Schmidt:
Automating Hardware and Software Evolution Analysis. 265-274 - Jonathan Tate, Iain Bate:
Tuning Complex Sensornet Systems Using Principled Engineering Methods. 275-284
Poster Session Abstracts
- Andrzej Wytyczak-Partyka, Jan Nikodem, Ryszard Klempous:
Application of Structure-from-Motion 3D Reconstruction in Computer-Guided Surgical Training. 287-290 - Babak Mohammadizadeh Khoshroo, Hassan Rashidi:
Towards a Framework for Agile Management Based on Chaos and Complex System Theories. 291-292
Model Based Design Workshop
- Damian Dechev, Bjarne Stroustrup:
Model-Based Product-Oriented Certification. 295-304 - Thomas Leveque, Jacky Estublier, Germán Vega:
Extensibility and Modularity for Model Driven Engineering Environments. 305-314 - Martin Monperrus, Antoine Beugnard, Joël Champeau:
A Definition of "Abstraction Level" for Metamodels. 315-320 - Jung Ho Bae, Heung Seok Chae:
An Automatic Approach to Generating State Diagram from Contract-Based Class. 323-331 - Michael C. Jaeger, Ludger Fiege:
Viewpoints in the Smart Home Product Line. 332-339 - Meiko Jensen, Sven Feja:
A Security Modeling Approach for Web-Service-Based Business Processes. 340-347
a service of 
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 2024-04-17 21:34 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:
