Search results

Create the page "Dependable Systems" on this wiki! See also the search results found.

• CADS 2017
  ...: The 19th CSI International Symposium on Computer Architecture & Digital Systems (CADS 2017) * Computer Architecture, Processor Design, and Memory Systems
  1 KB (178 words) - 10:05, 20 November 2020
• IEEE SITIS I-WECA 2017 : I-WeCA 2017 : Intelligent Web Computing and Applications (IEEE SITIS Conf. Track)
  TECHNOLOGY & INTERNET BASED SYSTEMS systems, mobile information systems and services, semantic-based applications
  6 KB (876 words) - 09:59, 21 August 2017
• COMIT 2017
  * Computer Architecture and Real time Systems * Dependable, Reliable and Autonomic computing
  4 KB (478 words) - 08:48, 16 May 2020
• ISCA 2020
  * Processor, memory, and storage systems architecture * Multiprocessor systems
  2 KB (315 words) - 11:47, 11 May 2020
• DSN2017
  |Title=International Conference on Dependable Systems and Networks ...m/events/2017-47th-annual-ieee-ifip-international-conference-on-dependable-systems-and-networks-dsn-/event-summary-38f3ba00e72541c6b45513b5064923e1.aspx
  1 KB (123 words) - 15:25, 3 December 2020
• WORDS
  |Title=IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
  136 bytes (17 words) - 01:28, 18 March 2020
• SafeComp 2020
  ..., operation and maintenance of safety-related and safety-critical computer systems. Major topics include, but are not limited to: ...verification and assessment of intelligent and autonomous safety-critical systems
  5 KB (617 words) - 11:54, 19 June 2020
• ProvSec 2018
  - Provable security in the real-world security systems ...oposal) and Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications (JoWUA).
  3 KB (445 words) - 11:59, 9 April 2020
• ICNS 2020
  ...Opportunistic unlicensed spectra utilization; Adaptation in Cyber-physical systems; Service availability models ...stems & applications; High-speed & optical networks; Mobile networking and systems; Multimedia and multicast communications; Networking Communication theory;
  14 KB (1,770 words) - 14:56, 19 April 2020
• SafeComp 2019
  ...verification and assessment of highly automated and autonomous dependable systems * formal modelling, verification and validation of critical systems, software and hardware
  3 KB (419 words) - 10:51, 19 June 2020
• DATE 2018
  ...ology and systems, covering ICs/SoCs, reconfigurable hardware and embedded systems, and embedded software. ...as telecom, wireless communications, multimedia, healthcare and automotive systems. Persons involved in innovative industrial designs are particularly encoura
  12 KB (1,651 words) - 13:30, 27 November 2020
• DATE 2020
  ...technology and systems, covering ICs/SoCs, emerging technologies, embedded systems and embedded software. ...ethodologies, EDA algorithms and tools, testing of electronic circuits and systems, embedded software, application design and industrial design experiences. T
  4 KB (508 words) - 17:54, 6 January 2021
• ASP-DAC 2020
  * 2. Embedded Systems and Cyberphysical Systems: * 2.4. Dependable architecture
  6 KB (739 words) - 15:08, 13 May 2020
• SAFECOMP 2017
  ...dependable application of computers in safety-related and safety-critical systems. ..., operation and maintenance of safety-related and safety-critical computer systems. Topics include, but are not limited to:
  4 KB (457 words) - 11:48, 17 June 2020
• GameSec 2020
  ...rnet-of-Things, cyber-physical systems, cloud computing, resilient control systems, and critical infrastructure ...tives, security investments, and cyber insurance for dependable and secure systems
  3 KB (353 words) - 12:35, 23 June 2020
• GameSec 2018
  ...rity, reputation, trust and privacy problems in a variety of technological systems. Submissions should solely be original research papers that have neither be ...rnet-of-Things, cyber-physical systems, cloud computing, resilient control systems, and critical infrastructure
  3 KB (423 words) - 11:27, 23 June 2020
• GameSec 2017
  ...rity, reputation, trust and privacy problems in a variety of technological systems. Submissions should solely be original research papers that have neither be * Pricing and economic incentives for building dependable and secure systems
  3 KB (407 words) - 11:20, 23 June 2020
• ICCGI 2020
  ...g and telecommunications","Knowledge virtualization","Security in network, systems, and applications","IPv6 Today - Technology and deployment" ...Online shopping; Social commerce acceptance; Digital multi-modal transport systems and crowdsensing; Mobile technologies and self-healthcare; Online education
  18 KB (2,036 words) - 02:36, 10 July 2020
• ARES 2013
  * Dependability Aspects for Special Applications (e.g. ERP-Systems, Logistics) * Safety Critical Systems
  4 KB (468 words) - 11:39, 21 August 2020
• ARES 2014
  * Dependability Aspects for Special Applications (e.g. ERP-Systems, Logistics) * Safety Critical Systems
  4 KB (538 words) - 11:52, 21 August 2020

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