Dependability of Networked Computer-based Systems

Dependability of Networked Computer-based Systems
Author: Ajit Kumar Verma
Publisher: Springer Science & Business Media
Total Pages: 212
Release: 2011-07-21
Genre: Technology & Engineering
ISBN: 0857293184

The measurement of dependability attributes on real systems is a very time-consuming and costly affair, making analytical or simulation modeling the only viable solutions. Dependability of Networked Computer-based Systems explores reliability, availability and safety modeling of networked computer-based systems used in life-critical applications such as avionics, nuclear power plants, automobiles and chemical process industries. Dependability of Networked Computer-based Systems gives an overview of basic dependability modeling concepts and addresses new challenges in dependability modeling of networked computer-based systems, as well as new trends, their capabilities and limitations. It covers a variety of dependability modeling methods: stochastic processes, Markov and semi-Markov models, response-time distribution, stochastic Petri-net-based modeling formalisms, and Monte Carlo simulation models. Dependability of Networked Computer-based Systems provides students and researchers with a detailed overview of dependability models and analysis techniques. Practicing engineers will also find this text a useful guide to decision-making based on system dependability at the design, operation and maintenance stages.

Quality of Information and Communications Technology

Quality of Information and Communications Technology
Author: Antonio Vallecillo
Publisher: Springer Nature
Total Pages: 332
Release: 2022-09-05
Genre: Computers
ISBN: 3031141792

This book constitutes the refereed proceedings of the 15th International Conference on the Quality of Information and Communications Technology, QUATIC 2022, held in Talavera de la Reina, Spain, in September 2022. The 18 full papers and 3 short papers were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections: ​smart and advanced systems; verification and validation; skills and education; industrial experiences and applications; safety, security and privacy.

Petri Net Technology for Communication-Based Systems

Petri Net Technology for Communication-Based Systems
Author: Hartmut Ehrig
Publisher: Springer
Total Pages: 466
Release: 2003-11-17
Genre: Computers
ISBN: 3540400222

This state-of-the-art survey in the Advances in Petri Nets series reports how various well-established and novel Petri net notions and techniques can be employed for modelling communication-based systems, with a particular focus on workflow management and business processes.The book builds on the success of a special program of the German Science Foundation (DFG) on Petri Net Technology as well as on broad participation from the international Petri net research community.

Distributed Communities on the Web

Distributed Communities on the Web
Author: Peter Kropf
Publisher: Springer Science & Business Media
Total Pages: 213
Release: 2000-06-07
Genre: Business & Economics
ISBN: 3540676473

This book constitutes the refereed proceedings of the Third International Workshop on Distributed Communities on the Web, DCW 2000, held in Quebec City, Canada, in June 2000. The 19 revised full papers presented together with 2 keynote contributions were carefully reviewed and selected from 30 submissions. The book presents topical sections on collaboration in communities, business communities, managing communities, communication and communities, intentionality, and mobile agents for community support.

Recent Trends in Communication and Electronics

Recent Trends in Communication and Electronics
Author: Sanjay Sharma
Publisher: CRC Press
Total Pages: 570
Release: 2021-06-29
Genre: Technology & Engineering
ISBN: 1000431703

The Department of Electronics and Communication Engineering of KIET Group of Institutions, Delhi-NCR organized the 4th International Conference ICCE-2020 during November 28-29, 2020. Information compiled in this book is based on the 114 research papers of excellent quality covering different domains of Electronics and Communication Engineering, Computer Science Engineering, Information Technology, Electrical Engineering, Electronics and Instrumentation Engineering. The subject areas treated in the book are: Satellite, Radar and Microwave Techniques, Secure, Smart, and Reliable Networks, Next Generation Networks, Devices & Circuits, Signal & Image Processing, New Emerging Technologies, having the central focus on Recent Trends in Communication & Electronics (ICCE-2020). In addition, a few themes based on Special Sessions have also been conducted in ICCE-2020. The objective of the book resulting from the 4th International Conference on Recent Trends in Communication & Electronics (ICCE-2020) is to provide a resource for the study and research work for an interested audience comprising of researchers, students, audience, and practitioners in the areas of Communications & Computing Systems.

Methodology for Assessment of Medical IT-based Systems

Methodology for Assessment of Medical IT-based Systems
Author: Jytte Brender
Publisher: IOS Press
Total Pages: 312
Release: 1997
Genre: Computers
ISBN: 9789051993370

10.2 The Role and Contents of the URD in an Assessment Perspective -- 10.3 The Enterprise Model -- 10.4 The Normative Model -- 10.5 Assessment of the User Requirements Document -- 10.6 Discussion -- 11 Dynamic Aspects of the Assessment Methodology -- 11.1 Dynamic Aspects of IT-Development and Application -- 11.2 Adaptation of Frames of Reference for Assessment Activities -- 11.3 Feed-forward Loops -- 11.4 Support of Context Dependent Assessment -- 11.5 Conclusion -- 12 The Dynamic Assessment Methodology -- 12.1 Philosophy -- 12.2 Application Area -- 12.3 Operationalisation of the Methodology -- 12.4 Applicable Methods -- 12.5 Summary -- 13 Discussion -- 13.1 Discussion of Fulfilment of Objective for the 4th Goal -- 13.2 Conclusion of the Study -- References -- Appendix 1: Vocabulary -- Appendix 2: Abbreviations & Acronyms -- Appendix 3: KAVAS's & ISAR's Evaluation Methodology -- Appendix 4: Methodology for Assessment of Functionality -- Appendix 5: Experimental Observations: Functionality Assessment -- Appendix 6: Experimental Observations: LFA -- Appendix 7: Causal Analysis of Experimental Observations -- Appendix 8: Method for Elicitation of a Strategy -- Appendix 9: Selected References regarding Assessment Methods

Testing of Communicating Systems

Testing of Communicating Systems
Author: Gyula Csopaki
Publisher: Springer
Total Pages: 395
Release: 2013-03-14
Genre: Computers
ISBN: 0387355677

Testing of Communicating Systems presents the latest worldwide results in both the theory and practice of the testing of communicating systems. This volume provides a forum that brings together the substantial volume of research on the testing of communicating systems, ranging from conference testing through interoperability testing to performance and QoS testing. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing.£/LIST£ This book contains the selected proceedings of the 12th International Workshop on the Testing of Communicating Systems (formerly the International Workshop on Protocol Test Systems), sponsored by the International Federation for Information Processing (IFIP), and held in Budapest, Hungary, in September 1999. The book contains not only interesting research on testing different communication technologies from telecom and datacom systems to distributed systems, but also presents reports on the application of these results in industry. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer science and telecommunications.

Handbook of Research on Contemporary Perspectives on Web-Based Systems

Handbook of Research on Contemporary Perspectives on Web-Based Systems
Author: Elçi, Atilla
Publisher: IGI Global
Total Pages: 582
Release: 2018-05-04
Genre: Computers
ISBN: 1522553851

Information systems development underwent many changes as systems transitioned onto web-based forums. Complemented by advancements in security and technology, internet-based systems have become an information mainstay. The Handbook of Research on Contemporary Perspectives on Web-Based Systems is a critical scholarly resource that examines relevant theoretical frameworks, current practice guidelines, industry standards, and the latest empirical research findings in web-based systems. Featuring coverage on a wide range of topics such as data integration, mobile applications, and semantic web, this publication is geared toward computer engineers, IT specialists, software designers, professionals, researchers, and upper-level students seeking current and relevant research on the prevalence of these systems and advancements made to them.

Quality of Software Architectures

Quality of Software Architectures
Author: Christine Hofmeister
Publisher: Springer
Total Pages: 224
Release: 2006-12-07
Genre: Computers
ISBN: 3540488200

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Västerås, Sweden in June 2006, co-located with the 9th International Symposium on Component-Based Software Engineering, CBSE 2006. Coverage includes architecture evaluation, managing and applying architectural knowledge, and processes for supporting architecture quality.