サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

Complex systems and dependability

Wojciech Zamojski ... [et al.] (eds.)

詳細情報

タイトル Complex systems and dependability
著者 Wojciech Zamojski ... [et al.] (eds.)
シリーズ名 Advances in intelligent and soft computing, 170
出版地(国名コード) DE
出版地(国名コード) US
出版地Berlin
出版社Springer
出版地New York
出版社Springer
出版年月日等 c2012
大きさ、容量等 x, 330 p. : ill. ; 24 cm
注記 ISBN : 9783642306624 (electronic bk.)
注記 Includes bibliographical references and index
ISBN 9783642306624
ISBN 9783642306617
ISSN 18675662
OCLC番号 801070027
部分タイトル Validation of the Software Supporting Information Security and Business Continuity Management Processes / Jacek Baginski, Andrzej Białas --
部分タイトル A Functional Testing Toolset and Its Application to Development of Dependable Avionics Software / Vasily Balashov ... [et al.] --
部分タイトル Specification Means Definition for the Common Criteria Compliant Development Process--An Ontological Approach / Andrzej Białas --
部分タイトル Real-Time Gastrointestinal Tract Video Analysis on a Cluster Supercomputer / Adam Blokus ... [et al.] --
部分タイトル Detection of Anomalies in a SOA System by Learning Algorithms / Ilona Bluemke, Marcin Tarka --
部分タイトル Service Availability Model to Support Reconfiguration / Dariusz Caban, Tomasz Walkowiak --
部分タイトル On Some Statistical Aspects of Software Testing and Reliability / Frank P.A. Coolen --
部分タイトル Generalizing the Signature to Systems with Multiple Types of Components / Frank P.A. Coolen, Tahani Coolen-Maturi --
部分タイトル Effective Oblivious Transfer Using a Probabilistic Encryption / Alexander Frolov --
部分タイトル Gap-and-IMECA-Based Assessment of I&C Systems Cyber Security / Vyacheslav Kharchenko ... [et al.] --
部分タイトル Approach to Methods of Network Services Exploitation / Katarzyna Nowak, Jacek Mazurkiewicz --
部分タイトル Pattern Based Support for Site Certification / Dariusz Rogowski, Przemysław Nowak --
部分タイトル Integrating the Best 2-Opt Method to Enhance the Genetic Algorithm Execution Time in Solving the Traveler Salesman Problem / Sara Sabba, Salim Chikhi --
部分タイトル Representation of Objects in Agent-Based Lighting Design Problem / Adam Sędziwy --
部分タイトル Formal Methods Supporting Agent Aided Smart Lighting Design / Adam Sędziwy, Leszek Kotulski, Marcin Szpyrka --
部分タイトル Computational Support for Optimizing Street Lighting Design / Adam Sędziwy, Magdalena Kozień-Woźniak --
部分タイトル Monitoring Event Logs within a Cluster System / Janusz Sosnowski, Marcin Kubacki, Henryk Krawczyk --
部分タイトル Implementing AES and Serpent Ciphers in New Generation of Low-Cost FPGA Devices / Jarosław Sugier --
部分タイトル Dependable Strategies for Job-Flows Dispatching and Scheduling in Virtual Organizations of Distributed Computing Environments / Victor Toporkov ... [et al.] --
部分タイトル Controlling Complex Lighting Systems / Igor Wojnicki, Leszek Kotulski --
部分タイトル Service Renaming in Component Composition / Wlodek M. Zuberek
出版年(W3CDTF) 2012
NDLC M271
LCC TA168
DDC 003
要約・抄録 Typical contemporary complex system is a multifaceted amalgamation of technical, information, organization, software and human (users, administrators and management) resources. Complexity of such a system comes not only from its involved technical and organizational structure but mainly from complexity of information processes that must be implemented in the operational environment (data processing, monitoring, management, etc.). In such case traditional methods of reliability analysis focused mainly on technical level are usually insufficient in performance evaluation and more innovative meth
対象利用者 一般
資料の種別 図書
言語(ISO639-2形式) eng : English

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで