Results 11 to 20 of about 7,704,581 (310)
How-to conduct a systematic literature review: A quick guide for computer science research. [PDF]
MethodsX, 2022 Performing a literature review is a critical first step in research to understanding the state-of-the-art and identifying gaps and challenges in the field.
Carrera-Rivera A +3 more
europepmc +2 more sources
A content-based recommender system for computer science publications
Knowledge-Based Systems, 2018 As computer science and information technology are making broad and deep impacts on our daily lives, more and more papers are being submitted to computer science journals and conferences. To help authors decide where they should submit their manuscripts,
Yanchun Liang +2 more
exaly +2 more sources
One-Clock Priced Timed Games with Negative Weights [PDF]
Logical Methods in Computer Science, 2022 Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the cost of spending time in a state and executing an action, respectively).
Thomas Brihaye +4 more
doaj +1 more source
Characterizing Positionality in Games of Infinite Duration over Infinite Graphs [PDF]
TheoretiCS, 2023 We study turn-based quantitative games of infinite duration opposing two antagonistic players and played over graphs. This model is widely accepted as providing the adequate framework for formalizing the synthesis question for reactive systems.
Pierre Ohlmann
doaj +1 more source
Determinacy in Discrete-Bidding Infinite-Duration Games [PDF]
Logical Methods in Computer Science, 2021 In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a non-terminating system and ...
Milad Aghajohari +2 more
doaj +1 more source
Game-based learning in computer science education: a scoping literature review
International Journal of STEM Education, 2023 Using games in education has the potential to increase students’ motivation and engagement in the learning process, gathering long-lasting practical knowledge.
Maja Videnovik +4 more
semanticscholar +1 more source
Interface Modeling for Quality and Resource Management [PDF]
Logical Methods in Computer Science, 2021 We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators such as ...
Martijn Hendriks +4 more
doaj +1 more source
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries [PDF]
Logical Methods in Computer Science, 2023 We investigate trade-offs in static and dynamic evaluation of hierarchical queries with arbitrary free variables. In the static setting, the trade-off is between the time to partially compute the query result and the delay needed to enumerate its tuples.
Ahmet Kara +3 more
doaj +1 more source
Design of New Stegano-Cryptosystem Based Non-Hiding Principle
Wasit Journal for Pure Sciences, 2023 : In this work, we'll develop a novel text message steganography concept. In the proposed system, in fact, there is no hiding process in the cover-image, but the image is very important in retrieving the plaintext after it has been encrypted.
shahed sameer
doaj +1 more source
Modular Path Queries with Arithmetic [PDF]
Logical Methods in Computer Science, 2021 We propose a new approach to querying graph databases. Our approach balances competing goals of expressive power, language clarity and computational complexity.
Jakub Michaliszyn +2 more
doaj +1 more source