Search results

Create the page "Verification and validation" on this wiki! See also the search results found.

• 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) - 14:34, 4 June 2019
• SafeComp 2020
  |Title=39th International Conference on Computer Safety, Reliability and Security The 39th International Conference on Computer Safety, Reliability and Security ( SafeComp)
  5 KB (617 words) - 11:54, 19 June 2020
• PADS 2020
  ...rch that lies at the intersection of the computer science and the modeling and simulation fields. Specifically, many research topics not related to parall ...erence of ACM's Special Interest Group on Simulation and Modeling (SIGSIM) and is fully sponsored by that organization.
  3 KB (457 words) - 08:25, 17 April 2020
• KSEM 2020
  |Title=International Conference on Knowledge Science, Engineering and Management • Knowledge representation and reasoning
  3 KB (277 words) - 15:47, 11 June 2020
• KSEM 2018
  |Title=International Conference on Knowledge Science, Engineering and Management * Knowledge representation and reasoning
  2 KB (204 words) - 11:36, 27 March 2020
• CoNEXT 2018
  |Title=14th International Conference on Emerging Networking Experiments and Technology *Content distribution and caching, e.g., CDN, peer-to-peer, overlays, wide-area
  2 KB (238 words) - 11:18, 6 April 2020
• SafeComp 2019
  |Title=38th International Conference on Computer Safety, Reliability, and Security The 38th International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
  3 KB (419 words) - 10:51, 19 June 2020
• SummerSim 2019
  |Has host organization=Society for Modeling and Simulation International ...and the 22nd International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS).
  5 KB (640 words) - 13:03, 5 May 2020
• DATE 2018
  * D, A, T and E papers: Sunday, 10 September 2017 23:59:59 CET ...systems, covering ICs/SoCs, reconfigurable hardware and embedded systems, and embedded software.
  12 KB (1,651 words) - 13:30, 27 November 2020
• DATE 2020
  |Title=2020 Design, Automation and Test in Europe Conference ...gy and systems, covering ICs/SoCs, emerging technologies, embedded systems and embedded software.
  4 KB (508 words) - 17:54, 6 January 2021
• SafeComp 2018
  |Title=37th International Conference on Computer Safety, Reliability, and Security The 37th International Conference on Computer Safety, Reliability and Security (SAFECOMP)
  4 KB (475 words) - 10:23, 19 June 2020
• ASP-DAC 2020
  |Title=25th Asia and South Pacific Design Automation Conference * 1. System-Level Modeling and Design Methodology:
  6 KB (739 words) - 15:08, 13 May 2020
• ICIMP 2020
  |Title=The Fifteenth International Conference on Internet Monitoring and Protection With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
  17 KB (2,088 words) - 12:49, 14 June 2020
• SAFECOMP 2017
  |Title=36th International Conference on Computer Safety, Reliability, and Security ...state-of-the-art in dependable application of computers in safety-related and safety-critical systems.
  4 KB (457 words) - 11:48, 17 June 2020
• ICSNC 2020
  |Title=The Fifteenth International Conference on Systems and Networks Communications 1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited
  13 KB (1,636 words) - 11:51, 10 July 2020
• ASE 2017
  |Has host organization=Institute of Electrical and Electronics Engineers ...2017 invites high quality contributions describing significant, original, and unpublished results. Solicited topics include, but are not limited to:
  5 KB (557 words) - 07:07, 13 July 2020
• INTERNET 2020
  On-Site and Remote: INTERNET 2020 || October 18 - 22, 2020 - Porto, Portugal. With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
  13 KB (1,550 words) - 02:20, 10 July 2020
• ICCGI 2020
  ...,"Security in network, systems, and applications","IPv6 Today - Technology and deployment" With everyone's health and safety in mind, we are adapting some of the ways in which IARIA conferences
  18 KB (2,036 words) - 02:36, 10 July 2020
• EUSAR 2021
  ...This biennial event provides an excellent forum for exchanging information and discussion on a wide variety of SAR topics, representing the latest SAR dev (A) SAR Systems and Sensors
  2 KB (323 words) - 11:18, 10 July 2020
• ICSEA 2020
  1. The submission deadlines (and other dates such as notification and camera ready) are rather flexible in order to account for possibly limited ...erence, authors will be able to present their work via pre-recorded videos and/or conference calls (in case they opt to avoid travel).
  13 KB (1,573 words) - 12:00, 10 July 2020

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