Complex Systems and Dependability - Advances in Intelligent and Soft Computing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642306617, 9783642306624

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Some Statistical Aspects of Software Testing and Reliability

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_7 ◽

2013 ◽

pp. 103-113

Author(s):

Frank P. A. Coolen

Keyword(s):

Software Testing

Download Full-text

A Functional Testing Toolset and Its Application to Development of Dependable Avionics Software

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_2 ◽

2013 ◽

pp. 19-35

Author(s):

Vasily Balashov ◽

Alexander Baranov ◽

Maxim Chistolinov ◽

Dmitry Gribov ◽

Ruslan Smeliansky

Keyword(s):

Functional Testing

Download Full-text

Detection of Anomalies in a SOA System by Learning Algorithms

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_5 ◽

2013 ◽

pp. 69-85 ◽

Cited By ~ 3

Author(s):

Ilona Bluemke ◽

Marcin Tarka

Keyword(s):

Learning Algorithms

Download Full-text

Controlling Complex Lighting Systems

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_20 ◽

2013 ◽

pp. 305-317

Author(s):

Igor Wojnicki ◽

Leszek Kotulski

Keyword(s):

Lighting Systems

Download Full-text

Representation of Objects in Agent-Based Lighting Design Problem

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_14 ◽

2013 ◽

pp. 209-223 ◽

Cited By ~ 4

Author(s):

Adam Sędziwy

Keyword(s):

Design Problem ◽

Lighting Design ◽

Agent Based

Download Full-text

Validation of the Software Supporting Information Security and Business Continuity Management Processes

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_1 ◽

2013 ◽

pp. 1-17 ◽

Cited By ~ 1

Author(s):

Jacek Baginski ◽

Andrzej Białas

Keyword(s):

Information Security ◽

Business Continuity ◽

Business Continuity Management ◽

Management Processes

Download Full-text

Service Renaming in Component Composition

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_21 ◽

2013 ◽

pp. 319-330 ◽

Cited By ~ 2

Author(s):

Wlodek M. Zuberek

Keyword(s):

Component Composition

Download Full-text

Effective Oblivious Transfer Using a Probabilistic Encryption

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_9 ◽

2013 ◽

pp. 131-147 ◽

Cited By ~ 1

Author(s):

Alexander Frolov

Keyword(s):

Oblivious Transfer ◽

Probabilistic Encryption

Download Full-text

Specification Means Definition for the Common Criteria Compliant Development Process – An Ontological Approach

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_3 ◽

2013 ◽

pp. 37-53

Author(s):

Andrzej Białas

Keyword(s):

Development Process ◽

Common Criteria ◽

Ontological Approach ◽

The Common

Download Full-text

Formal Methods Supporting Agent Aided Smart Lighting Design

Complex Systems and Dependability - Advances in Intelligent and Soft Computing ◽

10.1007/978-3-642-30662-4_15 ◽

2013 ◽

pp. 225-239

Author(s):

Adam Sędziwy ◽

Leszek Kotulski ◽

Marcin Szpyrka

Keyword(s):

Formal Methods ◽

Lighting Design ◽

Smart Lighting

Download Full-text

Complex Systems and Dependability - Advances in Intelligent and Soft ComputingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On Some Statistical Aspects of Software Testing and Reliability

A Functional Testing Toolset and Its Application to Development of Dependable Avionics Software

Detection of Anomalies in a SOA System by Learning Algorithms

Controlling Complex Lighting Systems

Representation of Objects in Agent-Based Lighting Design Problem

Validation of the Software Supporting Information Security and Business Continuity Management Processes

Service Renaming in Component Composition

Effective Oblivious Transfer Using a Probabilistic Encryption

Specification Means Definition for the Common Criteria Compliant Development Process – An Ontological Approach

Formal Methods Supporting Agent Aided Smart Lighting Design

Complex Systems and Dependability - Advances in Intelligent and Soft Computing
Latest Publications