eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

Computer Science and Information SystemsPublisher: ComSIS Consortium, Novi SadISSN: 1820-0214Issue: 20_1Date: 2023Journal Homepage Editorial BoardImpressum   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>>

Issue 59 of 60Previous IssueNext Issue Articles 11 - 20 of 28Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 3.144.212.145 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)