|
|
| Line 1: |
Line 1: |
| − | {{Event
| + | Plesnaig to find someone who can think like that |
| − | |Acronym=CORCS 2009
| |
| − | |Title=2nd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
| |
| − | |Type=Workshop
| |
| − | |Field=Software engineering
| |
| − | |Start date=2009/07/20
| |
| − | |End date=2009/07/24
| |
| − | |Homepage=conferences.computer.org/compsac/2009/workshops/CORCS2009.html
| |
| − | |City=Seattle
| |
| − | |State=Washington
| |
| − | |Country=USA
| |
| − | |Submission deadline=2009/03/08
| |
| − | |Camera ready=2009/04/30
| |
| − | }}
| |
| − | <pre>
| |
| − | 2nd IEEE International Workshop on
| |
| − | Component-Based Design of
| |
| − | Resource-Constrained Systems
| |
| − | CORCS 2009
| |
| − | | |
| − | http://conferences.computer.org/compsac/2009/workshops/CORCS2009.html
| |
| − | | |
| − | Seattle, Washington, July 20 - July 24, 2009
| |
| − | (in conjunction with COMPSAC 2009)
| |
| − | ..........................................................
| |
| − | | |
| − | Aims and Scope
| |
| − | --------------
| |
| − | The aim of this workshop is to discuss but also advance the
| |
| − | state-of-the-art, research and development in the area of resource
| |
| − | aware systems, and to promote the study of both fundamental
| |
| − | and practical aspects of component based design of such systems.
| |
| − | Accepted papers will be published in the workshop proceedings of
| |
| − | COMPSAC 2009, by the IEEE Computer Society Press.
| |
| − | | |
| − | Any submission whose content is relevant to the area of resource
| |
| − | aware system design will be considered, but submission
| |
| − | whose subject matter is related to one of the following topics will
| |
| − | be particularly welcome:
| |
| − | | |
| − | | |
| − | * Modeling and Specifying Resource-aware Systems
| |
| − | - models for software components and component interaction: real-time, =20=
| |
| − | | |
| − | safety-critical, embedded, or mobile systems
| |
| − | - specification of extra-functional properties of components
| |
| − | resource models
| |
| − | - service-oriented architectures
| |
| − | | |
| − | | |
| − | * Analysis Techniques
| |
| − | - formal techniques for verification and validation of component =20
| |
| − | software: model-checking, abstraction, refinement, code synthesis, =20
| |
| − | testing, monitoring, debugging, model extraction
| |
| − | - compositional theories
| |
| − | | |
| − | - componentization of legacy code
| |
| − | | |
| − | - certification of components and software architectures
| |
| − | - resource-usage impact on quality of service (QoS) attributes
| |
| − | | |
| − | | |
| − | * Platform-aware Design
| |
| − | - run-time mechanisms and middleware
| |
| − | - scheduling and resource management
| |
| − | - component-driven hardware-software co-design
| |
| − | | |
| − | | |
| − | * Tools and Case-studies
| |
| − | - applications, experience reports and case studies in
| |
| − | component software
| |
| − | - tools for resource-constrained system development
| |
| − | | |
| − | Important Dates:
| |
| − | ----------------
| |
| − | * March 8th, 2009: Deadline for paper submission
| |
| − | * April 15th, 2009 : Notification of acceptance/rejection
| |
| − | * April 30th, 2009: Camera-ready due
| |
| − | | |
| − | Program Committee:
| |
| − | ------------------
| |
| − | * Christo Angelov (Mads Clausen Institute, Denmark)
| |
| − | * Tughrul Arslan (Univ. of Edinburgh, UK)
| |
| − | * Marius Bozga (CNRS, France)
| |
| − | * Ivica Crnkovic (Malardalen Univ., Sweden)
| |
| − | * Alexandre David (Aalborg Univ., Denmark)
| |
| − | * David Garlan (Carnegie Mellon Univ., USA)
| |
| − | * Paola Inverardi (Univ. of L'Aquila, Italy)
| |
| − | * Kim G. Larsen (Aalborg Univ., Denmark)
| |
| − | * Johan Lilius (=C5bo Akademi, Finland)
| |
| − | * Tiziana Margaria (Univ. of Potsdam, Germany)
| |
| − | * Rafaella Mirandola (Politecnico di Milano, Italy)
| |
| − | * Thomas Nolte (Malardalen Univ., Sweden)
| |
| − | * Heinz Schmidt (RMIT Univ., Australia)
| |
| − | * Bernhard Schatz (Technical Univ. Munich, Germany)
| |
| − | * Mikael Sjodin (Malardalen Univ., Sweden)
| |
| − | * Ana Sokolova (Univ. of Salzburg, Austria)
| |
| − | * Bernhard Steffen (Univ. of Dortmund, Germany)
| |
| − | * Dragos Truscan (Abo Akademi, Finland)
| |
| − | * Petr Tuma (Charles University, Czech Republic)
| |
| − | * Wang Yi (Uppsala Univ., Sweden)
| |
| − | | |
| − | Paper Submission:
| |
| − | -----------------
| |
| − | Papers must be submitted electronically via the CORCS 2009 Submission =20=
| |
| − | | |
| − | Page.The format of submitted papers should follow the guidelines for =20
| |
| − | the IEEE conference proceedings. All papers will be carefully reviewed =20=
| |
| − | | |
| − | by at least three reviewers. Papers should be no more than 6 pages.
| |
| − | | |
| − | Organizers:
| |
| − | -----------
| |
| − | * Cristina Seceleanu, Malardalen Univ., Sweden;
| |
| − | cristina.seceleanu@mdh.se(mailto:cristina.seceleanu@mdh.se)
| |
| − | * Paul Pettersson, Malardalen Univ., Sweden;
| |
| − | paul.pettersson@mdh.se(mailto:paul.pettersson@mdh.se)
| |
| − | </pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4789&copyownerid=3264 WikiCFP]
| |
