Software tools for designing electronic systems.
event
Submitted by Anonymous on Wed, 12/07/2022 - 3:11pm
Fifteenth international ACM SIGCHI Symposium on Interactive Computing Systems
EICS 2023 is the fifteenth international ACM SIGCHI conference devoted to engineering interactive computing systems and their user interfaces, addressing one or more software quality factors, such as usability, user experience, reliability, security, etc.
event
Submitted by Anonymous on Wed, 09/21/2022 - 9:52am
26th ACM International Conference on Hybrid Systems: Computation and Control
9-12 May 2023 | San Antonio, TX, USA
forum
Submitted by Andre Platzer on Tue, 07/12/2022 - 3:33am
The group of Andre Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc (TVL E13, full-time). Our research develops the logical foundations for cyber-physical systems and practical theorem proving tools for analyzing and correctly building such systems, including the theorem prover KeYmaera X, verified runtime monitoring ModelPlex, verified compilation, and verified safe machine learning techniques.
forum
Submitted by Ricardo Sanfelice on Tue, 02/01/2022 - 9:53pm
forum
Submitted by yusufsarwar on Mon, 08/16/2021 - 1:53am
IEEE SMARTCOMP 2021 .::. Call for Participation .::.
*********************************************************************************************************************
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021), August 23-27, 2021.
Due to uncertainties associated with the pandemic, IEEE SMARTCOMP 2021 will be held as a virtual conference.
https://www.smart-comp.info
forum
Submitted by yusufsarwar on Wed, 06/02/2021 - 5:06pm
The 7th IEEE International Conference on Smart Computing (SMARTCOMP 2021) conference is accepting papers for WIP (Work in progress), tutorials, industry papers, and PhD forum. Please check the website for details: https://www.smart-comp.info
Please note that due to uncertainties associated with the pandemic, the conference will be held as a virtual conference.
Thank you.
file
The supervisory control and data acquisition (SCADA) network in a smart grid must be reliable and efficient to transmit real-time data to the controller, especially when the system is under contingencies or cyberattacks. Introducing the features of software-defined networks (SDN) into a SCADA network helps in better management of communication and deployment of novel grid control operations.