Dependable Computing for Critical Applications 3, Carl E. Landwehr; Brian Randell; Luca Simoncini
Автор: John F. Meyer; Richard D. Schlichting Название: Dependable Computing for Critical Applications 2 ISBN: 3709192005 ISBN-13(EAN): 9783709192009 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the papers presented at the Second International Work- ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991.
Автор: Brian Randell; Jean-Claude Laprie; Hermann Kopetz; Название: Predictably Dependable Computing Systems ISBN: 3642797911 ISBN-13(EAN): 9783642797910 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The first ESPRIT Basic Research Project on Predictably Dependable Computing Systems (No. 3092, PDCS) commenced in May 1989, and ran until March 1992. The institutions and principal investigators that were involved in PDCS were: City University, London, UK (Bev Littlewood), lEI del CNR, Pisa, Italy (Lorenzo Strigini), Universitiit Karlsruhe, Germany (Tom Beth), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The work continued after March 1992, and a three-year successor project (No. 6362, PDCS2) officially started in August 1992, with a slightly changed membership: Chalmers University of Technology, Goteborg, Sweden (Erland Jonsson), City University, London, UK (Bev Littlewood), CNR, Pisa, Italy (Lorenzo Strigini), LAAS-CNRS, Toulouse, France (Jean-Claude Laprie), Universite Catholique de Louvain, Belgium (Pierre-Jacques Courtois), University of Newcastle upon Tyne, UK (Brian Randell), LRI-CNRS/Universite Paris-Sud, France (Marie-Claude Gaudel), Technische Universitiit Wien, Austria (Hermann Kopetz), and University of York, UK (John McDermid). The summary objective of both projects has been "to contribute to making the process of designing and constructing dependable computing systems much more predictable and cost-effective". In the case of PDCS2, the concentration has been on the problems of producing dependable distributed real-time systems and especially those where the dependability requirements centre on issues of safety and/or security.
Описание: Overviewing problems involved in engineering scalable, elastic, and cost-efficient cloud computing services, this book describes the CloudScale method a description of rescuing tools and the required steps to exploit these tools. With the CloudScale method, software architects can analyze both existing and planned IT services.
Автор: Flaviu Cristian; Gerard LeLann; Teresa Lunt Название: Dependable Computing for Critical Applications 4 ISBN: 3709193982 ISBN-13(EAN): 9783709193983 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994.
Описание: This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on formal methods and advanced software technologies, especially for engineering complex, large-scale artifacts like cyber-physical systems, networks of things, enterprise systems, or cloud-based services.
Автор: Kim Guldstrand Larsen; Oleg Sokolsky; Ji Wang Название: Dependable Software Engineering. Theories, Tools, and Applications ISBN: 3319694820 ISBN-13(EAN): 9783319694825 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October2017.The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions.
Автор: Xuandong Li; Zhiming Liu; Wang Yi Название: Dependable Software Engineering: Theories, Tools, and Applications ISBN: 3319259415 ISBN-13(EAN): 9783319259413 Издательство: Springer Рейтинг: Цена: 6708.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The title, Violent Grace, suggests a paradox. This pairing has become an unexpected gateway into the varied and prolific artistic career of Edward Knippers. Violence conjures images of aggression while grace has long been associated with beauty, poise, or an unmerited gift. Within the ambiguity of this fertile paradox, the art of Edward Knippers opens up into something rich and rewarding.
Автор: Rog?rio de Lemos; Jean-Charles Fabre; Cristina Gac Название: Architecting Dependable Systems VI ISBN: 3642102476 ISBN-13(EAN): 9783642102479 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
DDoS 3.0 - How terrorists bring down the Internet.- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids.- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone.- Stochastic analysis of energy consumption in pool depletion systems.- Moving queue on a network.- A Multi-commodity Simulation Tool Based on TRIANA.- Performance and Precision of Web Caching Simulations for Zipf Request Pattern.- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems.- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.- Combining Mobility Models with Arrival Processes.- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams.- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.- The Weak Convergence of TCP Bandwidth Sharing.- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems.- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres.- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation.
Описание: With practical examples from industry, this volume introduces the methods and tools adopted by the critical systems industry, which includes air traffic control and space exploration. It features `off-the-shelf` systems designed by world-beating companies.
Holistic model for HTTP botnet detection based on DNS traffic analysis.- Detecting broad length algorithmically generated domains.- Secure cloud computing: multithreaded fully homomorphic encryption for legal metrology.- Detecting command and control channel of botnets in clouds.- An experimental framework for investigating security and privacy of IoT devices.- Dynamic cypher for enhanced cryptography and communication for Internet of Things.- An inter-device authentication scheme for smart homes using one-time-password over infrared channel.- Detection and prevention of blackhole attacks in wireless sensor networks.- Detection of online fake news using N-gram analysis and machine learning techniques.- Security protocol of social payment apps.- Spectral-spatial classification of hyperspectral imagery using support vector and Fuzzy-MRF.- Infant monitoring system using wearable sensors based on blood oxygen saturation.- Network behavioral analysis for zero-day malware detection. Network Behavioral Analysis for Zero-day Malware Detection.
Автор: Rashid Ali; MM Sufyan Beg Название: Applications of Soft Computing for the Web ISBN: 9811070970 ISBN-13(EAN): 9789811070976 Издательство: Springer Рейтинг: Цена: 15372.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book discusses the applications of different soft computing techniques for the web-based systems and services. The respective chapters highlight recent developments in the field of soft computing applications, from web-based information retrieval to online marketing and online healthcare. In each chapter author endeavor to explain the basic ideas behind the proposed applications in an accessible format for readers who may not possess a background in these fields.
This carefully edited book covers a wide range of new applications of soft computing techniques in Web recommender systems, Online documents classification, Online documents summarization, Online document clustering, Online market intelligence, Web usage profiling, Web data extraction, Social network extraction, Question answering systems, Online health care, Web knowledge management, Multimedia information retrieval, Navigation guides, User profiles extraction, Web-based distributed information systems, Web security applications, Internet of Things Applications and so on.
The book is aimed for researchers and practitioner who are engaged in developing and applying intelligent systems principles for solving real-life problems. Further, it has been structured so that each chapter can be read independently of the others.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
