Login

Borzemski, Leszek

Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II

Borzemski, Leszek - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II, ebook

190,95€

Ebook, PDF with Adobe DRM
ISBN: 9783319465869
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

Part I. Embedded Systems Design and Applications

1. Modification of Concurrent Design of Hardware and Software for Embedded Systems—A Synergistic Approach
Mieczysław Drabowski

2. Elastic FOPID+FIR Controller Design Using Hybrid Population-Based Algorithm
Krystian Łapa

3. Optimization of Read-Only Memory Program Models Mapping into the FPGA Architecture
Viktor Melnyk, Ivan Lopit

4. Simple Rule-Based Human Activity Detection with Use of Mobile Phone Sensors
Mariusz Fraś, Mikołaj Bednarz

Part II. Systems Security Issues

5. Timed Analysis of Security Protocols
Sabina Szymoniak, Olga Siedlecka-Lamch, Mirosław Kurkowski

6. Some Remarks on Security Protocols Verification Tools
Mirosław Kurkowski, Adam Kozakiewicz, Olga Siedlecka-Lamch

7. Algorithmic Complexity Vulnerability Analysis of a Stateful Firewall
Adam Czubak, Marcin Szymanek

8. Analysis of the Minutia Groups Base of Currents Algorithms ‘Pasterns’ Database
Michał Szczepanik, Ireneusz J. Jóźwiak, Karol Stasiński, Paweł Wichary

Part III. Computing and Service Systems Architectures

9. Self-organizing Agents for Dynamic Network- and QoS-Aware Service Composition in Cloud Computing
Leila Helali, Zaki Brahmi

10. Distributed Computing Architecture on Epiphany MIMD Accelerators
Łukasz Faber

11. A Fail-Safe NVRAM Based Mechanism for Efficient Creation and Recovery of Data Copies in Parallel MPI Applications
Artur Malinowski, Paweł Czarnul, Maciej Maciejewski, Paweł Skowron

12. Towards Effective Allocation of Resources in Service-Oriented Systems
Łukasz Falas, Krzysztof Juszczyszyn

Part IV. Communication Systems

13. Transient Processing Analysis in a Finite-Buffer Queueing Model with Setup Times
Wojciech M. Kempa, Dariusz Kurzyk

14. Analysis of Routing Protocols Metrics for Wireless Mesh Networks
Piotr Owczarek, Maciej Piechowiak, Piotr Zwierzykowski

15. Energy Efficient Dynamic Load Balancing in Multipath TCP for Mobile Devices
Michał Morawski, Przemysław Ignaciuk

Part V. Data Processing Tools

16. Mutation Testing in Model Accuracy Assessment
Joanna Strug

17. Generating Source Code Templates on the Basis of Unit Tests
Mariusz Nyznar, Dariusz Pałka

18. Decomposition and Reduction of Indexing Structures with Use of the GPU Computations
Damian Raczyński, Włodzimierz Stanisławski

19. Social-Media Data Analysis Using Tessera Framework in the Hadoop Cluster Environment
Martin Sarnovsky, Peter Butka, Jakub Paulina

Keywords: Engineering, Computational Intelligence, Communications Engineering, Networks, Artificial Intelligence (incl. Robotics)

Editor
 
 
 
Publisher
Springer
Publication year
2017
Language
en
Edition
1
Series
Advances in Intelligent Systems and Computing
Page amount
14 pages
Category
Technology, Energy, Traffic
Format
Ebook
eISBN (PDF)
9783319465869
Printed ISBN
978-3-319-46585-2

Similar titles