Search results

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

• CSIT 2017
  ...anagementMobile and Ubiquitous ComputingModeling and Simulation Multimedia Systems and Services Networking and Communications Parallel and Distributed Systems
  3 KB (429 words) - 11:32, 8 August 2017
• IJCSEA 2017 : International Journal of Computer Science, Engineering and Applications
  * Computer Architecture and Real time Systems * Dependable, reliable and autonomic computing
  10 KB (1,396 words) - 13:30, 28 July 2017
• IJCSEIT 2017 : International Journal of Computer Science, Engineering and Information Technology
  * Computer Architecture and Real time Systems * Dependable, reliable and autonomic computing
  5 KB (679 words) - 13:28, 28 July 2017
• ICCSEA 2017
  * Computer Architecture and Real Time Systems * Dependable, Reliable and Autonomic Computing
  5 KB (651 words) - 11:34, 8 August 2017
• OPODIS 2017
  The 21st International Conference on Principles of Distributed Systems distributed computing and distributed computer systems. All aspects of
  7 KB (1,009 words) - 15:54, 3 September 2019
• ICAITA 2017
  * Computer Architecture and Real time Systems * Dependable, Reliable and Autonomic Computing
  5 KB (589 words) - 11:46, 8 August 2017
• SAC 2018
  Collective and Cooperative Systems CCS Cyber-Physical Systems CPS
  5 KB (660 words) - 13:50, 8 April 2020
• HFR 2017
  safe and dependable machines, operating in the close vicinity to humans or telerobotic systems
  2 KB (317 words) - 11:16, 8 October 2020
• HFR 2017 : 10th International Workshop on Human-Friendy Robotics (Springer SPAR Proceedings)
  safe and dependable machines, operating in the close vicinity to humans or telerobotic systems
  2 KB (316 words) - 16:29, 9 October 2017
• SOCA 2017 : The 10 th IEEE International Conference on Service Oriented Computing and Applications
  communication, Cyber-Physical Systems (CPSs), Mobile-Edge Computing, Social computing as well as mobile and enterprise systems.
  4 KB (494 words) - 13:20, 28 July 2017
• 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

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