Borzemski, Leszek
Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II
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
- Borzemski, Leszek
- Grzech, Adam
- Wilimowska, Zofia
- Świątek, Jerzy
- 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