Author: Karama Kanoun
Publisher: John Wiley & Sons
ISBN: 0470370831
Category : Computers
Languages : en
Pages : 384
Get Book Here
Book Description
A comprehensive collection of benchmarks for measuring dependability in hardware-software systems As computer systems have become more complex and mission-critical, it is imperative for systems engineers and researchers to have metrics for a system's dependability, reliability, availability, and serviceability. Dependability benchmarks are useful for guiding development efforts for system providers, acquisition choices of system purchasers, and evaluations of new concepts by researchers in academia and industry. This book gathers together all dependability benchmarks developed to date by industry and academia and explains the various principles and concepts of dependability benchmarking. It collects the expert knowledge of DBench, a research project funded by the European Union, and the IFIP Special Interest Group on Dependability Benchmarking, to shed light on this important area. It also provides a large panorama of examples and recommendations for defining dependability benchmarks. Dependability Benchmarking for Computer Systems includes contributions from a credible mix of industrial and academic sources: IBM, Intel, Microsoft, Sun Microsystems, Critical Software, Carnegie Mellon University, LAAS-CNRS, Technical University of Valencia, University of Coimbra, and University of Illinois. It is an invaluable resource for engineers, researchers, system vendors, system purchasers, computer industry consultants, and system integrators.
Author: Raghunath Nambiar
Publisher: Springer Science & Business Media
ISBN: 3642104231
Category : Business & Economics
Languages : en
Pages : 278
Get Book Here
Book Description
This book constitutes the reviewed proceedings of the first Conference on Performance Evaluation and Benchmarking, TPCTC 2009, held in Lyon, France, August 24-28,2009. The 16 full papers and two keynote papers were carefully selected from 34 submissions. This book considers issues such as appliance, business intelligence, cloud computing, complex event processing, database performance optimizations, green computing, data compression, disaster tolerance and recovery, energy and space efficiency, hardware innovations, high speed data generation, hybrid workloads or operational data warehousing, unstructured data management, software management and maintenance, virtualization and very large memory systems
Author: Ali R. Hurson
Publisher: Academic Press
ISBN: 012396525X
Category : Computers
Languages : en
Pages : 209
Get Book Here
Book Description
Since its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. In-depth surveys and tutorials on new computer technology Well-known authors and researchers in the field Extensive bibliographies with most chapters Many of the volumes are devoted to single themes or subfields of computer science
Author: Maritta Heisel
Publisher: Springer
ISBN: 3540301380
Category : Computers
Languages : en
Pages : 349
Get Book Here
Book Description
Theimportanceofsafetyandsecurityisgrowingsteadily.Safetyisaqualityc- racteristic that traditionally has been considered to be important in embedded systems, and security is usually an essential property in business applications. There is certainly a tendency to use software-based solutions in safety-critical applications domains, which increases the importance of safety engineering te- niques. These include modelling and analysis techniques as well as appropriate processes and tools. And it is surely correct that the amount of con?dential data that require protection from unauthorized access is growing. Therefore, security is very important. On the one hand, the traditional motivations for addressing safety and security still exist, and their relevance has improved. On the other hand, safety and security requirements occur increasingly in the same system. At present, many software-based systems interact with technical equipment and they communicate, e.g., with users and other systems. Future systems will more and more interact with many other entities (technical systems, people, the en- ronment). In this situation, security problems may cause safety-related failures. It is thus necessary to address safety and security. It is furthermore required to take into account the interactions between these two properties.
Author: Sergei Gorlatch
Publisher: Springer Science & Business Media
ISBN: 038747658X
Category : Computers
Languages : en
Pages : 292
Get Book Here
Book Description
The aim of CoreGRID is to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies in order to overcome the current fragmentation and duplication of effort in this area. To achieve this objective, the workshop brought together a critical mass of well-established researchers from a number of institutions which have all constructed an ambitious joint program of activities. Priority in the workshop was given to work conducted in collaboration between partners from different research institutions and to promising research proposals that could foster such collaboration in the future.
Author: Friedemann Bitsch
Publisher: Springer
ISBN: 3642407935
Category : Computers
Languages : en
Pages : 317
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013. The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.
Author: Alessandro Birolini
Publisher: Springer
ISBN: 3662542099
Category : Technology & Engineering
Languages : en
Pages : 666
Get Book Here
Book Description
This book shows how to build in and assess reliability, availability, maintainability, and safety (RAMS) of components, equipment, and systems. It presents the state of the art of reliability (RAMS) engineering, in theory & practice, and is based on over 30 years author's experience in this field, half in industry and half as Professor of Reliability Engineering at the ETH, Zurich. The book structure allows rapid access to practical results. Methods & tools are given in a way that they can be tailored to cover different RAMS requirement levels. Thanks to Appendices A6 - A8 the book is mathematically self-contained, and can be used as a textbook or as a desktop reference with a large number of tables (60), figures (210), and examples / exercises^ 10,000 per year since 2013) were the motivation for this final edition, the 13th since 1985, including German editions. Extended and carefully reviewed to improve accuracy, it represents the continuous improvement effort to satisfy reader's needs and confidence. New are an introduction to risk management with structurally new models based on semi-Markov processes & to the concept of mean time to accident, reliability & availability of a k-out-of-n redundancy with arbitrary repair rate for n - k=2, 10 new homework problems, and refinements, in particular, on multiple failure mechanisms, approximate expressions, incomplete coverage, data analysis, and comments on ë, MTBF, MTTF, MTTR, R, PA.
Author: Hassan B. Diab
Publisher: John Wiley & Sons
ISBN: 0471674222
Category : Computers
Languages : en
Pages : 693
Get Book Here
Book Description
A team of recognized experts leads the way to dependable computing systems With computers and networks pervading every aspect of daily life, there is an ever-growing demand for dependability. In this unique resource, researchers and organizations will find the tools needed to identify and engage state-of-the-art approaches used for the specification, design, and assessment of dependable computer systems. The first part of the book addresses models and paradigms of dependable computing, and the second part deals with enabling technologies and applications. Tough issues in creating dependable computing systems are also tackled, including: * Verification techniques * Model-based evaluation * Adjudication and data fusion * Robust communications primitives * Fault tolerance * Middleware * Grid security * Dependability in IBM mainframes * Embedded software * Real-time systems Each chapter of this contributed work has been authored by a recognized expert. This is an excellent textbook for graduate and advanced undergraduate students in electrical engineering, computer engineering, and computer science, as well as a must-have reference that will help engineers, programmers, and technologists develop systems that are secure and reliable.
Author: Sergei Gorlatch
Publisher: Springer Science & Business Media
ISBN: 0387728120
Category : Computers
Languages : en
Pages : 246
Get Book Here
Book Description
This volume comprises the edited proceedings of the second CoreGRID Integration Workshop, CGIW'2006, held October 2006 in Krakow, Poland. A "Network of Excellence" funded by the European Commission’s Sixth Framework Program, CoreGRID aims to strengthen and advance scientific and technological excellence in the area of Grid and Peer-to-Peer technologies by bringing together a critical mass of well-established researchers from 41 European research institutions. Designed for a professional audience of industry practitioners and researchers, the volume is also suitable for advanced-level students in computer science.
Author: James J. Park
Publisher: Springer
ISBN: 9811076057
Category : Technology & Engineering
Languages : en
Pages : 1520
Get Book Here
Book Description
This book presents the combined proceedings of the 12th KIPS International Conference on Ubiquitous Information Technologies and Applications (CUTE 2017) and the 9th International Conference on Computer Science and its Applications (CSA2017), both held in Taichung, Taiwan, December 18 - 20, 2017. The aim of these two meetings was to promote discussion and interaction among academics, researchers and professionals in the field of ubiquitous computing technologies. These proceedings reflect the state of the art in the development of computational methods, involving theory, algorithms, numerical simulation, error and uncertainty analysis and novel applications of new processing techniques in engineering, science, and other disciplines related to ubiquitous computing. James J. (Jong Hyuk) Park received Ph.D. degrees in Graduate School of Information Security from Korea University, Korea and Graduate School of Human Sciences from Waseda University, Japan. From December, 2002 to July, 2007, Dr. Park had been a research scientist of R&D Institute, Hanwha S&C Co., Ltd., Korea. From September, 2007 to August, 2009, He had been a professor at the Department of Computer Science and Engineering, Kyungnam University, Korea. He is now a professor at the Department of Computer Science and Engineering and Department of Interdisciplinary Bio IT Materials, Seoul National University of Science and Technology (SeoulTech), Korea. Dr. Park has published about 200 research papers in international journals and conferences. He has been serving as chair, program committee, or organizing committee chair for many international conferences and workshops. He is a steering chair of international conferences – MUE, FutureTech, CSA, CUTE, UCAWSN, World IT Congress-Jeju. He is editor-in-chief of Human-centric Computing and Information Sciences (HCIS) by Springer, The Journal of Information Processing Systems (JIPS) by KIPS, and Journal of Convergence (JoC) by KIPS CSWRG. He is Associate Editor / Editor of 14 international journals including JoS, JNCA, SCN, CJ, and so on. In addition, he has been serving as a Guest Editor for international journals by some publishers: Springer, Elsevier, John Wiley, Oxford Univ. press, Emerald, Inderscience, MDPI. He got the best paper awards from ISA-08 and ITCS-11 conferences and the outstanding leadership awards from IEEE HPCC-09, ICA3PP-10, IEE ISPA-11, PDCAT-11, IEEE AINA-15. Furthermore, he got the outstanding research awards from the SeoulTech, 2014. His research interests include IoT, Human-centric Ubiquitous Computing, Information Security, Digital Forensics, Vehicular Cloud Computing, Multimedia Computing, etc. He is a member of the IEEE, IEEE Computer Society, KIPS, and KMMS. Vincenzo Loia (BS ‘85, MS ‘87, PhD ‘89) is Full Professor of Computer Science. His research interests include Intelligent Agents, Ambient intelligence, Computational Intelligence. Currently he is Founder & Editor-in-chief of “Ambient Intelligence and Humanized Computing”, and Co-Editor-in-Chief of “Softcomputing”, Springer-Verlag. He is Chair of the Task Forces “Intelligent Agents” and “Ambient Intelligence” IEEE CIS ETTC. He has been Chair the Emergent Technical Committe "Emergent Technology", IEEE CIS Society and Vice-Chair of Intelligent Systems Applications Technical Committee. He has been author of more than 200 scientific works, Editor/co-editor of 4 Books, 64 journal papers, 25 book chapters, and 100 conference papers. He is Senior member of the IEEE, Associate Editor of IEEE Transactions on Industrial Informatics, and Associate Editor of IEEE Transactions on Systems, Man, and Cybernetics: Systems. Many times reviewers for national and international projects, Dr. Loia is active in the research domain of agents, ambient intelligence, computational intelligence, smartgrids, distributed platform for enrich added value. Gangman Yi in Computer Sciences at Texas A&M University, USA in 2007, and doctorate in Computer Sciences at Texas A&M University, USA in 2011. In May 2011, he joined System S/W group in Samsung Electronics, Suwon, Korea. He joined the Department of Computer Science & Engineering, Gangneung-Wonju National University, Korea, since March 2012. Dr. Yi has been researched in an interdisciplinary field of researches. His research focuses especially on the development of computational methods to improve understanding of biological systems and its big data. Dr. Yi actively serves as a managing editor and reviewer for international journals, and chair of international conferences and workshops. Yunsick Sung received his B.S. degree in division of electrical and computer engineering from Pusan National University, Busan, Korea, in 2004, his M.S. degree in computer engineering from Dongguk University, Seoul, Korea, in 2006, and his Ph.D. degree in game engineering from Dongguk University, Seoul, Korea, in 2012. He was employed as a member of the researcher at Samsung Electronics between 2006 and 2009. He was the plural professor at Shinheung College in 2009 and at Dongguk University in 2010. His main research interests are many topics in brain-computer Interface, programming by demonstration, ubiquitous computing and reinforcement learning. His Journal Service Experiences is Associate Editor at Human-centric Computing and Information Sciences, Springer (2015- Current).
