Skocz do pozycji: 1.

Tytuł:

Modelling and Checking Timed Authentication of Security Protocols

Autorzy:

Jakubowska, G.
Penczek, W.

Data publikacji:

2007

Słowa kluczowe:

security protocols
modelling protocols
timing

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:

A Survey of Energy Efficient Security Architectures and Protocols for Wireless Sensor Networks

Autorzy:

Daniluk, K.
Niewiadomska-Szynkiewicz, E.

Data publikacji:

2012

Słowa kluczowe:

energy aware security architectures
routing protocols
security protocols
wireless sensor networks
WSN

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:

Simulation of Security Protocols based on Scenarios of Attacks

Autorzy:

Jakubowska, G.
Dembiński, P.
Penczek, W.
Szreter, M.

Data publikacji:

2009

Słowa kluczowe:

security protocols
simulation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:

Verifying Security Protocols Modelled by Networks of Automata

Autorzy:

Kurkowski, M.
Penczek, W.

Data publikacji:

2007

Słowa kluczowe:

security protocols
model checking

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:

Timed Automata Based Model Checking of Timed Security Protocols

Autorzy:

Kurkowski, M.
Penczek, W.

Data publikacji:

2009

Słowa kluczowe:

timed security protocols
model checking
authentication

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:

Effective reduction of cryptographic protocols specification for model-checking with Spin

Autorzy:

Krawczyk, U.
Sapiecha, P.

Data publikacji:

2011

Słowa kluczowe:

cryptographic protocols
Spin model checker

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:

Hyper-heuristics for power-aware routing protocols

Autorzy:

Pilski, M.
Seredynski, F.

Data publikacji:

2008

Słowa kluczowe:

protocols
ad hoc network
genetic algorithm
hyper-heuristics

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:

Niezawodność protokołów routingu

Autorzy:

Polak, R.
Laskowski, D.

Data publikacji:

2015

Słowa kluczowe:

niezawodność
routing
protokoły sieciowe
reliability
network protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:

Użycie czasowych automatów probabilistycznych do modelowania protokołów zabezpieczających

Autorzy:

Siedlecka-Lamch, O.

Data publikacji:

2017

Słowa kluczowe:

czasowy automat probabilistyczny
protokoły zabezpieczające
modelowanie protokołów zabezpieczających
probabilistic timed automata
security protocols
security protocols modeling

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:

Dynamic Modification of Object Petri Nets. An Application to Modelling Protocols with Fork-Join Structures

Autorzy:

Farwer, B.

Data publikacji:

2002

Słowa kluczowe:

Linear Logic Petri
modelling protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:

A Hybrid method for testing routing protocols in mesh networks

Autorzy:

Kaliszan, A.
Glabowski, M.
Hanczewski, S.
Gallucci, D.
Vanini, S.

Data publikacji:

2013

Słowa kluczowe:

routing protocols
control plane
data plane

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:

Contention Wireless MAC Protocols Using Carrier Detection

Autorzy:

Zieliński, B.

Data publikacji:

2006

Słowa kluczowe:

wireless networks
MAC protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:

A Survey of Energy Efficient Security Architectures and Protocols for Wireless Sensor Networks

Autorzy:

Daniluk, K.
Niewiadomska-Szynkiewicz, E.

Data publikacji:

2012

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

energy aware security architectures
routing protocols
security protocols
wireless sensor networks
WSN

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:

Solitaire zero-knowledge

Autorzy:

Niemi, V.
Renvall, A.

Data publikacji:

1999

Słowa kluczowe:

cryptographic protocols
zero-knowledge

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:

Efficiency Comparison of Classical Contention MAC Protocols in a Wireless Network

Autorzy:

Zieliński, B.

Data publikacji:

2005

Słowa kluczowe:

wireless networks
MAC protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:

Protokoły umożliwiające realizację telefonii internetowej

Autorzy:

Gajowniczek, P.

Data publikacji:

2000

Słowa kluczowe:

telefonia internetowa
H.323
SIP
IP telephony
voice over internet protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:

On Distributed k-Anonymization

Autorzy:

Zhong, S.

Data publikacji:

2009

Słowa kluczowe:

k-anonymity
protocols
secure computation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:

Mechanizmy QOS w kontekście integrowania sieci IPV4 i IPV6

Autorzy:

Malinowski, T.

Data publikacji:

2010

Słowa kluczowe:

system QoS
sieci IPv6
sieci IPv4
protocols IPv6
protocols IPv4

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:

Hyper-heuristics for power-aware routing protocols

Autorzy:

Pilski, M.
Seredynski, F.

Data publikacji:

2008

Wydawca:

Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach

Tematy:

protocols
ad hoc networks
genetic algorithm
hyper-heuristics

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:

Verifying Security Protocols Modeled by Networks of Automata

Autorzy:

Kurkowski, M.
Penczek, W.

Data publikacji:

2007

Słowa kluczowe:

protokoły kryptograficzne
weryfikacja modelowa
uwierzytelnienie
security protocols
model checking
authentication

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:

Integrated analysis of communication protocols by means of PLA formalism

Autorzy:

Pranevicius, H.

Data publikacji:

2004

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

piece-linear aggregates
ESTELLE/Ag specification language
validation
simulation
communication protocols

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:

Process algebras for network communication

Autorzy:

Gruska, D.P.
Maggiolo-Schettini, A.

Data publikacji:

2001

Słowa kluczowe:

concurrency
specification
process algebras
protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:

Randomized enumeration

Autorzy:

Dembiński, P.

Data publikacji:

1998

Słowa kluczowe:

randomized algorithms
distributed algorithms
network protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:

Integrated analysis of communication protocols by means of PLA formalism

Autorzy:

Pranevicius, H.

Data publikacji:

2004

Słowa kluczowe:

piece-linear aggregates
ESTELLE/Ag specification language
validation
simulation
communication protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:

Analysis of cryptographic protocols using logics of belief: an overview

Autorzy:

Monniaux, D.

Data publikacji:

2002

Słowa kluczowe:

protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 26.

Tytuł:

Load balancing of communication channels with the use of routing protocols

Autorzy:

Grabowski, F.
Bolanowski, M.
Paszkiewicz, A.

Data publikacji:

2014

Słowa kluczowe:

routing protocols
load balancing
ECMP

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 27.

Tytuł:

Energy Saving Chaotic Sequence Based Encryption, Authentication and Hashing for M2M Communication of IoT Devices

Autorzy:

Kościug, Bartosz
Bilski, Piotr

Data publikacji:

2023

Słowa kluczowe:

Power optimization
Security protocols
machine to machine communications
Application layer protocols
IoT

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 28.

Tytuł:

Protocols for Wireless Sensor Networks: A Survey

Autorzy:

Kochhar, A.
Kaur, P.
Singh, P.
Sharma, S.

Data publikacji:

2018

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

cross-layer
Medium Access Control
protocols
Wireless Sensor Networks

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 29.

Tytuł:

On-Demand Server Synchronization Protocols of Session Guarantees

Autorzy:

Piątkowski, Ł.
Sobaniec, M.
Sobański, G.
Kalewski, M.

Data publikacji:

2010

Słowa kluczowe:

distributed systems
session guarantees
replication
synchronization protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 30.

Tytuł:

Overflows of elastic traffic

Autorzy:

Głąbowski, M.
Kmiecik, D.

Data publikacji:

2017

Słowa kluczowe:

elastic traffic
compression
TCP protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 31.

Tytuł:

Evaluation of possible applications of dynamic routing protocols for load balancing in computer networks

Autorzy:

Zajda, K.

Data publikacji:

2010

Słowa kluczowe:

load balancing
dynamic routing protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 32.

Tytuł:

Badanie wydajności protokołów dostępu do łącza w doświadczalnej sieci bezprzewodowej

Autorzy:

Zieliński, B.
Góral, I

Data publikacji:

2003

Słowa kluczowe:

protokoły dostępu
sieci bezprzewodowe
medium access protocols
efficiency testing

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 33.

Tytuł:

Dobór protokołów dla interfejsów komunikacyjnych urządzeń współpracujących z przemysłowymi systemami kontrolno-nadzorczymi

Autorzy:

Gaj, P.

Data publikacji:

2002

Słowa kluczowe:

interfejsy komunikacyjne
protokoły komunikacyjne
przemysłowe systemy kontrolno-nadzorcze
protokoły TCP/IP
communication protocols
communication devices interacting
TCP protocols
industrial control systems

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 34.

Tytuł:

Analiza i symulacje czasowych protokołów zabezpieczających

Autorzy:

Szymoniak, S.

Data publikacji:

2017

Słowa kluczowe:

analiza czasu
protokoły zabezpieczające
symulacje
time analysis
security protocols
simulations

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 35.

Tytuł:

Weryfikacja protokołów zabezpieczających z uwzględnieniem opóźnień w sieci

Autorzy:

Szymoniak, S.

Data publikacji:

2016

Słowa kluczowe:

weryfikacja
protokoły zabezpieczające
bezpieczeństwo
verification
security protocols
security

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 36.

Tytuł:

The application of computational geometry algorithms to the timed verification of communication protocols

Autorzy:

Brzeziński, J.
Sajkowski, M.

Data publikacji:

2000

Słowa kluczowe:

protokół komunikacyjny
computational geometry algorithms
communication protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 37.

Tytuł:

Protokoły uwierzytelniania podmiotu
Entity authentication protocols

Autorzy:

Gajewska, Iwona

Słowa kluczowe:

uwierzytelnianie, protokoły uwierzytelniania, identyfikacja
authentication, authentication protocols, identification

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Inne

• na półce

Szczegóły

Skocz do pozycji: 38.

Tytuł:

Load balancing of communication channels with the use of routing protocols

Autorzy:

Grabowski, F.
Bolanowski, M.
Paszkiewicz, A.

Data publikacji:

2014

Wydawca:

Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej

Tematy:

routing protocols
load balancing
ECMP

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 39.

Tytuł:

Verifying Timed Properties of Security Protocols

Autorzy:

Jakubowska, G.
Penczek, W.

Data publikacji:

2006

Słowa kluczowe:

weryfikacja modelowa
cryptographic protocols
model checking

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 40.

Tytuł:

The impact of selected parameters on the performance of routing protocols in wireless sensor networks

Autorzy:

Piechowiak, M.
Zwierzykowski, P.
Kotlarz, P.
Żmudziński, P.

Data publikacji:

2017

Słowa kluczowe:

OMNeT++
wireless sensor networks
routing protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 41.

Tytuł:

Assessment of the impact of human activities on streams and Kobylanka Będkówka using rapid assessment methods (Rapid Bioassesment Protocols).
Ocena wpływu działalności człowieka na potoki Będkówka i Kobylanka z wykorzystaniem szybkich metod oceny (Rapid Bioassesment Protocols).

Autorzy:

Marchlewska, Joanna

Słowa kluczowe:

Rapid Bioassessment Protocols, %EPT, antropopresja
Rapid Bioassessment Protocols, %EPT, human impact

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Inne

• na półce

Szczegóły

Skocz do pozycji: 42.

Tytuł:

Random Token Access Protocols in a Noncooperative Setting under Heavy Load

Autorzy:

Konorski, J.

Data publikacji:

2001

Słowa kluczowe:

MAC protocols
noncooperative setting

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 43.

Tytuł:

Protocols for Wireless Sensor Networks: A Survey

Autorzy:

Kochhar, A.
Kaur, P.
Singh, P.
Sharma, S.

Data publikacji:

2018

Słowa kluczowe:

cross-layer
Medium Access Control
protocols
wireless sensor networks

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 44.

Tytuł:

The VoIP communication security ptotocols

Autorzy:

Zawadzki, P.

Data publikacji:

2008

Słowa kluczowe:

VoIP
bezpieczeństwo
protokoły
security
protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 45.

Tytuł:

Analysis of cryptographic protocols using logics of belief: an overview

Autorzy:

Monniaux, D.

Data publikacji:

2002

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 46.

Tytuł:

Randomized enumeration

Autorzy:

Dembiński, P.

Data publikacji:

1998

Słowa kluczowe:

randomized algorithms
distributed algorithms
network protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 47.

Tytuł:

Mechanizmy QOS w kontekście integrowania sieci IPV4 i IPV6

Autorzy:

Malinowski, T.

Data publikacji:

2010

Wydawca:

Warszawska Wyższa Szkoła Informatyki

Tematy:

system QoS
sieci IPv6
sieci IPv4
protocols IPv6
protocols IPv4

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 48.

Tytuł:

Using probabilistic automata for security protocols verification

Autorzy:

Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J.

Data publikacji:

2016

Wydawca:

Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej

Tematy:

verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 49.

Tytuł:

An Intrinsic Study on Routing Protocols in Mobile Ad-Hoc Network

Autorzy:

Sangeetha, A.
Rajendran, T.

Data publikacji:

2017

Słowa kluczowe:

MANET
routing protocols
DSDV
AODV
NCPR
ZRP
performance metrics

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 50.

Tytuł:

Protokoły routingu w mobilnych sieciach ad hoc

Autorzy:

Sosnowski, G.

Data publikacji:

2008

Słowa kluczowe:

sieci ad-hoc
protokół routingu
ad hoc network
routing protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 51.

Tytuł:

Daily patient geometry correction: application of NAL and eNAL protocols

Autorzy:

Dąbrowski, Andrzej
Zielińska-Dąbrowska, Sylwia
Kuszewski, Tomasz
Lis, Krzysztof

Data publikacji:

2020

Słowa kluczowe:

set-up control
correction protocols
geometry errors

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 52.

Tytuł:

System do projektowania protokołów sieci bezprzewodowych oraz symulacji ich działania

Autorzy:

Seredyński, R.
Momot, M.
Momot, A.

Data publikacji:

2010

Słowa kluczowe:

projektowanie protokołów
sieci bezprzewodowe
protocols design
wireless network

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 53.

Tytuł:

Using probabilistic automata for security protocols verification

Autorzy:

Siedlecka-Lamch, O.
Kurkowski, M.
Piątkowski, J.

Data publikacji:

2016

Słowa kluczowe:

verification of security protocols
probabilistic methods
weryfikacja protokołów bezpieczeństwa
metody probabilistyczne
protokoły uwierzytelniania

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 54.

Tytuł:

Contention wireless MAC Protocols using carrier detection

Autorzy:

Zieliński, Bartłomiej

Data publikacji:

2006

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 55.

Tytuł:

A study on routing problems and different routing protocols in wireless sensor networks

Autorzy:

Venkatesakumar, V.
Ragasudha, R.

Data publikacji:

2016

Wydawca:

Przedsiębiorstwo Wydawnictw Naukowych Darwin / Scientific Publishing House DARWIN

Tematy:

wireless sensor networks
routing protocols
routing problems

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 56.

Tytuł:

Analysis of control protocols vulnerabilities in electricity networks

Autorzy:

Głowacki, M.
Amanowicz, M.

Data publikacji:

2013

Słowa kluczowe:

vulnerabilities of control protocols
electricity networks
zagrożenia protokołów sterowania
sieci energetyczne

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 57.

Tytuł:

Survey of data broadcasting protocols for vod systems

Autorzy:

Martyna, J.

Data publikacji:

2003

Słowa kluczowe:

systemy typu wideo na żądanie
protokoły rozsyłania danych
Vide-on-Demand (VOD) Systems
broadcasting protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 58.

Tytuł:

Platforma rozwijania i testowania nowych protokołów rutingu

Autorzy:

Kaliszan, A.
Głąbowski, M.
Hanczewski, S.

Data publikacji:

2013

Słowa kluczowe:

protokoły rutingu
Quagga
ruter programowy
routing protocols
software router

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 59.

Tytuł:

SXCCP+: Simple XML Concurrency Control Protocol for XML Database Systems

Autorzy:

Jankiewicz, K.

Data publikacji:

2009

Słowa kluczowe:

concurrency control
XML
databases
protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 60.

Tytuł:

Protokoły trasowania w sieciach AD HOC

Autorzy:

Smolarek, A.
Malinowski, T.

Data publikacji:

2012

Słowa kluczowe:

protokoły routingu
sieci ad-hoc
Manet
symulacja
routing protocols
ad hoc network
simulation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 61.

Tytuł:

Process calculi and the verification of security protocols

Autorzy:

Boreale, M.
Gorla, D.

Data publikacji:

2002

Słowa kluczowe:

protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
Dolev-Yao model
observational equivalence
process calculi
spi calculus

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 62.

Tytuł:

On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method

Autorzy:

Permpoontanalarp, Y.
Sornkhom, P.

Data publikacji:

2014

Słowa kluczowe:

formal methods for cryptographic protocols
model checking
coloured Petri nets
Petri nets

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 63.

Tytuł:

Application protocols for HF radio networks - the analysis

Autorzy:

Jabłoński, Wiesław

Data publikacji:

2008

Tematy:

Transmisja danych
Protokół (informatyka)
Radiotechnika

Pokaż więcej

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 64.

Tytuł:

Medium access protocols for wireless networks-problem description

Autorzy:

Zieliński, Bartłomiej

Data publikacji:

2003

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 65.

Tytuł:

Forensic Microscopy for Skeletal Tissues: Methods and Protocols

Autorzy:

Elżbieta Żądzińska

Data publikacji:

2013-12-01

Dostawca treści:

CEJSH

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 66.

Tytuł:

Timed automata based model checking of timed security protocols

Autorzy:

Kurkowski, M.
Penczek, W.

Data publikacji:

2008

Słowa kluczowe:

protokoły kryptograficzne
weryfikacja modelowa
security protocols
model checking
authentication

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 67.

Tytuł:

A State Transition Model for Honest Executions of Authentication Protocols

Autorzy:

Kurkowski, M.

Data publikacji:

2005

Słowa kluczowe:

cryptographic authentication protocols
verification
model checking
protokoły uwierzytelniania kryptograficznego
weryfikacja
sprawdzanie modelu

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 68.

Tytuł:

Assessment of RIP-V1 and OSPF-V2 protocol with consideration of convergence criteria and sending protocols traffic

Autorzy:

Jelodar, H.
Nikravesh, P.

Data publikacji:

2014

Słowa kluczowe:

dynamic routing protocols
OSPF protocol
RIP protocol

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 69.

Tytuł:

Assessment of RIP-V1 and OSPF-V2 protocol with consideration of convergence criteria and sending protocols traffic

Autorzy:

Jelodar, H
Nikravesh, P

Data publikacji:

2014

Wydawca:

Stowarzyszenie Inżynierów i Techników Mechaników Polskich

Tematy:

dynamic routing protocols
OSPF protocol
RIP protocol

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 70.

Tytuł:

Architektura systemu wielorobotowego, język komunikacji i protokoły

Autorzy:

Bartyna, W.
Ambroszkiewicz, S.

Data publikacji:

2008

Słowa kluczowe:

robotyka
system wielorobotowy
język komunikacji
protokoły komunikacyjne
robotics
multirobot system
communication language
communication protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 71.

Tytuł:

Measurements of routing protocols performance for high-throughput computer networks in OPNET environment

Autorzy:

Paszkiewicz, A.
Bolanowski, M.
Zawodnik, D.

Data publikacji:

2014

Słowa kluczowe:

computer networks
routing protocols
OPNET
sieci komputerowe
protokoły routingu

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 72.

Tytuł:

Modeling of selected TCP protocols
Modelowanie wybranych protokołów TCP

Autorzy:

Krzywanek, Jan

Słowa kluczowe:

TCP protocols, simulations, ns-2
protokoły TCP, symulacje, ns-2

Pokaż więcej

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Inne

• na półce

Szczegóły

Skocz do pozycji: 73.

Tytuł:

Process calculi and the verification of security protocols

Autorzy:

Boreale, M.
Gorla, D.

Data publikacji:

2002

Wydawca:

Instytut Łączności - Państwowy Instytut Badawczy

Tematy:

protokół kryptograficzny
kryptografia
bezpieczeństwo
cryptographic protocols
Dolev-Yao model
observational equivalence
process calculi
spi calculus

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 74.

Tytuł:

Driving protocols: the possibility of using routing protocols in autonomous transport

Autorzy:

Wróbel, Radosław
Sroka, Zbigniew
Sierzputowski, Gustaw
Dimitrov, Radostin
Mihaylov, Veselin
Ivanov, Daniel

Data publikacji:

2024

Słowa kluczowe:

autonomous vehicle
transport protocol
routing protocols
transport of the future
telematics
pojazd autonomiczny
protokoły transportowe
protokoły routingu
transport przyszłości
telematyka

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 75.

Tytuł:

Some issues related to the OBD data scanning and interpretation

Autorzy:

Merkisz, J.
Kotowski, M.

Data publikacji:

2006

Słowa kluczowe:

OBD data scanning
transmission protocols
ECU drivers

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 76.

Tytuł:

Transmission Protocol Simulation Framework For The Resource-Constrained Wireless Sensor Network

Autorzy:

Wójcikowski, M.

Data publikacji:

2015

Słowa kluczowe:

sensor network
computer simulations
sensor network protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 77.

Tytuł:

A Survey on Mac Protocols for Wireless Sensor Networks

Autorzy:

Anubhama, R.
Rajendran, T.

Data publikacji:

2017

Słowa kluczowe:

WSN
MAC Protocols
throughput
efficiency
stability
fairness
low access delay
low transmission delay
low overhead
surve

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 78.

Tytuł:

Contention wireless medium access protocols using control frames exchange

Autorzy:

Zieliński, Bartłomiej

Data publikacji:

2004

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 79.

Tytuł:

Safe and effective anaesthesiological protocols in domestic pigs

Autorzy:

Mikołajczyk, Anita. Autor

Data publikacji:

2016

Tematy:

Świnia
Znieczulenie

Pokaż więcej

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 80.

Tytuł:

Performance of a router based on NetFPGA-1Gb/s cards

Autorzy:

Paszkiewicz, A.
Więch, P.
Gomółka, Z.

Data publikacji:

2015

Słowa kluczowe:

NetFPGA
computer networks
routing protocols
performance

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 81.

Tytuł:

E-negotiation design and engineering

Autorzy:

Kersten, Gregory

Data publikacji:

2021

Słowa kluczowe:

e-negotiation protocols
e-negotiation support systems
negotiation ontology
software agents

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 82.

Tytuł:

Przegląd protokołów przeznaczonych do transmisji danych w systemach Internetu Rzeczy

Autorzy:

Krupanek, B.

Data publikacji:

2018

Słowa kluczowe:

Internet rzeczy
transmisja danych
protokoły komunikacyjne
chmura
Internet of things
data transmission
transmission protocols
cloud

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 83.

Tytuł:

Towards Scenarios of External Attacks upon Security Protocols

Autorzy:

Dembiński, P.
Jakubowska, G.
Penczek, W.

Data publikacji:

2008

Słowa kluczowe:

weryfikacja modelowa
protokoły kryptograficzne
symulacja
model checking
cryptographic protocols
simulation

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 84.

Tytuł:

Comparative Study of Wireless Sensor Networks Energy-Efficient Topologies and Power Save Protocols

Autorzy:

Niewiadomska-Szynkiewicz, E.
Kwaśniewski, P.
Windyga, I.

Data publikacji:

2009

Słowa kluczowe:

ad hoc network
energy conservation protocols
topology control
wireless sensor network

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 85.

Tytuł:

Bernoulli Meets PBFT: Modeling BFT Protocols in the Presence of Dynamic Failures

Autorzy:

Nischwitz, Martin
Esche, Marko
Tschorsch, Florian

Data publikacji:

2021

Słowa kluczowe:

distributed processing
probability
protocols
software
fault tolerance
przetwarzanie rozproszone
prawdopodobieństwo
protokoły
odporność na błędy
oprogramowanie

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 86.

Tytuł:

Protokoły trasowania w sieciach AD HOC
Routing protocols in ad hoc networks

Autorzy:

Smolarek, A.
Malinowski, T.

Data publikacji:

2012

Wydawca:

Warszawska Wyższa Szkoła Informatyki

Tematy:

protokoły routingu
sieci ad-hoc
Manet
symulacja
routing protocols
ad hoc networks
simulation

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 87.

Tytuł:

SocialRouting : The social-based routing algorithm for Delay Tolerant Networks

Autorzy:

Schoeneich, R. O.
Surgiewicz, R.

Data publikacji:

2016

Słowa kluczowe:

routing protocols
MANET
DTN

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 88.

Tytuł:

Secure time information in the internet key exchange protocol

Autorzy:

Szałachowski, P.
Kotulski, Z.

Data publikacji:

2011

Słowa kluczowe:

key exchange protocol
IKE
cryptographic protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 89.

Tytuł:

BSBI - a Simple Protocol for Remote Verification of Identity

Autorzy:

Kozakiewicz, A.
Pałka, P.

Data publikacji:

2012

Słowa kluczowe:

access control
authentication
biometric verification
network protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 90.

Tytuł:

Integrated analysis of communication protocols by means of PLA formalism

Autorzy:

Pranevicius, Henrikas

Data publikacji:

2004

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 91.

Tytuł:

Process calculi and the verification of security protocols

Autorzy:

Boreale, Michele

Współwytwórcy:

Gorla, Daniele

Data publikacji:

Tue Jan 01 01:01:00 CET 2002

Tematy:

Sieć komputerowa - bezpieczeństwo
Szyfry

Pokaż więcej

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 92.

Tytuł:

Analysis of cryptographic protocols using logics of belief : an overview

Autorzy:

Monniaux, David

Data publikacji:

Tue Jan 01 01:01:00 CET 2002

Tematy:

Sieć komputerowa - bezpieczeństwo
Szyfry

Pokaż więcej

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 93.

Tytuł:

Channel utilisation for contention mac protocols using control frames exchange

Autorzy:

Zieliński, Bartłomiej

Data publikacji:

2007

Dostawca treści:

Academica

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 94.

Tytuł:

Introduction : protocols of modern war

Data publikacji:

2018

Wydawca:

Routledge

Dostawca treści:

Repozytorium Uniwersytetu Jagiellońskiego

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 95.

Tytuł:

Group signature revocable anonymity scheme for network monitoring

Autorzy:

Baniak, K.

Data publikacji:

2011

Słowa kluczowe:

network monitoring
network security
cryptographic protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 96.

Tytuł:

Protokoły routingu dla systemów Internetu Rzeczy – badania symulacyjne wybranych protokołów

Autorzy:

Krupanek, B.
Bogacz, R.

Data publikacji:

2018

Słowa kluczowe:

Internet rzeczy
transmisja danych
protokoły routingu
routing
Internet of things
data transmission
routing protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 97.

Tytuł:

Protokoły rutingu międzysystemowego dla heterogenicznych sieci mobilnych

Autorzy:

Maślanka, K.
Krygier, J.

Data publikacji:

2012

Słowa kluczowe:

ruting międzysystemowy
sieci doraźne
MANETA BGP
exterior gateway routing protocols
mobile networks
MANET BGP

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 98.

Tytuł:

Comparison of Wireless Data Transmission Protocols for Residential Water Meter Applications

Autorzy:

Krzak, Łukasz
Macheta, Jan
Kubaszek, Mateusz
Worek, Cezary

Data publikacji:

2023

Wydawca:

Polska Akademia Nauk. Czasopisma i Monografie PAN

Tematy:

water meter
protocols
Wireless M-Bus
LoRaWAN
Sigfox
NB-IoT
energy consumption
maximum coupling loss

Pokaż więcej

Dostawca treści:

Biblioteka Nauki

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 99.

Tytuł:

Long-range dependence in DataCenter networks transmission

Autorzy:

Paszkiewicz, A.
Bolanowski, M.

Data publikacji:

2017

Słowa kluczowe:

Hurst exponen
long-term memory
network convergence
data center protocols

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły

Skocz do pozycji: 100.

Tytuł:

Performance evaluation of a lightweight consensus protocol for blockchain in IoT networks.

Autorzy:

Kaur, Manpreet
Gupta, Shikha

Data publikacji:

2025

Słowa kluczowe:

blockchain
consensus protocols
DPoAC
secret sharing
IPFS
IoT

Pokaż więcej

Dostawca treści:

BazTech

/5

Artykuł

• na półce

Szczegóły