Mathematical Institute eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts Mathematical Institute
> Home / All Journals / Journal /
Front Page Computer Science and Information SystemsPublisher: ComSIS Consortium, Novi SadISSN: 1820-0214Issue: 20_1Date: 2023Journal Homepage

Secure Cloud Internet of Vehicles Based on Blockchain and Data Transmission Scheme of Map/Reduce 137 - 156
Hua-Yi Lin  
AbstractKeywords: internet of vehicles; blockchain; ECDH; map; reduceMSC: 68M10; 94A60
Reinforcement Learning - based Adaptation and Scheduling Methods for Multi-source DASH 157 - 173
Nghia T. Nguyen, Long Luu, Phuong L. Vo, Thi Thanh Sang Nguyen, Cuong T. Do and Ngoc-thanh Nguyen  
AbstractKeywords: multi-source streaming; reinforcement learning; proximal policy optimization; dynamic adaptation streaming over HTTPMSC: 68T05; 62H30
Analyzing feature importance for a predictive undergraduate student dropout model 175 - 194
Alberto Jiménez-Macias, Pedro Manuel Moreno-Marcos, Pedro J. Muñoz-Merino, Margarita Ortiz-Rojas and Carlos Delgado Kloos  
AbstractKeywords: dropout model; features importance; data mining; learning analyticsMSC: 68T10; 62H30
Solution for TSP/mTSP with an Improved Parallel Clustering and Elitist ACO 195 - 214
Gozde Karatas Baydogmus  
AbstractKeywords: ACO; parallel ACO; parallel KMeans; TSPMSC: 68T20; 62H30
Sternum Age Estimation with Dual Channel Fusion CNN Model 215 - 228
Fuat Türk, Mustafa Kaya, Burak Mert Akhan, Sümeyra Çayiröz and Erhan Ilgit  
AbstractKeywords: sternum age; deep fusion CNN; CNN age estimation; dual channel fusion CNN; sternum with CNNMSC: 68T10; 62M45
Self-Service Kits to scale knowledge to autonomous teams - concept, application and limitations 229 - 249
Alexander Poth, Mario Kottke and Andreas Riel  
AbstractKeywords: computer science; information systems; agile; learning organization; efiS frameworkMSC: 68T30; 68U35
Multi-constrained Network Occupancy Optimization 251 - 276
Amar Halilovic, Nedim Zaimovic, Tiberiu Seceleanu and Hamid Feyzmahdavian  
AbstractKeywords: industrial control networking; packing algorithms; network performanceMSC: 68M10; 94C15
Formalization and Verification of Kafka Messaging Mechanism Using CSP 277 - 306
Junya Xu, Jiaqi Yin, Huibiao Zhu and Lili Xiao  
AbstractKeywords: distributed messaging system; Kafka messaging mechanism; CSP; formalization; verificationMSC: 68M10; 94C15
Complete Formal Verification of the PSTM Transaction Scheduler 307 - 327
Miroslav Popovic, Marko Popovic, Branislav Kordic and Huibiao Zhu  
AbstractKeywords: formal verification; process algebra; transaction scheduling; Python; software transactional memoryMSC: 68N30; 68N25
Supporting 5G Service Orchestration with Formal Verification 329 - 357
Peter Backeman, Ashalatha Kunnappilly and Cristina Seceleanu  
AbstractKeywords: 5G; model checking; SMT; UMLMSC: 68N30; 94C15
Article page: <<123>>

Remote Address: • Server: User Agent: CCBot/2.0 (