krainaksiazek cyber physical systems architectures protocols and applications 20115905
- znaleziono 2 produkty w 1 sklepie
Theoretical Aspects of Computing ICTAC 2014, 1 Springer, Berlin
Książki / Literatura obcojęzyczna
This book constitutes the refereed proceedings of the 11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014 held in Bucharest, Romania, in September 2014. The 25 revised full papers presented together with three invited talks were carefully reviewed and selected from 74 submissions. The papers cover various topics such as automata theory and formal languages; principles and semantics of programming languages; theories of concurrency, mobility and reconfiguration; logics and their applications; software architectures and their models, refinement and verification; relationship between software requirements, models and code; static and dynamic program analysis and verification; software specification, refinement, verification and testing; model checking and theorem proving; models of object and component systems; coordination and feature interaction; integration of theories, formal methods and tools for engineering computing systems; service-oriented architectures: models and development methods; models of concurrency, security, and mobility; theories of distributed, grid and cloud computing; real-time, embedded, hybrid and cyber-physical systems; type and category theory in computer science; models for e-learning and education; case studies, theories, tools and experiments of verified systems; domain-specific modeling and technology: examples, frameworks and practical experience; challenges and foundations in environmental modeling and monitoring, healthcare, and disaster management.
Protocol Engineering Vieweg+Teubner
Książki / Literatura obcojęzyczna
v ------------------ Foreword It is now over twenty years since the first efforts were made to interconnect computers for the exchange of data. In the 1970s proprietary networking architectures, such as IBM's SNA, were developed and installed at many customer sites worldwide. At the same time the ARPANET in the United States became a research vehicle providing many new insights, in particular into packet switching technology and routing algorithms. In the 1980s the Interconnection of heterogeneous eqUipment was a domi nating issue: ISO published the Reference Model for Open Systems Intercon nection (051) and many new standards for the protocols of layers 4 to 7. In parallel the INTERNET community developed a new generation of protocols, the TCP liP protocol stack, in order to enable worldwide data interchange for scientists. Powerful workstations and PCs are now installed on many desktops because decentralized computing is often much more user friendly and cost effective than traditional mainframe computing. Yet access to shared information and resources is still required, creating a strong demand for interconnecting heterogeneous computers. Applications such as electronic mail, file transfer, Client/server configurations and manufacturing automation are now in widespread use, with computer eqUipment from dif ferent vendors. The network has really become the computer. In recent years the incredible advances in optical fiber technology have created a new physical medium for data transmission, with very high band width and a very low bit error rate.
Sklepy zlokalizowane w miastach: Warszawa, Kraków, Łódź, Wrocław, Poznań, Gdańsk, Szczecin, Bydgoszcz, Lublin, Katowice
Szukaj w sklepach lub całym serwisie
1. Sklepy z krainaksiazek pl cyber physical systems architectures protocols and applications 20115905
t1=0.038, t2=0, t3=0, t4=0, t=0.038