Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 118
Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata
Tatjana Kapus
Izvirni znanstveni članek
Oznake: wireles personnal area network;medium access control;hidden station;formal specification;probabilistic model checking;
This paper concerns the formal modelling of medium access control in nonbeacon-enabled IEEE 802.15.4 wireless personal area networks with probabilistic timed automata supported by the PRISM probabilistic model checker. In these networks, the devices contend for the medium by executing anunslotted ca ...
Leto: 2013 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Improved formal verification of SDN-based firewalls by using TLA+
Tatjana Kapus
Izvirni znanstveni članek
Oznake: požarni zid;formalna specifikacija;formalna verifikacija;preverjanje modelov;firewalls;formal specification;formal verification;logic;model checking;software defined networking;
In an article published in IEEE Access in 2020, researchers present an approach to using TLA + for the formal verification of whether a network of SDN (Software-Defined Networking) switches implements the filtering rules of a given monolithic firewall. The distributed as well as monolithic firewalls ...
Leto: 2023 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Snovanje predajnih procedur za mobilno omrežje z orodjem objectGEODE
Dejan Grahornik, Tatjana Kapus, Monika Kapus-Kolar
Diplomsko delo
Oznake: telekomunikacijsko omrežje;mobilnost;predajna procedura;specifikacija;simulacija;
Snovanje predajnih procedur za mobilno omrežje z orodjem objectGEODE : diplomska naloga visokošolskega strokovnega študijskega programa
Leto: 2006 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Specifikacija in simulacija z orodjem TAU SDL Suite
Iztok Gorjanc, Tatjana Kapus, Monika Kapus-Kolar
Diplomsko delo
Oznake: telekomunikacijski sistemi;specifikacija;simulacija;validacija;programsko orodje;
Specifikacija in simulacija z orodjem TAU SDL Suite : diplomska naloga visokošolskega strokovnega študijskega programa
Leto: 2006 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Snovanje komunikacijskega protokola z jezikom UML 2.0 in orodjem TAUG2
Jože Žagavec, Tatjana Kapus, Monika Kapus-Kolar
Diplomsko delo
Oznake: telekomunikacije;komunikacijski protokol;specifikacija;programsko orodje;simulacija;
Snovanje komunikacijskega protokola z jezikom UML 2.0 in orodjem TAUG2 : diplomska naloga visokošolskega strokovnega študijskega programa
Leto: 2004 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Načrtovanje komunikacijskega protokola z orodjem ObjectGEODE
Boštjan Lesjak, Tatjana Kapus, Monika Kapus-Kolar
Diplomsko delo
Oznake: komunikacijsko omrežje;komunikacijski protokol;specifikacija;generiranje programske kode;
Načrtovanje komunikacijskega protokola z orodjem ObjectGEODE : diplomska naloga visokošolskega strokovnega študijskega programa
Leto: 2002 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Prikaz sporočil na analognem telefonskem aparatu z uporabo FSK modulacije
Simon Nedok, Tatjana Kapus, Monika Kapus-Kolar
Diplomsko delo
Oznake: telekomunikacije;telefonija;telefonske centrale;analogni telefonski aparati;prikaz sporočil;modulacija s frekvenčnim pomikom;programska oprema;
Prikaz sporočil na analognem telefonskem aparatu z uporabo FSK modulacije : diplomska naloga visokošolskega strokovnega študijskega programa
Leto: 2001 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Prehod z omrežij SDH na omrežja DWDM
Hermina Hasić, Tatjana Kapus
Diplomsko delo
Oznake: podatkovna omrežja;optična vlakna;prenosni sistemi;sinhrona digitalna hirarhija;gosto valovnodolžinsko multipleksiranje;zaščita prometa;diplomska naloga;
Prehod z omrežij SDH na omrežja DWDM : diplomska naloga univerzitetnega študijskega programa
Leto: 2008 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Izboljšanje povezave poslovalnic trgovskega podjetja z glavno lokacijo
Andrej Šumak, Tatjana Kapus
Diplomsko delo
Oznake: komunikacija;računalniško omrežje;navidezno lokalno omrežje;navidezno zasebno omrežje;Cisco;
Izboljšanje povezave poslovalnic trgovskega podjetja z glavno lokacijo : diplomska naloga univerzitetnega študijskega programa
Leto: 2008 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Optična dostopovna omrežja
Matic Topolovec, Tatjana Kapus
Diplomsko delo
Oznake: telekomunikacije;omrežna arhitektura;tehnologija;FTTH omrežja;protokol;
Optična dostopovna omrežja : diplomska naloga univerzitetnega študijskega programa
Leto: 2008 Vir: Fakulteta za elektrotehniko, računalništvo in informatiko (UM FERI)
Št. zadetkov: 118
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: