FPL2014
The International Conference on Field Programmable Logic and Applications (FPL) is the first and largest conference covering the rapidly growing area of field-programmable logic.
CyPhy'14
ECMFA 2014
Model-Based Engineering (MBE) is an approach to the design, analysis and development of software and systems that relies on exploiting high-level models and computer-based automation to achieve significant boosts in both productivity and quality.
CAV 2014
26th International Conference on Computer Aided Verification (CAV’14)
Part of Vienna Summer of Logic (VSL'14)
18-22 July 2014, Vienna, Austria
CAV 2014 is the 26th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems.
FESCA @ ETAPS 2014
11th International Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, held on April 12th, 2014, Grenoble, France
WORKSHOP AIM
Conference on Systems Engineering Research (CSER 2014)
CSER is the leading conference and platform for systems engineering that both pushes the boundaries of current research and identifies and responds to new challenges, fostering new research ideas.
MECO 2014
MECO-2014 Conference
VENUE: Hotel Slovenska Plaza, Budva, Montenegro.
DATES: 15-19, June 2014
ABOUT THE EVENT
The 3rd Mediterranean Conference on Embedded Computing (MECO 2014) is a continuation of very successful MECO events (MECO 2012, MECO 2013). It is an International Scientific Forum aimed to present and discuss the leading achievements in the modeling, analysis, design, validation and application of embedded computing systems.
SEAMS 2014
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
The increasing complexity, distribution, and dynamism of many software-intensive systems, such as cloud-based, cyber-physical and mobile systems, are imposing self-managing capabilities as a key requirement. These systems must be able to adapt themselves at run-time to cope with the uncertainty associated with changes in the environment in which they operate, variability of resources, new user needs, intrusions, and faults.
ISORC 2014
The principal theme of ISORC is the use of the object, component, and service-oriented computing paradigms - which has prevailed in many non-real-time applications in the past decade - in a wide variety of real-time applications.