Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II

Distributed Computing Architecture on Epiphany MIMD Accelerators

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_10 ◽

2016 ◽

pp. 125-135

Author(s):

Łukasz Faber

Keyword(s):

Distributed Computing ◽

Computing Architecture

Download Full-text

Elastic FOPID+FIR Controller Design Using Hybrid Population-Based Algorithm

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_2 ◽

2016 ◽

pp. 15-26 ◽

Cited By ~ 1

Author(s):

Krystian Łapa

Keyword(s):

Controller Design ◽

Population Based ◽

Hybrid Population ◽

Population Based Algorithm

Download Full-text

Simple Rule-Based Human Activity Detection with Use of Mobile Phone Sensors

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_4 ◽

2016 ◽

pp. 39-49

Author(s):

Mariusz Fraś ◽

Mikołaj Bednarz

Keyword(s):

Mobile Phone ◽

Human Activity ◽

Simple Rule ◽

Activity Detection ◽

Rule Based ◽

Human Activity Detection

Download Full-text

Some Remarks on Security Protocols Verification Tools

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_6 ◽

2016 ◽

pp. 65-75 ◽

Cited By ~ 1

Author(s):

Mirosław Kurkowski ◽

Adam Kozakiewicz ◽

Olga Siedlecka-Lamch

Keyword(s):

Security Protocols ◽

Verification Tools

Download Full-text

Social-Media Data Analysis Using Tessera Framework in the Hadoop Cluster Environment

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_19 ◽

2016 ◽

pp. 239-251

Author(s):

Martin Sarnovsky ◽

Peter Butka ◽

Jakub Paulina

Keyword(s):

Social Media ◽

Data Analysis ◽

Social Media Data ◽

Cluster Environment ◽

Hadoop Cluster ◽

Media Data

Download Full-text

Timed Analysis of Security Protocols

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_5 ◽

2016 ◽

pp. 53-63 ◽

Cited By ~ 6

Author(s):

Sabina Szymoniak ◽

Olga Siedlecka-Lamch ◽

Mirosław Kurkowski

Keyword(s):

Security Protocols

Download Full-text

Mutation Testing in Model Accuracy Assessment

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_16 ◽

2016 ◽

pp. 201-211

Author(s):

Joanna Strug

Keyword(s):

Accuracy Assessment ◽

Mutation Testing ◽

Model Accuracy

Download Full-text

Algorithmic Complexity Vulnerability Analysis of a Stateful Firewall

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_7 ◽

2016 ◽

pp. 77-97 ◽

Cited By ~ 2

Author(s):

Adam Czubak ◽

Marcin Szymanek

Keyword(s):

Vulnerability Analysis ◽

Algorithmic Complexity

Download Full-text

Modification of Concurrent Design of Hardware and Software for Embedded Systems—A Synergistic Approach

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_1 ◽

2016 ◽

pp. 3-13 ◽

Cited By ~ 2

Author(s):

Mieczysław Drabowski

Keyword(s):

Embedded Systems ◽

Concurrent Design ◽

Synergistic Approach

Download Full-text

Generating Source Code Templates on the Basis of Unit Tests

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II ◽

10.1007/978-3-319-46586-9_17 ◽

2016 ◽

pp. 213-223 ◽

Cited By ~ 1

Author(s):

Mariusz Nyznar ◽

Dariusz Pałka

Keyword(s):

Source Code ◽

Unit Tests

Download Full-text

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Distributed Computing Architecture on Epiphany MIMD Accelerators

Elastic FOPID+FIR Controller Design Using Hybrid Population-Based Algorithm

Simple Rule-Based Human Activity Detection with Use of Mobile Phone Sensors

Some Remarks on Security Protocols Verification Tools

Social-Media Data Analysis Using Tessera Framework in the Hadoop Cluster Environment

Timed Analysis of Security Protocols

Mutation Testing in Model Accuracy Assessment

Algorithmic Complexity Vulnerability Analysis of a Stateful Firewall

Modification of Concurrent Design of Hardware and Software for Embedded Systems—A Synergistic Approach

Generating Source Code Templates on the Basis of Unit Tests

Export Citation Format

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part IILatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Distributed Computing Architecture on Epiphany MIMD Accelerators

Elastic FOPID+FIR Controller Design Using Hybrid Population-Based Algorithm

Simple Rule-Based Human Activity Detection with Use of Mobile Phone Sensors

Some Remarks on Security Protocols Verification Tools

Social-Media Data Analysis Using Tessera Framework in the Hadoop Cluster Environment

Timed Analysis of Security Protocols

Mutation Testing in Model Accuracy Assessment

Algorithmic Complexity Vulnerability Analysis of a Stateful Firewall

Modification of Concurrent Design of Hardware and Software for Embedded Systems—A Synergistic Approach

Generating Source Code Templates on the Basis of Unit Tests

Advances in Intelligent Systems and Computing - Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II
Latest Publications