The formalization of system engineering models and approaches.
Event
DCOSS 2015
The Annual International Conference on Distributed Computing in Sensor Systems (DCOSS 2015) will take place in Fortaleza, Brazil from Wednesday, June 10 to Friday, June 12 2015. The conference is technically sponsored by IEEE Computer Society and is intended to cover several aspects of distributed computing in sensor systems such as high level abstractions and models, systematic design methodologies, signal and information processing, algorithms, analysis and applications.
Submitted by Anonymous on January 28th, 2015
Event
IST-AWSN'15
10th International Symposium on Intelligent Techniques for Ad hoc and Wireless Sensor Networks IST-AWSN'15 will be held in conjunction with the 6th International Conference on Ambient Systems, Networks and Technologies (ANT-2015) in London, United Kingdom, June 2-5, 2015.
Submitted by Anonymous on January 12th, 2015
Event
ESSS 2015
The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. The ESSS 2015 workshop is affiliated with FM 2015.
Submitted by Anonymous on January 12th, 2015
Event
ICARSC 2015
The IEEE(*) International Conference on Autonomous Robot Systems and Competitions gathers participants from academia and industry working in the field of autonomous robotics and related areas. It is organized within the 15th Portuguese Robotics Open, a RoboCup-sponsored local event. The conference will be held at the University of Tras-os-Montes e Alto-Douro (UTAD) in Vila Real, Portugal, on April 8-10, 2015.
Submitted by Anonymous on December 23rd, 2014
Event
NOCS 2015
The 9th IEEE/ACM International Symposium on Networks-on-Chip (NOCS 2015) will be held September 28 – 30, 2015 in Vancouver, Canada
Submitted by Anonymous on December 23rd, 2014
The Architecture, Languages, Compilation and Hardware support for Emerging ManYcore systems (ALCHEMY Workshop 2015) will be held in conjunction with the International Conference on Computational Science (ICCS 2015)
Submitted by Anonymous on December 23rd, 2014
Event
LCTES 2015
The ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series.
Submitted by Anonymous on December 23rd, 2014
Event
ICINCO 2015
ICINCO 2015 will be held in conjunction with ICETE 2015, ICSOFT 2015, SIMULTECH 2015 and DATA 2015. Registration to ICINCO allows free access to the ICETE, ICSOFT, SIMULTECH and DATA conferences (as a non-speaker).
Submitted by Anonymous on December 23rd, 2014
Event
SETTA 2015
The Symposium on Dependable Software Engineering: Theories, Tools and Applications will be held November 4-6, 2015 at Nanjing University.
Submitted by Anonymous on December 22nd, 2014
2015 Summer Simulation Multi-Conference is SCS's premier international conference in cooperation with ACM SIGSIM. The conference focuses on modeling and simulation, tools, theory, methodologies and applications and provides a forum for the latest R&D results in academia and industry. This year's focus is on complexity, hybrid, discrete and continuous systems, and the role of M&S in addressing complexity.  
Submitted by Anonymous on December 22nd, 2014
Subscribe to Modeling