Page 3
Page 3
The Complete IS-IS Routing Protocol
Presents a wide range of problems concerning operation of the IS-IS routing protocol based on ISO-OSI standards, and belonging to the class of dynamic Interior Gateway and link-state routing protocols. … the material presented in the book is well organized. … the book can be undoubtedly very useful for all networking specialists.
Testing Software and Systems ; 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9–11, 2020, Proceedings
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.
Testing of software and communicating systems ; 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.
Testing of Communicating Systems ; Vol. 3964 ; 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings
This volume contains the proceedings of the 18th IFIP International Conferenceon Testing Communicating Systems (TestCom 2006). The proceedings contain 23 papers that were selected from 48 submissionsin a carefully designed and transparent paper selection process. TestCom 2006consisted of 8 sessions, whose scope covered:–Testing theory and foundations–Testing non-deterministic and probabilistic systems–Testing the Internet and industrial systems–TTCN-3–Compositional and distributed testing–FSM-based testing and diagnosis–Testing timed systems–Testing for security
Testing of Communicating Systems ; Vol. 3502 ; 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2005, held in Montreal, Canada in May/June 2005. The 24 revised full papers presented together with the extended abstract of a keynote talk were carefully reviewed and selected from initially 62 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.
Technology enhanced learning ; IFIP TC3 Technology Enhanced Learning Workshop (Tel'04), World Computer Congress, August 22-27, 2004, Toulouse, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes : foundations of computer science ; software theory and practice ; education ; computer applications in technology ; communication systems ; systems modeling and optimization; information systems; computers and society ; computer systems technology ; security and protection in information processing systems ; artificial intelligence ; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Systems, software and services process improvement ; 27th European Conference, EuroSPI 2020, Düsseldorf, Germany, September 9–11, 2020, Proceedings
This volume constitutes the refereed proceedings of the 27th European Conference on Systems, Software and Services Process Improvement, EuroSPI conference, held in Düsseldorf, Germany, in September 2020*. The 50 full papers and 13 short papers presented were carefully reviewed and selected from 100 submissions. They are organized in topical sections on visionary papers, SPI manifesto and improvement strategies, SPI and emerging software and systems engineering paradigms, SPI and standards and safety and security norms, SPI and team performance & agile & innovation, SPI and agile, emerging software engineering paradigms, digitalisation of industry, infrastructure and e-mobility, good and bad practices in improvement, functional safety and cybersecurity, experiences with agile and lean, standards and assessment models, recent innovations, virtual reality.
Systems, Control, Modeling and Optimization ; Proceedings of the 22nd IFIP TC7 Conference held from July 18-22, 2005, in Turin, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
System modeling and optimization ; Vol. 199 ; Proceedings of the 22nd IFIP TC7 Conference held from, July 18-22, 2005, Turin, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Switched and Impulsive Systems : Analysis, Design and Applications
In this volume the important concept of switched and impulsive control is discussed, with a wide field of applications in the analysis and control of complex systems. This monograph provides the reader with a comprehensive coverage of switched and impulsive systems, including new original work with various applications such as switched server systems, scalable video coding systems, chaotic based secure communication, or quality of service on the internet. Switched and Impulsive Systems can be used as a reference or a text for a course at graduate level.
Supercomputing Frontiers ; 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
Supercomputing Frontiers ; 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings
Constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore in March 2018. Supercomputing Frontiers will be rebranded as Supercomputing Frontiers Asia (SCFA), which serves as the technical programme for SCA18. The technical programme for SCA18 consists of four tracks: Application, Algorithms & Libraries Programming System Software Architecture, Network/Communications & Management Data, Storage & Visualisation
Supercomputing Frontiers : 7th Asian Conference, SCFA 2022, Singapore, March 1–3, 2022, Proceedings
This book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. This book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
Structural information and communication complexity ; 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
Constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2021, held in Wrocław, Poland, in June 2021. The 20 full papers presented in this book were carefully reviewed and selected from 48 submissions. The papers are solicited from all areas of study of local structural knowledge and global communication and computational complexities. Among the typical areas are distributed computing, communication networks, game theory, parallel computing, social networks, mobile computing
Structural information and communication complexity ; 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29–July 1, 2020, Proceedings
Constitutes the refereed conference proceedings of the 27th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2020, held in Paderborn, Germany, in June 2020.
Stochastic Discrete Event Systems : Modeling, Evaluation, Applications
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing events. Stochastic discrete-event systems (SDES) capture the randomness in choices and over time due to activity delays and the probabilities of decisions. The starting point for the evaluation of quantitative issues like performance and dependability is a formal description of the system of interest in a model. An abstract model class for SDES is presented as a pivotal unifying result. Several important model classes, including queuing networks, Petri nets and automata, are detailed together with their formal translation into this abstract model class. Standard and recently developed algorithms for the performance evaluation, optimization and control of SDES are presented in the context of the abstract model class. The necessary software tool support is also covered. The book is completed with nontrivial examples from areas like manufacturing control, performance of communication systems, and supply-chain management, highlighting the application of the techniques presented.
Stabilization, safety, and security of distributed systems ; 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings
Constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2020, held in Austin, TX, USA, in November 2020. The 16 full papers, 7 short and 2 invited papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.
Space Weather & Telecommunications
A survey of practical concepts for forecasting the performance of various telecommunication systems as well as a balanced treatment of space-weather phenomena that give rise to telecommunication impairment episodes. It bridges the gap in the relationship that exists between the following two disciplines: space weather and telecommunication system performance. There are a number of books that address one of the two disciplines in some detail, but only merely mention the other as an afterthought. In this book the author has married the two disciplines so that the readership can see the connections more clearly. All professional and academic researchers in the fields of telecommunication science and technology ; military and civilian telecommunication ; applied aeronomy and ionospheric physics ; and space-weather will find this book essential. It will also be of interest to professionals and researchers in the fields of solar and magnetospheric physics.
Software Technologies ; 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers
Constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.
Software Engineering Techniques : Design for Quality
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
