Call for Applications - MODELING OUTSIDE THE BOX (MOTB) WORKSHOP (co-located with MODELS'13 in Miami, Florida, USA, September 30, 2013)    http://cserg0.site.uottawa.ca/modelingoutsidethebox2013 WHAT IS IT? =========== Through a series…

6th International Workshop on Model Based Architecting and Construction of Embedded Systems The design of embedded and cyber-physical systems with real-time and other critical constraints raises distinctive problems throughout the design process, from…

2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing MODELS 2013 satellite event ------------------------------------------ Motivation: ------------------------------------------ The important vitality of…

The Models and Evolution (ME) 2013 workshop is a satellite event at MoDELS 2013 and the continuance of the following events: ME 2012 (at MoDELS), ME 2011 (at MoDELS), ME 2010 (at MoDELS), MoDSE-…

As with prior summits, the event was invite-only, but inclusive of the NSF CI community, free-to-attend, and targeted at those with leadership, management, and security responsibilities in NSF CI and MREFC projects. Additionally, we included…

24th IEEE International Symposium on Rapid System Prototyping Montreal, Canada, part of ESWeek 2013 http://www.rsp-symposium.org     The International Symposium on Rapid System Prototyping (RSP) considers prototyping as an iterative…

IEEE International Conference on Systems, Man, and Cybernetics The 2013 IEEE SMC will be held in Manchester, in the heart of England. This city offers a unique combination of both historical and modern aspects of British culture. The conference venue is…

2013 PHM Society Conference Data Challenge The PHM Data Challenge is a competition open to all potential conference attendees. This year the challenge is focused on maintenance action recommendation, a common problem in industrial remote monitoring and…

The fourth annual CPS PI Meeting will be held Thursday and Friday, October 17-18, 2013 at the Crystal Gateway Marriott Hotel in the Crystal City section of Arlington, Virginia near the Crystal City Metro and Reagan Washington…

  Eleventh ACM-IEEE International Conference on  Formal Methods and Models for Codesign October 18-20, 2013 - Portland , Oregon, USA The eleventh ACM-IEEE MEMOCODE conference focuses on research and developments in methods, tools…

International Workshop on Design and Implementation of Formal Tools and Systems Portland, OR October 19, 2013 co-located with FMCAD and MEMOCODE   DIFTS (Design and Implementation of Formal Tools and Systems) workshop emphasizes insightful…

Formal Methods in Computer-Aided Design Portland, OR, USA October 20-23, 2013   FMCAD 2013 is the thirteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading…

The 2013 Internet Measurement Conference is a three day event focusing on Internet measurement and analysis, following on the successes of the twelve previous Internet Measurement Workshops and Conferences. The Conference will be held in …

The 16th International Symposium on Research in Attacks, Intrusions and Defenses, previously known as Recent Advances in Intrusion Detection, will be held in St. Lucia, October 23-25, 2013. This symposium brings together leading researchers…

International Conference on Convergence and Hybrid Information Technology (ICHIT 2013)   http://www.ichit2013.org    October 25th ~ 26th, 2013, Hannam University, Daejeon, Korea   Since 2006, ICHIT has been focused on various aspects…

An upward shift in abstraction leads to a corresponding increase in productivity. In the past this has occurred when programming languages have evolved towards a higher level of abstraction. Today, domain-specific languages provide a viable solution for…