Problems of dependability and modelling / ed. Jacek Mazurkiewicz

Problems of dependability and modelling / ed. Jacek Mazurkiewicz

Problems of dependability and modelling / ed. Jacek Mazurkiewicz
[et al.]. – Wrocław, 2011
Spis treści
Foreword
5
Chapter 1.
Method for Choosing an Effective Set of Fault Tolerance Mechanisms for
Real-Time Embedded Systems, Based on Simulation Modelling
Anatoly G. Bakhmurov, Vasily V. Balashov, Vasily N. Pashkov,
Ruslan L. Smeliansky, Dmitry Yu. Volkanov
13
Chapter 2.
Enhanced Service Reconfiguration to Improve SOA Systems Dependability
Dariusz Caban
27
Chapter 3.
Integration and Dependency Data Model for Software Lifecycle Based
on Jazz Platform
Bartosz Chrabski
41
Chapter 4.
On the Use of Debugging with Arbitrary Record Format (DWARF) for
Symbolic Selection of Precise and Effective Time-Location Fault Pairs
Antonio Da Silva, Sebastian Sanchez
51
Chapter 5.
Smart Server Model for Weakly Connected Environments
Ali Al-Dahoud, K. Chitra
61
Chapter 6.
On Factoring Classification of Elements of Hyperelliptic Curve Divisor Group
Alexander Frolov, Sergey Gashkov, Mikhail Volokitin
71
Chapter 7.
Distributed Trust Management Model for Wireless Sensor Networks
Janusz Górski, Alan Turower, Andrzej Wardziński
83
Chapter 8.
Variables Representation Diagrams in Visual Object-Oriented
Representation Language
Jacek Iwański, Zbigniew Lipiński
95
Chapter 9.
Street Traffic Optimization by Computer Simulation and Simulated Annealing
Szymon Jagiełło, Tomasz Walkowiak
111
Chapter 10.
TerraNet - a Middleware for Building Consistent Medium-Sized Distributed
Virtual Reality Systems
Vasily Kharitonov
127
Chapter 11.
Inter-Agents Communication Protocol Supporting Distributed Graph
Transformations
Leszek Kotulski, Adam Sędziwy
143
Chapter 12.
Business Processes Testing Methodology: Existing Approaches Survey
and New Method Proposal
Magdalena Kusz, Katarzyna Michalska
157
Chapter 13.
Application of Unimpairability and Congestion Indices
in Defining Survivability of a Teleinformation Network (STI)
Dariusz Laskowski
173
Chapter 14.
Deployment Complexity of Network Services
Zbigniew Lipiński
191
Chapter 15.
Analytical Model for Mobile Two-Tier Ad Hoc and Wireless Sensor Network
Design with Dependability Optimization
Jerzy Martyna
203
Chapter 16.
Digital Rights Management in e-Business, Watermarking of PDF Format e-Books
Omar Nouali, Abdelghani Krinah
215
Chapter 17.
Detecting Anomalies in Computation Geometry Algorithms Implementations
Dmitiy Orlov
227
Chapter 18.
IDEA - Intelligent Driving e-Assistant System
Tomasz Serafin, Jacek Mazurkiewicz
241
Chapter 19.
Modelling Support for the Automotive Functional Safety Standard
Fulvio Tagliabd, Sandra Torchiaro, Henrik Lonn, Rolf Johansson,
Chen DeJiu, Yiannis Papadopoulos, Martin Walker, Anders Sandberg
255
Chapter 20.
A Message Distribution Technique in Mix-Nets
Souheib Yousfi, Hichem Boussetta, Walid Chaabene,
Narjes Ben Rajeb, Riadh Robbana
269
Chapter 21.
Diagnosability Characterisation of the 4-Dimensional Cube Type
Degradable Processors' Network
Zbigniew Zieliński, Roman Kulesza, Łukasz Strzelecki
oprac. BPK
283