CCL

Összesen 18 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM047218
Első szerző:Adamkó Attila (informatikus)
Cím:Different approaches to MDWE: bridging the gap / Attila Adamkó, Lajos Kollár
Dátum:2013
ISSN:1224-869X
Megjegyzések:This paper will give a short overview and comparison of Model-driven Web Engineering (MDWE) practices applied in both academy and industry with the aim of bridging the gap between those approaches. While Domain Specific Languages (DSLs) are used to express a high level outline of the imagined systems, the industrial approaches are focusing on a lower level and the distance of the two fields are mostly too wide to apply both in one development process. The goal of this paper is to propose a way to merge the two sides. DSLs can help to build prototypes in a very rapid manner. Based on those prototypes, common models can be derived that can serve as a basis for model-driven generation of Web applications using well-known production frameworks.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
MDWE
Web applications
Model-driven development
Spring
Domain-specific languages
Megjelenés:Studia Universitatis Babes-Bolyai Series Informatica. - 58 : 2 (2013), p. 9-19. -
További szerzők:Kollár Lajos (1977-) (informatikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM018519
Első szerző:Adamkó Attila (informatikus)
Cím:Interoperability issues of MDWE methodologies / Attila Adamkó, Lajos Kollár
Dátum:2011
ISSN:1224-869X
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Fizikai-, Számítás- és Anyagtudomány
MDE
MDA
Web engineering
Megjelenés:Studia Universitatis Babes-Bolyai. Series Informatica 56 : 3 (2011), p. 71-76. -
További szerzők:Kollár Lajos (1977-) (informatikus)
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Adat és információs rendszerek kutatása az információ technológia eszközeivel
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM065419
Első szerző:Aszalós László (matematikus)
Cím:Distance-constrained grid colouring / László Aszalós, Mária Bakó
Dátum:2016
ISSN:1844-6086 2066-7760
Megjegyzések:Distance-constrained colouring is a mathematical model of the frequency assignment problem. This colouring can be treated as an optimization problem so we can use the toolbar of the optimization to solve concrete problems. In this paper, we show performance of distance constrained grid colouring for two methods which are good in map colouring.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
kényszerkielégítés
rácsszínezés
optimalizálás
Megjelenés:Acta Universitatis Sapientiae. Informatica. - 8 : 1 (2016), p. 5-15. -
További szerzők:Bakó Mária (1970-) (matematika-informatika tanár)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM010605
Első szerző:Aszalós László (matematikus)
Cím:Proving the decidability of the PDLtimesPDL product logic / László Aszalós, Philippe Balbiani
Dátum:2009
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Studia Universitatis Babes-Bolyai. Series Informatica. - 54 : 1 (2009), p. 3-16. -
További szerzők:Balbiani, Philippe
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM119697
Első szerző:Bagossy Attila (informatikus)
Cím:An encoding of the ?-calculus in the String MultiSet Rewriting calculus / Bagossy, Attila ; Battyányi, Péter
Dátum:2024
ISSN:0001-5903
Megjegyzések:In this paper, we present an encoding of the ?-calculus in a multiset rewriting system and provide a few applications of the construction. For this purpose, we choose the calculus named String MultiSet Rewriting, which was introduced in Barbuti et al. (Electron Notes Theor Comput Sci 194:19-34, 2008) by Barbuti et al. With the help of our encoding, we give alternative proofs for the standardization and the finiteness of developments theorems in the ?-calculus.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Megjelenés:Acta Informatica. - [Epub ahead of print] : - (2024), p. 1-21. -
További szerzők:Battyányi Péter (1972-) (informatikus, matematikus)
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

6.

001-es BibID:BIBFORM010609
Első szerző:Bakó Mária (matematika-informatika tanár)
Cím:Using spreadsheets for solving logic puzzles / Mária Bakó, László Aszalós
Dátum:2009
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Studia Universitatis Babes-Bolyai. Series Informatica. - 54 : 1 (2009), p. 17-24. -
További szerzők:Aszalós László (1969-) (matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

7.

001-es BibID:BIBFORM057691
Első szerző:Balogh Tamás László (közgazdász)
Cím:A computational model of outguessing in two-player non-cooperative games / Tamás László Balogh, János Kormos
Dátum:2014
ISSN:1844-6086 2066-7760
Megjegyzések:Several behavioral game theory models aim at explaining why\smarter\ people win more frequently in simultaneous zero-sum games,a phanomenon, which is not explained by the Nash equilibrium concept.We use a computational model and a numerical simulation based onMarkov chains to describe player behavior and predict payo s.
Tárgyszavak:Társadalomtudományok Közgazdaságtudományok idegen nyelvű folyóiratközlemény külföldi lapban
non-cooperative games
outguessing
Markov chains
repeated games
Megjelenés:Acta Universitatis Sapientiae, Informatica. - 6 : 1 (2014), p. 71-88. -
További szerzők:Kormos János (1952-2015) (matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
DOI
Borító:

8.

001-es BibID:BIBFORM079328
Első szerző:Bátfai Norbert (informatikus)
Cím:Benchmarking Cognitive Abilities of the Brain with the Event of Losing the Character in Computer Games / Norbert Bátfai, Dávid Papp, Renátó Besenczi, Gergő Bogacsovics, Dávid Veres
Dátum:2019
ISSN:1224-869X 2065-9601
Megjegyzések:Most computer game players have experienced the sensation of temporarily losing their character in a given gameplay situation when they cannot control the character, simply because they temporarily cannot see it. The main reasons for this sensation may be due to the interplay of the following factors: (1) the visual complexity of the game is unexpectedly increased compared with the previous time period as more and more game objects and effects are rendered on the display; (2) and/or the game is lagging; (3) and finally, it is also possible that the players don't have sufficient experience with controlling the character. This paper focuses on the first reason. We have developed a benchmark program which allows its user to experience the sensation of losing character. While the user can still control the character quite well, the benchmark program will increase the visual complexity of the display. Conversely, if the user loses the character then the program will decrease the complexity until the user finds the character again, and so on. The complexity is measured based on the number of changed pixels between two consecutive display images. Our measurements show that the average of bit per second values of losing and finding pairs describes the user well. The final goal of this research is to further develop our benchmark to a standard psychological test.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
esport
talent search
benchmark program
visual complexity
losing character
psychology test
Megjelenés:Studia Universitatis Babeș-Bolyai. Informatica. - 64 : 1 (2019), p. 15-25. -
További szerzők:Papp Dávid (1990-) (informatikus) Besenczi Renátó (1986-) (mérnökinformatikus) Bogacsovics Gergő (1996-) (informatikus) Veres Dávid
Pályázati támogatás:EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
GINOP-2.3.2-15-2016-00062
GINOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM099913
035-os BibID:(WOS)000674657100003 (Scopus)85110800103
Első szerző:Bordihn, Henning
Cím:Reversible parallel communicating finite automata systems / Henning Bordihn, György Vaszil
Dátum:2021
ISSN:0001-5903
Megjegyzések:We study the concept of reversibility in connection with parallel communicating systems of finite automata (PCFA in short). We define the notion of reversibility in the case of PCFA (also covering the non-deterministic case) and discuss the relationship of the reversibility of the systems and the reversibility of its components. We show that a system can be reversible with non-reversible components, and the other way around, the reversibility of the components does not necessarily imply the reversibility of the system as a whole. We also investigate the computational power of deterministic centralized reversible PCFA. We show that these very simple types of PCFA (returning or non-returning) can recognize regular languages which cannot be accepted by reversible (deterministic) finite automata, and that they can even accept languages that are not context-free. We also separate the deterministic and non-deterministic variants in the case of systems with non-returning communication. We show that there are languages accepted by non-deterministic centralized PCFA, which cannot be recognized by any deterministic variant of the same type.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Finite automata
Reversibility
Systems of parallel communicating automata
Megjelenés:Acta Informatica. - 58 : 4 (2021), p. 263-279. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:120558
OTKA
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

10.

001-es BibID:BIBFORM113532
035-os BibID:(Scopus)85161468432 (WOS)001002472100001
Első szerző:Dömösi Pál (matematikus, informatikus)
Cím:Simple chain automaton random number generator for IoT devices / Pál Dömösi, Géza Horváth, Norbert Tihanyi
Dátum:2023
ISSN:0001-5903
Megjegyzések:Random numbers are very important in many fields of computer science. Generating highquality random numbers using only basic arithmetic operations is challenging, especially for devices with limited hardware capabilities, such as Internet of Things (IoT) devices. In this paper, we present a novel pseudorandom number generator, the simple chain automaton random number generator (SCARNG), based on compositions of abstract automata. The main advantage of the presented algorithm is its simple structure that can be implemented easily for very low computing capacity IoT systems, FPGAs or GPU hardware. The generated random numbers demonstrate promising statistical behavior and satisfy the NIST statistical suite requirements, highlighting the potential of the SCARNG for practical applications.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Computer hardware
Number theory
Random number generation
Megjelenés:Acta Informatica. - 60 : 2 (2023), p. 1-13. -
További szerzők:Horváth Géza (1972-) (formális nyelvek és automaták, automatahálózatok, kriptográfia) Tihanyi Norbert (1985-) (mérnök, informatikus)
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

11.

001-es BibID:BIBFORM103949
035-os BibID:(Scopus)85070886146 (WOS)000475745500005
Első szerző:Dömösi Pál (matematikus, informatikus)
Cím:Some remarks and tests on the DH1 Cryptosystem based on automata compositions / Pál Dömösi, József Gáll, Géza Horváth, Norbert Tihanyi
Dátum:2019
ISSN:0350-5596 1854-3871
Megjegyzések:In this paper we discuss NIST test results of a previously introduced cryptosystem based on automata compositions. We conclude that the requirements of NIST test are all fulfilled by the cryptosystem.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
automata network
NIST test
block cipher
statistics
Megjelenés:Informatica. - 43 : 2 (2019), p. 199-207. -
További szerzők:Gáll József (1972-) (matematikus, közgazdász) Horváth Géza (1972-) (formális nyelvek és automaták, automatahálózatok, kriptográfia) Tihanyi Norbert (1985-) (mérnök, informatikus)
Pályázati támogatás:TÉT 16-1-2016-0193
Egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

12.

001-es BibID:BIBFORM103947
035-os BibID:(WOS)000744102100001 (Scopus)85112300227
Első szerző:Dömösi Pál (matematikus, informatikus)
Cím:A Full Cycle Length Pseudorandom Number Generator Based on Compositions of Automata / Pál Dömösi, József Gáll, Géza Horváth, Bertalan Borsos, Norbert Tihanyi, Yousef Al Hammadi
Dátum:2021
ISSN:0350-5596 1854-3871
Megjegyzések:In this paper a new Pseudorandom Number Generator based on compositions of abstract automata is presented. We show that it has full cycle with length of 2^128. It is also shown that the output satisfies the statistical requirements of the NIST randomness test suite.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
automata network
NIST test
block cipher
pseudo random number generator
composition of automata
Gluškov product of automata
temporal product of automata
Megjelenés:Informatica. - 45 : 2 (2021), p. 179-189. -
További szerzők:Gáll József (1972-) (matematikus, közgazdász) Horváth Géza (1972-) (formális nyelvek és automaták, automatahálózatok, kriptográfia) Borsos Bertalan Tihanyi Norbert (1985-) (mérnök, informatikus) Al Hammadi, Yousef
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 2