Search results

• SAMOS 2008
  ...rnational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation Architectures, MOdeling and Simulation
  2 KB (275 words) - 12:34, 17 February 2021
• OPODIS 2019
  ...the scope of OPODIS, including theory, specification, design, performance, and system building. With strong roots in the theory of distributed systems. ...actical implementations of distributed systems, as well as experimentation and quantitative assessments.
  2 KB (299 words) - 13:59, 17 February 2021
• EURASIP Journal on Embedded Systems 2009
  ...ed Systems, Special Issue on Formal Techniques for Embedded Systems Design and Validation ...dded systems are also safety-critical requiring high degree of reliability and fault tolerance. Examples
  4 KB (456 words) - 12:23, 17 February 2021
• SEKE 2016
  |Title=28th International Conference on Software Engineering and Knowledge Engineering * Embedded and ubiquitous software engineering
  4 KB (490 words) - 14:01, 17 February 2021
• SAM 2016
  |Title=9th System Analysis and Modelling Conference |Series=System Analysis and Modeling
  2 KB (266 words) - 13:18, 17 February 2021
• PPDP 2008
  | Title = Principles and Practice of Declarative Programming | Field = Programming languages
  4 KB (451 words) - 12:33, 17 February 2021
• FDL 2010
  |Title=Forum on specification & Design Languages |Field=specification and design languages
  8 KB (1,113 words) - 13:09, 17 February 2021
• ECSI
  |Title=European Electronic Chips & Systems design Initiative ..., knowledge base and access to innovative emerging solutions in the system design domain.
  3 KB (394 words) - 13:09, 17 February 2021
• CENICS 2021
  |Title=International Conference on Advances in Circuits, Electronics and Micro-electronics ...ll structured mobile networks; Heterogeneous optical networks; 5G wireless and mm-Wave systems; Cognitive radars; Signal processing for crowd dynamics; Sm
  5 KB (556 words) - 14:14, 17 February 2021
• SEKE 2018
  |Title=30th International Conference on Software Engineering and Knowledge Engineering ...ART COMPLETELY - You can just paste in the call for papers and remove this and the last line
  5 KB (608 words) - 14:00, 17 February 2021
• ISORC 2008
  | Title = 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing ...eries, this paradigm emphasizes its spirit of openness where diverse views and new approaches to challenging issues can be freely discussed.
  3 KB (377 words) - 12:27, 17 February 2021
• MEMOCODE 2008
  | Title = Sixth ACM-IEEE International Conference on Formal Methods and Models for Codesign Formal Methods and Models for Codesign
  4 KB (526 words) - 12:30, 17 February 2021
• FASE 2019
  ...nt of conceptual and methodological advances with their formal foundations and tool support are particularly encouraged. We welcome contributions on all s ...gineering discipline, including its interaction with and impact on society and economics;
  2 KB (301 words) - 13:48, 17 February 2021
• ICKSE 2016
  |Title=18th International Conference on Knowledge and Software Engineering ...he conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interes
  3 KB (352 words) - 13:27, 17 February 2021
• ICALP 2019
  |Title=46th International Colloquium on Automata, Languages, and Programming The 46th International Colloquium on Automata, Languages, and Programming (ICALP) 2019
  4 KB (556 words) - 14:09, 17 February 2021
• ICEIS 20102
  ...ystems Analysis and Specification, Internet Computing, Electronic Commerce and Human Factors. 1. Databases and Information Systems Integration
  5 KB (552 words) - 13:08, 17 February 2021
• DATE 2010
  | Title = Design, Automation & Test in Europe Conference and Exhibition: March 8-12, 2010
  5 KB (605 words) - 13:17, 17 February 2021
• ICEIS 2013
  ...and Specification, Internet Computing, Electronic Commerce, Human Factors and Enterprise Architecture. 1. DATABASES AND INFORMATION SYSTEMS INTEGRATION
  5 KB (552 words) - 13:16, 17 February 2021
• ICCNDT 2012
  |Title=International Conference on Computing, Networking and Digital Technologies The International Conference on Computing, Networking and Digital Technologies (ICCNDT 2012)<br />
  3 KB (466 words) - 13:16, 17 February 2021
• WWV 2011
  |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
  5 KB (650 words) - 13:12, 17 February 2021

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)