CCL

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

1.

001-es BibID:BIBFORM004061
Első szerző:Aszalós László (matematikus)
Cím:Some decidability result for logic constructed for checking user authentication protocols / László Aszalós, Philippe Balbiani
Dátum:2008
Megjegyzések:The core of our paper is a general purpose logical system for reasoning about user authentication protocols. Proposed as an extension of the propositional epistemic logic by dynamic operators, the potential usefulness of our calculus for protocol verification is illustrated with examples.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
logical system
authetication protocol
verfication
Megjelenés:Journal of Computer Science and Control Systems. - 2008 (2008), p. 1-6. -
További szerzők:Balbiani, Philippe
Internet cím:elektronikus változat
Borító:

2.

001-es BibID:BIBFORM027738
Első szerző:Bátfai Norbert (informatikus)
Cím:Jávácska One : Open Source Mobile Games to Revolutionize Education of Programming / Bátfai Norbert, Bátfai Erika, Pšenáková Ildikó
Dátum:2010
Megjegyzések:In this paper, we show three Java ME mobile games, which were created in the framework of industrial projects by a Hungarian mobile game developer company, called Eurosmobil. By the start of 2010 the Eurosmobil will have opened the source code of some of their game software, including these ones. We outline the plans for introducing these games into national and international educational agenda and practice, with particular stress on education of programming. In addition, with this paper we would like to hand over to teachers the symbolic message of our work that the mobile game development may be turned into a new and exciting form of self-expression in the immediate future.
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
Mobile game
education of programming
Java ME
mobile game-based learning
Megjelenés:Journal of Computer Science and Control Systems. - 3 : 2 (2010), p. 5-10. -
További szerzők:Soós Mária Erika (1973-) (informatikus könyvtáros) Pšenáková Ildikó (1962-) (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:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM021009
Első szerző:Bátfai Norbert (informatikus)
Cím:Footballer and Football Simulation Markup Language and related Simulation Software Development / Norbert Bátfai
Dátum:2010
ISSN:1844-6043 2067-2101
Megjegyzések:In this paper we introduce our idea abouthow to create a virtual reality system, wherein thefootball teams, or in our terminology, the avatars of thefootball players can play a high number of footballmatches. Based on our former experience in mobilesoccer gaming we suggest developing an appropriatemarkup language to describe the football players, thecoaches and the matches themselves. We review ourexperience in question and in present work the targetsshall be set by suggesting the development of theFootball(er) Simulation Markup Language.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
virtual reality
simulation of football
XMLbased modeling
Java ME
Football World Cup
Megjelenés:Journal of Computer Science and Control Systems 3 : 1 (2010), p. 13-18. -
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

4.

001-es BibID:BIBFORM020825
Első szerző:Bujdosó Gyöngyi (informatikus, informatika, matematika, kémia tanár)
Cím:Climate Dimensions in E-Learning / Bujdosó Gyöngyi
Dátum:2008
ISSN:1844-6043 2067-2101
Megjegyzések:In designing organization and environment, climate is a conventional conception. By an observation of Halpin, climate means the same for organizations as personality for individuals. This paper introduces the concept of cyber climate and some climate dimensions in e-learning. We deal with some new cyber climate dimensions that should be observed during designing e-learning materials, and provides some other important climate dimensions that should be taken into account while designing digital learning environments.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
e-learning
cyber climate
climate dimensions
ergonomics
alternative accessibility
personalization
user interfaces
Megjelenés:Journal of Computer Science and Control Systems 1 : 1 (2008), p. 13-17. -
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Szerző által megadott URL
Borító:

5.

001-es BibID:BIBFORM012386
Első szerző:Bujdosó Gyöngyi (informatikus, informatika, matematika, kémia tanár)
Cím:Scheduling the work of students in teaching web site design / Bujdosó Gyöngyi, Csernoch Mária
Dátum:2010
Megjegyzések:Web site developing is much more than the knowledge of programming in XHTML, PHP etc. These languages are only the "words" of a "language" that web programmers have to speak. We have to teach students how to design and develop a web site. This work has some important focuses: determining the aims and scopes of a given web site, surveying its most useful and required functions, making a schedule for working, designing and developing the system during a semester using streamlined techniques. This paper deals with the problems and experiences of this method of teaching web site design and development for students of Library and Information Science.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
web design
teaching web site development
scheduling student's work
Megjelenés:Journal of Computer Science and Control Systems. - 3 : 1 (2010), p. 25-28. -
További szerzők:Csernoch Mária (1963-) (informatika tanár)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

6.

001-es BibID:BIBFORM012385
Első szerző:Csernoch Mária (informatika tanár)
Cím:Developing the algorithmic skills through word processing and handling spreadsheets / Csernoch Mária, Bujdosó Gyöngyi
Dátum:2010
Megjegyzések:Compared to the high number of computer users the proportion of those students who are willing to write programs has dropped seriously. Even those whose curriculum includes programming usually start late and the chance to change their attitude towards programming lessens as they are getting older. A possible solution would be to sneak programming into the primary and secondary education by hiding it behind the scenes of software they use. Students are usually proud of their knowledge of word processing and handling spreadsheets and they think these programs are easy to use. We can thus use these programs to teach algorithms instead of using traditional environments. In this article, through the analysis of a problem, we give examples how we can switch from programming languages to applications and still teach some basic algorithmic skills.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
teaching programming
forming algorithms
spreadsheets
applications
Megjelenés:Journal of Computer Science and Control Systems. - 3 : 1 (2010), p. 45-50. -
További szerzők:Bujdosó Gyöngyi (1963-) (informatikus, informatika, matematika, kémia tanár)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

7.

001-es BibID:BIBFORM010941
Első szerző:Csernoch Mária (informatika tanár)
Cím:Quality text editing / Csernoch Mária; Bujdosó Gyöngyi
Dátum:2009
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Computer Science and Control Systems. - 2 : 2 (2009), p. 5-10. -
További szerzők:Bujdosó Gyöngyi (1963-) (informatikus, informatika, matematika, kémia tanár)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

8.

001-es BibID:BIBFORM027532
Első szerző:Novac, Ovidiu
Cím:Reliability Increasing Method Using a SEC-DED Hsiao Code to Cache Memories, Implemented with FPGA Circuits / Novac Ovidiu, Sztrik Janos, Vari-Kakas Stefan, Kim Che-Soong
Dátum:2011
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Computer Science and Control Systems. - 4 : 2 (2011), p. 59-62. -
További szerzők:Sztrik János (1953-) (informatikus, matematikus) Vari-Kakas, Stefan Kim Chesoong
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

001-es BibID:BIBFORM008766
Első szerző:Popescu, Daniela E.
Cím:Some Aspects about a Self-Testing Solution for Implementing the TCP/IP Protocol / Daniela E. Popescu, Daniel Filipas, Szabolcs Szilágyi
Dátum:2008
ISSN:1844-6043
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Computer Science and Control Systems. - 1 : 1 (2008), p. 82-87. -
További szerzők:Filipas, Daniel Szilágyi Szabolcs (1982-) (mérnök-informatikus)
Internet cím:elektronikus változat
Borító:

10.

001-es BibID:BIBFORM047237
Első szerző:Szilágyi Szabolcs (mérnök-informatikus)
Cím:A Review of Congestion Management Algorithms on Cisco Routers / Szabolcs Szilágyi, Béla Almási
Dátum:2012
ISSN:1844-6043 2067-2101
Megjegyzések:This paper presents one of the features ofDS (Differentiated Services) architecture, namely thequeuing or congestion management. Packets can beput in separate buffer queues, on the basis of DS value.Several forwarding policies can be used to favor highpriority packets in different ways. The main reason forqueuing is that a router must hold a packet in itsmemory, and meanwhile the outgoing interface is busywith sending another packet. The queuing tools arecovered in the order in which they were added as CiscoIOS features: FIFO (First-In First-Out), CQ (CustomQueuing), PQ (Priority Queuing), WFQ (WeightedFair Queuing), CBWFQ (Class Based Weighted FairQueuing) and LLQ (Low Latency Queuing).
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
congestion
queueing
FIFO
WFQ
PQ
CBWFQ
LLQ
Megjelenés:Journal of Computer Science and Control Systems. - 5 : 1 (2012), p. 103-107. -
További szerzők:Almási Béla (1966-2015) (informatikus, matematikus)
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

11.

001-es BibID:BIBFORM010751
Első szerző:Szilágyi Szabolcs (mérnök-informatikus)
Cím:Some aspects about the efficiency of bit voters implementation / Szabolcs Szilágyi, Daniela E. Popescu, Mirela Pater
Dátum:2009
ISSN:1844-6043
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Journal of Computer Science and Control Systems. - 2 : 2 (2009), p. 57-61. -
További szerzők:Popescu, Daniela E. Pater, Mirela
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.