This book constitutes the refereed proceedings of the 31th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2024, held in Haifa, Israel in May 2024.
With the rapid advancements in satellite technology, earth remote sensing has become an indispensable tool for a wide range of applications, from environmental monitoring to disaster management.
This book constitutes the refereed proceedings of the 13th Conference on Advanced Computer Architecture, ACA 2020, held in Kunming, China, in August 2020.
This book constitutes the refereed proceedings of the 10th International Symposium on Parallel Architectures, Algorithms and Programming, PAAP 2019, held in Guangzhou, China, in December 2019.
This book constitutes the proceedings of the Research School on Statistics and Data Science, RSSDS 2019, held in Melbourne, VIC, Australia, in July 2019.
This book constitutes the refereed proceedings of the 12th Annual Conference on Advanced Computer Architecture, ACA 2018, held in Yingkou, China, in August 2018.
This book constitutes the refereed proceedings of the 15th National Conference on Embedded Systems Technology, ESTC 2017, held in Shenyang, China, in November 2017.
The two-volume set LNCS 14744 + 14745 constitutes the proceedings of the 28th International Conference on Financial Cryptography and Data Security, FC 2024, which took place in Willemstad, Curacao, during March 4-8, 2024.
This book constitutes the jointly proceedings of the 3rd International Conference on Intelligent Edge Processing in the IoT Era, Edge-IoT 2022, and the 4th International Conference on Smart Governance for Sustainable Smart Cities, SmartGov 2022.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
This, the 39th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, contains extended and revised versions of seven papers selected from the 37 contributions presented at the 28th International Conference on Database and Expert Systems Applications, DEXA 2017, held in Lyon, France, in August 2017.
This volume, the 34th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems, constitutes a special issue consisting of seven papers on the subject of Consistency and Inconsistency in Data-Centric Applications.
The LNCS journal Transactions on Large-Scale Data- and Knowledge-Centered Systems focuses on data management, knowledge discovery, and knowledge processing, which are core and hot topics in computer science.
UNIX achieved its widespread propagation, its penetration of the UNIX history university domain, and its reach into research and industry due to its early dissemination by AT&T to all interested parties at almost no cost and as source code.
Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-time systems.
The market for information technology products is rapidly changing from a manufactur- er-driven market where new products were determined by the evolution of technology, to a user-driven market where users buy only products corresponding exactly to their needs and where competition is very strong.
In diesem Buch werden Fehlertoleranztechniken in rekonfigurierbaren verteilten Systemen zur Prozeßautomatisierung in einer geschlossenen Form dargestellt.
Die in den vergangenen Jahren außerordentlich gesteigerte Leistungsfähigkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik für ihre Vernetzung erschließen sinnvolle Anwendungsmöglichkeiten für immer weitere und umfangreichere Arbeitsbereiche.
Die Fachtagung "Kommunikation in verteilten Systemen" hat zum Ziel, neue Erkenntnisse zu Konzepten, Anwendungen und Auswirkungen von verteilten Systemen und den zugehörigen Kommunikationsaspekten zu vermitteln.
Mit der zunehmenden Leistungsfähigkeit verteilter Rechnersysteme und dem wachsenden Bedarf für verteilte Anwendungen steigen auch die Anforderungen an die Entwicklungsunterstützung für solche Anwendungen.
Die in den vergangenen Jahren außerordentlich gesteigerte Leistungsfähigkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik für ihre Vernetzung erschließen sinnvolle Anwendungsmöglichkeiten für immer weitere und umfangreichere Arbeitsbereiche.
Petri-Netze und damit verwandte Systemmodelle sind zur Spezifikation, formalen Untersuchung und zur Simulation von Software in verschiedenen Phasen der Entwicklung komplexer Rechensysteme geeignet.
