Vol. 46, No. 8, 2020
A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment
p. 483 abstract
Mu-Calculus Satisfiability with Arithmetic Constraints
p. 503 abstract
Analytic Study of Containerizing Stateful Stream Processing as Microservice to Support Digital Twins in Fog Computing
p. 511 abstract
Bridge Load Classifier Based on Deep Learning for Structural Displacement Correlation
p. 526 abstract
Object Detection in Aerial Navigation using Wavelet Transform and Convolutional Neural Networks: A First Approach
p. 536 abstract
Developing Web Applications with Awareness of Data Quality Elements – DQAWA
p. 548 abstract
Quality of Service in Software Defined Networks for Scientific Applications: Opportunities and Challenges
p. 561 abstract
User Story Estimation Based on the Complexity Decomposition Using Bayesian Networks
p. 569 abstract
A Design Guide for Usable Web APIs
p. 584 abstract
Patterns Related to Microservice Architecture: a Multivocal Literature Review
p. 594 abstract
Search for the Global Extremum Using the Correlation Indicator for Neural Networks Supervised Learning
p. 609 abstract
Intelligent Automatic Object Tracking Method by Integration of Laser Scanner System and INS
p. 619 abstract
Machine Learning Based Activity Learning for Behavioral Contexts in Internet of Things (IoT)
p. 626 abstract
Negotiation Approach for the Participation of Datacenters and Supercomputing Facilities in Smart Electricity Markets
p. 636 abstract
Regular Expressions for Web Advertising Detection Based on an Automatic Sliding Algorithm
p. 652 abstract
Mixed Integer Programming Formulations for Steiner Tree and Quality of Service Multicast Tree Problems
p. 661 abstract
Fault Identification in Mobile Robot Groups Using Sliding Mode Observers
p. 679 abstract
Classification of Depressive Episodes Using Nighttime Data; a Multivariate and Univariate Analysis
p. 689 abstract
Recent Trends in Underwater Wireless Sensor Networks (UWSNs) – A Systematic Literature Review
p. 699 abstract
Analysis of Correct Synchronization of Operating System Components
p. 712 abstract
A Formal Model for Detecting Bugs by Symbolic Execution of Programs
p. 731 abstract
Automated Testing of a TCG Frontend for Qemu
p. 737 abstract
Predicate Extension of Symbolic Memory Graphs for the Analysis of Memory Safety Correctness
p. 747 abstract
Retraction Note: DOOR: Distributed Object Oriented Software Restructuring Approach Using Neural Network
p. 755 abstract