8th International Symposium on Trustworthy Global Computing (TGC 2013) Buenos Aires, 30-31 August 2013 (co-located with CONCUR, QEST & FORMATS 2013)   co-located with CONCUR, QEST & FORMATS 2013 Important…

The 16th Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed hardware/software system engineering, covering the whole design trajectory from requirement…

  Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems Philadelphia, USA; September 9-13, 2013   The 2013 edition of the Self-Adaptive and Self-Organizing systems conference (SASO) will be held in Philadelphia, PA…

TSOS 2013 4th Workshop on Trustworthy Self-Organizing and Autonomous Systems September 9, 2013, Philadelphia, PA, USA http://tsos.isse.de Affiliated to SASO 2013 Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems…

The International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) 2013 is the 23nd in a series of international workshops. The PATMOS meeting has evolved into a leading scientific event where industry and academia meet to…

The 13th International Workshop on Automated Verification of Critical Systems will take place at the University of Surrey in Guildford, Surrey. The workshop will run from lunchtime on Wednesday 11th September to midday on Friday 13th September 2013.…

Welcome to the European Symposium on Research in Computer Security (ESORICS) 2013 Web Site. This is the 18th symposium in the ESORICS series. This year the Symposium will be held in Egham U.K. at Royal Holloway, University of London…

Fifth Workshop on Real-World Wireless Sensor Networks 19-20 September 2013 Como Lake, Italy We are excited to announce that the fifth Workshop on Real-World Wireless Sensor will be held at the Como Lake, Italy on 19-20 September 2013. The purpose…

Call for Participation  FMICS 2013  18th International Workshop on Formal Methods for Industrial Critical Systems    September 23-24, 2013  Madrid (Spain)  Co-located with SEFM 2013  Invited Talks  * Alessandro…

11th International Conference on Software Engineering and Formal Methods September 25-27, 2013, Madrid, Spain        The aim of the conference is to bring together practitioners and researchers from academia, industry and government…

SECURITY FABRIC SPECIAL INTEREST GROUP TO HOLD FORMATIVE MEETING IN NEW BRUNSWICK, NJ Part of Object Management Group’s quarterly technical meeting   Needham, MA—The Object Management Group (OMG®) will be hosting the formative meeting of a…

20th International Symposium on Temporal Representation and Reasoning Symposium Scope TIME has been for more than a decade the only yearly multidisciplinary international event dedicated to the topic of time in computer…

  ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems Miami, Florida - USA 29 September 2013 through 4 October 2013   MODELS is the premier venue for the exchange of innovative ideas and experiences of…

Benchmarking of Embedded Systems Workshop Held in conjunction with Embedded Systems Week, this workshop will be presented on Sunday, September 29 by Sebastian Fischmeister of University of Waterloo, Shay Gal-On of EEMBC and Peter Stokes and Darshika G.…

E M B E D D E D    S Y S T E M S    W E E K Montreal, Canada, September 29 - October 04, 2013 http://esweek.acm.org ================================================================= ++ CASES +++ CODES+ISSS +++ EMSOFT…

 To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformations. A quick search on the internet produces more than 30 different transformation…