Browse Results

Showing 17,576 through 17,600 of 84,878 results

Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops: DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13415)

by Mario Trapp Erwin Schoitsch Jérémie Guiochet Friedemann Bitsch

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022.The 23 full papers included in this volume were carefully reviewed and selected from 27 submissions. · 17th International ERCIM/EWICS/ARTEMIS Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2021) · 3rd International Workshop on Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System (DepDevOps 2022) · 9th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2022) · 1st International Workshop on Security and Safety Interaction (SENSEI 2022) · 3rd International Workshop on Underpinnings for Safe Distributed Artificial Intelligence (USDAI 2022) · 5th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2022)

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops: ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings (Lecture Notes in Computer Science #14182)

by Jérémie Guiochet Stefano Tonetta Erwin Schoitsch Matthieu Roy Friedemann Bitsch

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)- - 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)- - Second International Workshop on Security and Safety Interactions (SENSEI 2023)- - First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023) - - 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops: DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings (Lecture Notes in Computer Science #14989)

by Friedemann Bitsch Erwin Schoitsch Andrea Bondavalli Barbara Gallina Andrea Ceccarelli Mario Trapp

This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence, Italy, during September 2024. The 36 papers included in this book were carefully reviewed and selected from a total of 64 submissions to the following workshops: DECSoS 2024 – 19th Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems SASSUR 2024 - 11th International Workshop on Next Generation of System Assurance Approaches for Critical Systems TOASTS 2024 – Towards A Safer Systems’ Architecture Through Security WAISE 2024 – 7th International Workshop on Artificial Intelligence Safety Engineering

Computer Science: The Hardware, Software and Heart of It

by Edward K. Blum and Alfred V. Aho

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain classical theoretical computer science topics such as Unsolvability (e.g. the halting problem) and Undecidability (e.g. Godel’s incompleteness theorem) that treat problems that exist under the Church-Turing thesis of computation. These problem topics explain inherent limits lying at the heart of software, and in effect define boundaries beyond which computer science professionals cannot go beyond. Newer topics such as Cloud Computing are also covered in this book. After a survey of traditional programming languages (e.g. Fortran and C++), a new kind of computer Programming for parallel/distributed computing is presented using the message-passing paradigm which is at the heart of large clusters of computers. This leads to descriptions of current hardware platforms for large-scale computing, such as clusters of as many as one thousand which are the new generation of supercomputers. This also leads to a consideration of future quantum computers and a possible escape from the Church-Turing thesis to a new computation paradigm. The book’s historical context is especially helpful during this, the centenary of Turing's birth. Alan Turing is widely regarded as the father of Computer Science, since many concepts in both the hardware and software of Computer Science can be traced to his pioneering research. Turing was a multi-faceted mathematician-engineer and was able to work on both concrete and abstract levels. This book shows how these two seemingly disparate aspects of Computer Science are intimately related. Further, the book treats the theoretical side of Computer Science as well, which also derives from Turing's research. Computer Science: The Hardware, Software and Heart of It is designed as a professional book for practitioners and researchers working in the related fields of Quantum Computing, Cloud Computing, Computer Networking, as well as non-scientist readers. Advanced-level and undergraduate students concentrating on computer science, engineering and mathematics will also find this book useful.

Computer Science: A Concise Introduction

by Ian Sinclair

Computer Science: A Concise Introduction covers the fundamentals of computer science. The book describes micro-, mini-, and mainframe computers and their uses; the ranges and types of computers and peripherals currently available; applications to numerical computation; and commercial data processing and industrial control processes. The functions of data preparation, data control, computer operations, applications programming, systems analysis and design, database administration, and network control are also encompassed. The book then discusses batch, on-line, and real-time systems; the basic concepts of computer architecture; and the characteristics of main memory and backing storage. The main characteristics of common types of input, output, and input/output devices used in commercial computer applications and data transmission system are also considered. The book tackles the organization and accessing of serial, sequential, and indexed sequential file; file processing and management; and the concepts and functions of operating systems. The text describes on-line and off-line programming methods as well. Computer science students will find the book useful.

Computer Science – CACIC 2017: 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers (Communications in Computer and Information Science #790)

by Armando Eduardo De Giusti

This book constitutes revised selected papers from the 23rd Argentina Congress on Computer Science, CACIC 2017, held in La Plata, Argentina, in October 2017. The 28 papers presented in this volume were carefully reviewed and selected from a total of 132 submissions. They were organized in topical sections named: intelligent agents and systems; distributed and parallel processing; computer technology applied education; graphic computation, images and visualization; software engineering; databases and data mining; hardware architectures, networks and operating systems; innovation in software systems; signal processing and real-time systems; computer security; and innovation in computer science education.

Computer Science – CACIC 2018: 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers (Communications in Computer and Information Science #995)

by Patricia Pesado Claudio Aciti

This book constitutes revised selected papers from the 24th Argentine Congress on Computer Science, CACIC 2018, held in Tandil, Argentina, in October 2018. The 26 papers presented in this volume were carefully reviewed and selected from a total of 155 submissions. They were organized in topical sections named: Agents and Systems; Distributed and Parallel Processing; Technology Applied to Education; Graphic Computation, Images and Visualization; Software Engineering; Databases and Data Mining; Hardware Architectures, Networks, and Operating Systems; Innovation in Software Systems; Signal Processing and Real-Time Systems; Computer Security; Innovation in Computer Science Education; and Digital Governance and Smart Cities.

Computer Science – CACIC 2019: 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14–18, 2019, Revised Selected Papers (Communications in Computer and Information Science #1184)

by Patricia Pesado Marcelo Arroyo

This book constitutes revised selected papers from the 25th Argentine Congress on Computer Science, CACIC 2019, held in Río Cuarto, Argentina, in October 2019.The 27 full papers presented in this volume were carefully reviewed and selected from a total of 185 submissions. They were organized in topical sections named: intelligent agents and systems; distributed and parallel processing; computer technology applied to education; graphic computation, images and visualization; software engineering; databases and data mining; hardware architectures, networks, and operating systems; innovation in software systems; signal processing and real-time systems; computer security; innovation in computer science education; and digital governance and smart cities.

Computer Science – CACIC 2020: 26th Argentine Congress, CACIC 2020, San Justo, Buenos Aires, Argentina, October 5–9, 2020, Revised Selected Papers (Communications in Computer and Information Science #1409)

by Patricia Pesado Jorge Eterovic

This book constitutes revised selected papers from the 26th Argentine Congress on Computer Science, CACIC 2020, held in San Justo, Buenos Aires, Argentina in October 2020. Due to the COVID-19 pandemic the conference was held in a virtual mode. The 21 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 118 submissions. They were organized in topical sections named: intelligent agents and systems; distributed and parallel processing; computer technology applied to education; graphic computation, images and visualization; software engineering; databases and data mining; hardware architectures, networks, and operating systems; innovation in software systems; signal processing and real-time systems; innovation in computer science education; computer security; and digital governance and smart cities.

Computer Science – CACIC 2021: 27th Argentine Congress, CACIC 2021, Salta, Argentina, October 4–8, 2021, Revised Selected Papers (Communications in Computer and Information Science #1584)

by Patricia Pesado Gustavo Gil

This book constitutes revised selected papers from the 27th Argentine Congress on Computer Science, CACIC 2021, held in Salta, Argentina in October 2021. Due to the COVID-19 pandemic the conference was held in a virtual mode. The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 130 submissions. They were organized in topical sections named: intelligent agents and systems; distributed and parallel processing; computer technology applied to education; graphic computation, images and visualization; software engineering; databases and data mining; hardware architectures, networks, and operating systems; innovation in software systems; signal processing and real-time systems; computer security; and digital governance and smart cities.

Computer Science – CACIC 2022: 28th Argentine Congress, CACIC 2022, La Rioja, Argentina, October 3–6, 2022, Revised Selected Papers (Communications in Computer and Information Science #1778)

by Patricia Pesado

This book constitutes the refereed proceedings of the 28th Argentine Congress on Computer Science, CACIC 2022, held in La Rioja, Argentina, during October 3–6, 2022. The 20 full papers included in this book were carefully reviewed and selected from 184 submissions. They were organized in topical sections as follows: Agents and Systems; Technology Applied to Education; Graphic Computation, Images and Visualization; Software Engineering; Databases and Data Mining; Hardware Architectures, Networks, and Operating Systems; Innovation in Software Systems; Signal Processing and Real-Time Systems; Innovation in Computer Science Education; and Digital Goverance and Smart Cities.

Computer Science – CACIC 2023: 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9–12, 2023, Revised Selected Papers (Communications in Computer and Information Science #2123)

by Juan Manuel Fernández Patricia Pesado Walter Panessi

This book constitutes the refereed proceedings of the 29th Argentine Congress of Computer Science on Computer Science - CACIC 2023, held in Luján, Argentina, during October 9–12, 2023. The 27 full papers included in this book were carefully reviewed and selected from 142 submissions. They were organized in topical sections as follows: agents and systems; distributed and parallel processing; technology applied to education; graphic computation, images and visualization; software engineering; databases and data mining; hardware architectures, networks, and operating systems; innovation in software systems; signal processing and real-time systems; innovation in computer science education; computer security; digital governance and smart cities.

Computer Science – Theory and Applications: 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019, Proceedings (Lecture Notes in Computer Science #11532)

by René Van Bevern Gregory Kucherov

This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019. The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms; combinatorial optimization; constraint satisfaction; computational geometry; formal languages and automata; codes and cryptography; combinatorics in computer science; applications of logic to computer science; proof complexity; fundamentals of machine learning; and theoretical aspects of big data.

Computer Science – Theory and Applications: 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings (Lecture Notes in Computer Science #12159)

by Henning Fernau

This book constitutes the proceedings of the 15th International Computer Science Symposium in Russia, CSR 2020, held in Yekaterinburg, Russia, in June 2020. The 25 full papers and 6 invited papers were carefully reviewed and selected from 49 submissions. The papers cover a broad range of topics, such as: algorithms and data structures; computational complexity, including hardness of approximation and parameterized complexity; randomness in computing, approximation algorithms, fixed-parameter algorithms; combinatorial optimization, constraint satisfaction, operations research; computational geometry; string algorithms; formal languages and automata, including applications to computational linguistics; codes and cryptography; combinatorics in computer science; computational biology; applications of logic to computer science, proof complexity; database theory; distributed computing; fundamentals of machine learning, including learning theory, grammatical inference and neural computing; computational social choice; quantum computing and quantum cryptography; theoretical aspects of big data. The conference was cancelled as a live conference due to the corona pandemic.

Computer Science – Theory and Applications: 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings (Lecture Notes in Computer Science #10846)

by Fedor V. Fomin Vladimir V. Podolskii

This book constitutes the proceedings of the 13th International Computer Science Symposium in Russia, CSR 2018, held in Moscow, Russia, in May 2018.The 24 full papers presented together with 7 invited lectures were carefully reviewed and selected from 42 submissions. The papers cover a wide range of topics such as algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems; networks; and proof theory and applications of logic to computer science.

Computer Science – Theory and Applications: 17th International Computer Science Symposium in Russia, CSR 2022, Virtual Event, June 29 – July 1, 2022, Proceedings (Lecture Notes in Computer Science #13296)

by Alexander S. Kulikov Sofya Raskhodnikova

This book constitutes the proceedings of the 17th International Computer Science Symposium in Russia, CSR 2022, held in St. Petersburg, Russia, June 29-July 3, 2022. The 21 full papers were carefully reviewed and selected from 51 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.

Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings (Lecture Notes in Computer Science #9691)

by Alexander S. Kulikov Gerhard J. Woeginger

This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; computational models and concepts; algorithms for concurrent and distributed systems, networks; proof theory and applications of logic to computer science; model checking; automated reasoning; and deductive methods.

Computer Science – Theory and Applications: 6th International Computer Science Symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011. Proceedings (Lecture Notes in Computer Science #6651)

by Alexander Kulikov Nikolay Vereshchagin

This book constitutes the proceedings of the 6th International Computer Science Symposium in Russia, CSR 2011, held in St. Petersburg, Russia, in June 2011. The 29 papers presented were carefully reviewed and selected from 76 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science.

Computer Science – Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings (Lecture Notes in Computer Science #12730)

by Rahul Santhanam Daniil Musatov

This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021. The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.

Computer Science – Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings (Lecture Notes in Computer Science #10304)

by Pascal Weil

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.

Computer Science and Ambient Intelligence (Iste Ser.)

by Gaëlle Calvary Thierry Delot Florence Sedes Jean-Yves Tigli

This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction, ranging from fundamental to advanced concepts and brings together the contributions of various specialists in the field.Moreover, the book covers the key areas of computer science concerned with the emergence of ambient intelligence (e.g. interaction, middleware, networks, information systems, etc.). It even goes slightly beyond the borders of computer science with contributions related to smart materials and ethics. The authors cover a broad spectrum, with some chapters dedicated to the presentation of basic concepts and others focusing on emerging applications in various fields such as health, transport and tourism.

Computer Science and Ambient Intelligence

by Gaëlle Calvary Thierry Delot Florence Sedes Jean-Yves Tigli

This book focuses on ambient intelligence and addresses various issues related to data management, networking and HCI in this context. Taking a holistic view, it covers various levels of abstraction, ranging from fundamental to advanced concepts and brings together the contributions of various specialists in the field.Moreover, the book covers the key areas of computer science concerned with the emergence of ambient intelligence (e.g. interaction, middleware, networks, information systems, etc.). It even goes slightly beyond the borders of computer science with contributions related to smart materials and ethics. The authors cover a broad spectrum, with some chapters dedicated to the presentation of basic concepts and others focusing on emerging applications in various fields such as health, transport and tourism.

Computer Science and Applications: Proceedings of the 2014 Asia-Pacific Conference on Computer Science and Applications (CSAC 2014), Shanghai, China, 27-28 December 2014

by Ally Hu

The 2014 Asia-Pacific Conference on Computer Science and Applications was held in Shanghai, December 27-28, 2014. These CSAC-2014 proceedings include 105 selected papers, which focus not only on the research of science and technology of computer sciences, but also on the research of applications, aiming at a quick and immediate effect on

Refine Search

Showing 17,576 through 17,600 of 84,878 results