Internet (417 Artikel)

Computing power performance was important at times when hardware was still expensive, because hardware had to be put to the best use. Later on this criterion was no longer critical, since hardware ...

SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings

39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings

This book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021.

This book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022.

This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2...

DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021, Proceedings

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2022, which took place in Munich, Germany, in September 2022. ·       3rd International Workshop on Underpin...

The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions.  -        - 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems ...

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 pande...

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...

SAMOS III - Reconfigurable Computing.- The Molen Programming Paradigm.- Loading ??-Code: Design Considerations.- RAMPASS: Reconfigurable and Advanced Multi-processing Architecture for Future Silico...

Das Ende des Leuchttisches -- oder DTP auf der Suche nach professionellen Anwendern.- Desktop Publishing -- Möglichkeiten und Grenzen.- Integrierte CAP-Lösungen zur kooperativen Aufgabenabwicklung ...

This monograph presents a novel execution model for the parallel execution of standard sequential Prolog. In this execution model Prolog procedure calls can be efficiently pipelined, and the author...

It is now more than fifty years since the first paper on formal specifications of an information system was published by Young and Kent. Even if the term "conceptual model" was not used at that tim...