Wyszukiwarka
Filtry
wszystkich: 654
wybranych: 173
-
Katalog
- Publikacje 173 wyników po odfiltrowaniu
- Osoby 9 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 111 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
- Dane Badawcze 353 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: ROZPROSZONE APLIKACJE OBIEKTOWE
-
Aplikacje rozproszone jako bazowe usługi w inteligentnej przestrzeni obliczeniowej
PublikacjaZaprezentowano rozwój trendów w przetwarzaniu rozproszonym i ich wpływ na tworzenie nowego typu systemów przetwarzania informacji. Ten rodzaj systemów jest w sposób naturany zintegrowany ze środwiskiem, gdzie znajduje się użytkownik. Przedyskutowano sposób implementacji odpowiednich metod na bazie architekury SOA. Przedstawiono projekt inteligentnej ściany jako przykład tego rodzaju aplikacji.
-
Przegląd technologii baz danych - architektura systemu baz danych
PublikacjaRozdział jest zwięzłym przeglądem rozwoju architektury systemów z bazą danych. Opisano w nim relacyjne, obiektowe i obiektowo-relacyjne bazy danych. Ponadto przedstawiono zarys architektury dwu i trojwarstwowej. Wybór architektury systemu bazy danych i architektury współpracujących z nią aplikacji niejednokrotnie jest wypadkową możliwości realizacyjnych i zasobów (personel, oprogramowanie narzędziowe, sprzęt) jakie ma do dyspozycji...
-
Rozproszone systemy kogeneracji
PublikacjaPrzedstawiono rozproszone systemy kogeneracji . pokazano układy kogeneracyjne opalane gazem.
-
Rozproszone kolorowanie grafów
PublikacjaW pracy rozważany jest rozproszony model obliczeń, w którym struktura systemu jest reprezentowana przez graf bezpośrednich połączeń komunikacyjnych. W tym modelu podajemy nowe, rozproszone algorytmy kolorowania grafów wraz z dokładną analizą teoretyczną i wynikami eksperymentów obliczeniowych.
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublikacjaArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
Aplikacje i usługi a technologie sieciowe
PublikacjaObserwując tempo rozwoju technologii sieciowych oraz usług i aplikacji stajemy przed ogromnym dylematem jak wykorzystać istniejące możliwości by modernizować wybrane usługi i aplikacje zgodnie z ciągle zmieniającymi się potrzebami użytkowników. Bardzo często sygnalizowane nowe technologie czy aplikacje mają jednak czysto charakter biznesowy podporządkowany prawom marketingu i nie wnoszą wielu istotnych zmian. Dlatego jest ważne...
-
Sterowanie rozproszone układami zasilania bezprzerwowegopracującymi równolegle
PublikacjaW referacie przedstawiono propozycję jednofazowego systemu zasilania bezprzerwowego (UPS) zbudowanego w oparciu o pracujące równolegle moduły przekształtników DC-AC-DC-AC z separacją galwaniczną. Opisano opracowany i zastosowany w układzie system komunikacji pomiędzy modułami oparty na warstwie fizycznej CAN, obsługujący sterowanie rozproszone typu master-slave pozwalające na uzyskanie wysokiej dyspozycyjności systemu UPS. Układy...
-
Wybrane aplikacje
Publikacja -
Relacyjne i obiektowe bazy danych w zarządzaniu przedsiębiorstwem – przegląd i analiza porównawcza
PublikacjaBazy danych są obecnie powszechnie wykorzystywanymi aplikacjami w życiu codziennym i zawodowym do gromadzenia, przetwarzania i zarządzania danymi. Stanowią one podstawowe narzędzie komputerowe wspomagające funkcjonowanie przedsiębiorstw bez względu na rodzaj prowadzonej działalności. Najpopularniejszymi rozwiązaniami oferowanymi przez firmy informatyczne są relacyjne i obiektowe bazy danych. W artykule dokonano przeglądu dostępnych...
-
Rozproszone kolorowanie grafów
PublikacjaW pracy zaprezentowano nowy rozproszony algorytm kolorowania grafów. Przeprowadzone eksperymenty pokazują, że daje on lepsze wyniki niż znany wcześniej algorytm trywialny.
-
Rozproszone łamanie szyfrów
PublikacjaZaprezentowano podstawowe techniki łamania szyfrów symetrycznych i asymetrycznych o stosunkowo niewielkiej długości kluczy. Przedstawiono ogólną charakterystykę metod łamania szyfrów. Ilustracją tych metod jest zaprezentowana aplikacja służąca do łamania haseł lub badania odporności haseł na odgadnięcie.
-
Aplikacje i środowiska kontekstowe: Aplikacje internetowe na platformie Eclipse
PublikacjaPrzedstawiono problematykę tworzenia aplikacji internetowych na platformie Eclipse. Został omówiony standard OSGi, który jest podstawą działania i implementacji Eclipse oraz aspekty OSGi związane z komunikacją internetową. Przedstawiono istniejace frameworki w środowisku Eclipse, które umożliwiają rozwój aplikacji internetowych. Głównymi kierunkami rozwoju frameworków są: IDE do wytwarzania aplikacji oraz integracja platformy Eclipse...
-
Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast
PublikacjaSTRONA GŁÓWNAOBSZARY TEMATYCZNERADA NAUKOWARECENZENCIREDAKCJAINFORMACJE DLA AUTORÓWRECENZJAKONTAKT Strona główna > Numer 14/2017 > Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast METODY I APLIKACJE ZDALNEGO SZKOLENIA MIESZKAŃCÓW INTELIGENTNYCH MIAST Jerzy Balicki, Piotr Dryja, Waldemar Korłub, Maciej Tyszka Rozwój nowego rodzaju miast i regionów nazywanych smart cities pociąga za sobą nowy sposób...
-
Przyjazne aplikacje dla dzieci z autyzmem – e-edukacja na poziomie przedszkolnym
PublikacjaArtykuł dotyczy możliwości wykorzystania aplikacji na tablety do wspomagania terapii dzieci z zaburzeniami rozwojowymi ze spektrum autyzmu. Przedstawia studium przypadku skutecznego zastosowania e-technologii w kształceniu specjalnym na poziomie przedszkolnym. Artykuł opisuje zestaw aplikacji edukacyjnych o nazwie Przyjazne Aplikacje, których celem jest wspieranie terapii dzieci z autyzmem opartej o stosowaną...
-
Aplikacje i środowiska kontekstowe: Środowisko OSGi oraz definiowalna architektura SOA
PublikacjaPodejście komponentowe jest coraz częściej wykorzystywane jako metoda wytwarzania aplikacji. Artykuł ten omawia specyfikację OSGi, definiującą platformę dla działania usług, które mogą być dynamicznie instalowane, uaktualniane i usuwane bez konieczności restartu całego środowsika. Rozwinięciem specyfikacji OSGi jest programowalna architektura SOA. Dostarcza ona mechanizmu programowania, który wraz z zaproponowanym zunifikowanym...
-
Rozproszone przechowywanie zapasowych kopii danych
PublikacjaPokazano metodę wykorzystania systemu przetwarzania rozproszonego do zabezpieczenia instytucji przed skutkami ataku hakerskiego połączonego ze zniszczeniem bazy danych tej instytucji. Metoda ta polega na wplataniu pakietów danych do materiałów audio-video ściąganych przez internautów korzystających z serwisów filmowych Video-on-Demand i przechowywaniu danych w rozproszeniu na setki lub nawet tysiące komputerów.
-
Nauka w świecie cyfrowym okiem młodego inżyniera - metody i aplikacje wspomagające uczenie
PublikacjaW niniejszym artykule opisano metody uczenia się oraz popularne aplikacje wspomagające przyswajanie wiedzy. Jest to kontynuacja poprzedniej części, poświęconej procesowi uczenia oraz najpopularniejszym technikom. Zawarte informacje można traktować jako wskazówki dla osób w trakcie tzw. instytucjonalnej nauki - szkoła, studia, kursy doszkalające - związanej z ciągłą potrzebą samodoskonalenia i podnoszenia kwalifikacji.
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublikacjaArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
Multimedia Applications for the Hearing Impaired.
PublikacjaJednym z elementów przeciwdziałania szybko narastającym zagrożeniom niedosłuchem są aplikacje oprate na nowoczesnych technologiach. W wyniku współpracy Katedry Systemów Multimedialnych PG z warszawskim Instytutem Fizjologii i Patologii Słuchu opracowano wdrożone na szeroką skale multimedialne systemy przesiewowych badań zmysłów komunikowania się. Ponadto, nowsze opracowania dotyczą maskowania szumów usznych z wykorzystaniem linearyzacji...
-
Obliczenia rozproszone w syntezie obrazów parametrycznych
PublikacjaArtykuł prezentuje rozproszony system przetwarzania danych dla potrzeb syntezy obrazów parametrycznych. Zastosowano w tym celu metodę Compute Server.
-
Skojarzone układy rozproszone zasilane paliwem gazowym.
PublikacjaOmówiono znaczenie stosowania w energetyce i ciepłownictwie skojarzonej gospodarki cieplno-elektrycznej. Przedstawiono pojęcie generacji rozproszonej oraz wskazano typowe przykłady technologii stosowanych w źródłach rozproszonych. Podano główne przyczyny zainteresowania nimi i rozwoju tych technologii. Scharakteryzowano, ostatnio zrealizowane w krajowym ciepłownictwie, wybrane przykłady zastosowań skojarzonych źródeł rozproszonych,...
-
Platforma i aplikacje przetwarzania strumieni danych
PublikacjaPrzedstawiono uogólniony schemat uzgadniania wymagań dotyczących bezpieczeństwa publicznego i na tej podstawie zaprezentowano koncepcję platformy KASKADA przeznaczonej do analizy strumieni multimedialnych. Opisano metodę wytwarzania i testowania takiej platformy oraz różne możliwości jej wykorzystania. Podano przykłady aplikacji zrealizowanych i wykonywanych na tej platformie.
-
Aplikacje informatyczne dla fotogrametrii i teledetekcji
PublikacjaMonografia podsumowuje prace aplikacyjne nad programami dedykowanymi dla kształcenia geodetów i kartografów na poziomie studiów wyższych. Autorzy prezentują możliwości włączenia w tok dydaktyczny programu do obliczeń fotogrametrycznych na zdjęciach metrycznych oraz analiz matematycznych na zdjęciach wykorzystywanych w pracach teledetekcyjnych. Czytelnik otrzymuje zasadnicze informacje o możliwościach oprogramowania a dla użytkowników...
-
Aplikacje informacyjne w kontroli finansowej w przedsiębiorstwie.
PublikacjaCelem rozprawy jest prezentacja możliwości komputerowego wspomagania kontroli finansowej w przedsiębiorstwie. Temu celowi podporządkowano jej zakres, w ramach którego dokonano: prezentacji historii i definicji pojęć związanych z kontrolą i systemem, omówiono rolę aplikacji informacyjnych w kontroli finansowej, podsumowano stan wiedzy odnośnie przedmiotu badania. Wykonano analizę metodologiczną modelowania opisowego i sformułowano...
-
Nowe aplikacje technologii hydrofitowej w gospodarce komunalnej
PublikacjaW pracy przedstawiono doświadczenia pracowników Wydziału Inżynierii Lądowej i Środowiska Politechniki Gdańskiej odnoszące sie do nowych zastosowań metody hydrofitowej w zagospodarowaniu ścieków i osadów ściekowych. W artykule przedstawiono wyniki badań dotyczące obiektów hydrofitowych: (I) lokalnych przeznaczonych do biologicznego oczyszczania ścieków (pochodzących od 15 do 750 mieszkańców) znajdujących się w Darżlubiu, Wieszynie,...
-
Rozproszone elektrociepłownie gazowe w woj. pomorskim. Cz. I
PublikacjaPrzedstawiono ideę skojarzonej gospodarki cieplno-elektrycznej oraz generacji rozproszonej.
-
Rozproszone elektrociepłownie gazowe w woj. pomorskim. Cz. II
PublikacjaScharakteryzowano nowo zrealizowane elektrociepłownie gazowe na terenie woj. pomorskiego.
-
Zapewnianie wiarygodności usług sieciowych wykorzystywanych przez aplikacje interaktywne
PublikacjaPrzedstawiono problematykę zapewniania wiarygodności waplikacjach interaktywnych i systemach typu ubiquitous/pervasive. Zostały opisane możliwości zapewniania wiarygodności z uwzględnieniem zarówno tradycyjnych metod jak i aspektów specyfcznych dla systemów interaktywnych. Zaproponowano moduł zapewniania wiarygodności rozwijany w ramach realizacjiśrodowiska wykonania aplikacji interaktywnych. Moduł ten umożliwiagromadzenie danych...
-
Object oriented grid computing for computational electromagnetics
PublikacjaArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
Rozproszone systemy teleinformatyczne: inteligencja, autonomia, racjonalność i bezpieczeństwo kooperacji
PublikacjaWzrostowi inteligencji i autonomii podmiotów komunikacji systemów teleinformatycznych towarzyszy rozszerzanie paradygmatu analizy i projektowania w stronę podmiotów indywidualnie racjonalnych (egoistycznych). Wymaga to zastosowania metod teorii gier niekooperatywnych. W referacie pokazano przykłady zachowań egoistycznych określonych jako "wymuszanie pierwszeństwa" i "fałszywe tablice" odpowiednio w środowisku wireless multihoming...
-
Aplikacje i środowiska kontekstowe: Semantyczny model realizacji ludzkich przedsięwzięć
PublikacjaPrzedstawiono usystematyzowane podejście do opisu przedsięwzięć ludzkich i usług informacyjnych. Zaprezentowano środowisko WIKI jako platformę wspomagającą przetwarzanie zespołowe oraz zasygnalizowano dalsze trendy jej rozwoju. Wykazano potrzebę uwzględnienia kontekstu związanego z zespołem, realizowanym przedsięwzięciem oraz dziedziną, której ono dotyczy. Podano sposób budowy ontologii dla opisu wymaganych kontekstów.
-
Aplikacje i środowiska kontekstowe: Semantyczny workflow jako usługa złożona
PublikacjaPrzedstawiono przepływ pracy jako odzwierciedlenie procesu biznesowego oraz orkiestracji usług w ramach usługi złożonej na bazie przykładu procesu obsługi wniosku urlopowego. Zwrócono uwagę na dwupłaszczyznowe spojrzenie - zapisanie usługi jako prostgo workflow oraz przedstwaienie workflow jako usługi. Opisano potrzebę wykorzystania adnotacji semantycznych oraz sam proces kompozycji przepływu dla wytworzenia usługi złożonej. na...
-
STM32: Aplikacje i ćwiczenia w języku C. - M. Galewski. -
PublikacjaW książce przedstawiono nowoczesne, 32-bitowe mikrokontrolery z rodzeniem ARM Cortex-M3. Oprócz opisu poszczególnych ich podukładów, zawarto w niej przede wszystkim wiele przykładowych ćwiczeń, których zaawansowanie jest stopniowane, dzięki czemu czytelnicy są łagodnie wprowadzani w omawianie zagadnienia. Przykłady zamieszczone w książce są bardzo różnorodne, bazują m.in. na czujnikach przyspieszenia i ciśnienia MEMS, interfejsie...
-
Najnowsze doświadczenia i aplikacje metody hydrofitowej w gospodarce komunalnej
PublikacjaSystemy hydrofitowe od ponad pięciu dekad są stosowane w gospodarce komunalnej wielu krajów i stają się coraz bardziej popularne również w Polsce. Pomimo zdobytych doświadczeń z eksploatacji tysięcy obiektów funkcjonujących na świecie wciąż prowadzone są badania nad rozpoznaniem i możliwością kontrolowania procesów zapewniających usuwanie różnych zanieczyszczeń i mikrozanieczyszczeń ze ścieków. W kolejnych publikacjach autorzy...
-
Rozproszone, skojarzone układy gazowo-parowe w krajowej energetyce i ciepłownictwie
PublikacjaScharakteryzowano układy technologiczne kilku wybranych elektrociepłowni zasilanych różnorodnym paliwem gazowym.
-
Rozproszone, skojarzone układy gazowo-parowe w krajowej energetyce i ciepłownictwie
PublikacjaPrzedstawiono i scharakteryzowano ostatnio zrealizowane w krajowej energetyce wybrane przykłady układów gazowo-parowych realizujących skojarzoną gospodarkę cieplno-elektryczną.
-
Aplikacje i środowiska kontekstowe: Ontologie w interaktywnych aplikacjach zorientowanych kontekstowo
PublikacjaPrzedstawiono model przetwarzania typu pervasive computing. Zanalizowano składowe aplikacji interaktywnej zorientowanej kontekstowo. Opisano architekturę takiej aplikacji, wykorzystującej usługi sieciowe, konteksty, scenariusze i ontologie. Scharakteryzowano metodę integracji tych elementów w wykorzystaniem adnotacji. zaproponowano motor wykonawczy dla kontenera usług sieciowych, bazujący na standardach: OSGi OWL-S
-
Aplikacje internetowe w fotogrametrii i w systemach informacji geograficznej (GIS)
PublikacjaPrezentacja obejmowała pokaz funkcjonalny systemu PI-3000 Topcon wraz z odwołaniem się do podstaw naukowych wykonywania opracowań fotogrametrycznych z użyciem zdjęć cyfrowych z niemetrycznych aparatów fotograficznych.
-
Rozproszone mechanizmy obrony przed niekooperacyjnym zachowaniem węzłów w wieloskokowych sieciach bezprzewodowych
PublikacjaW chwili obecnej rosnącym zagrożeniem dla funkcjonowania sieci staje się niekooperacyjne zachowanie węzłów, tzn. ataki polegające na przyjęciu przez nie procedur funkcjonowania niezgodnych ze standardem, aby uzyskać niesprawiedliwą przewagę nad innymi węzłami.Jest to możliwe na skutek obecnego podejścia do projektowania mechanizmów sieciowych, nastawionego na maksymalizację ogólnej efektywności przy jednoczesnym założeniu pełnej...
-
Nauka w świecie cyfrowym okiem młodego inżyniera - mobilne aplikacje cross-platformowe
PublikacjaIstotnym punktem w analizie technologii mobilnych jest poznanie opinii osób z nimi zaznajomionych. W niniejszym artykule przedstawione zostaną wyniki badań dotyczących porównania technologii cross-platformowych (uniwersalnych) i natywnych (dedykowanych), w których uwzględniono opinie i doświadczenia deweloperów pracujących w obszarze technologii mobilnych. Badanie miało na celu zrozumienie preferencji, wyzwań i korzyści związanych...
-
Czynniki wpływające na magnetyczne pole rozproszone elementów konstrukcyjnych wykonanych ze stali węglowych
PublikacjaPrzeprowadzono badania próbek wykonanych ze stali węglowej lokalnie odkształconych plastycznie. Badano wpływ lokalnej deformacji na rozkład magnetycznego pola rozproszonego wokół próbek w zależności od warunków panujących podczas deformowania oraz wykonywania pomiarów. Na podstawie porównania rezultatów otrzymanych dla próbek o różnej historii stwierdzono, iż rejestrowane anomalie rozkładu MPR są spowodowane w głównej mierze przepływem...
-
Zapewnianie progowego poziomu obecności w sieci sensorowej obsługującej aplikacje typu smart grid
PublikacjaRozważono bezprzewodową sieć sensorową z pewną liczbą węzłów oraz pojedynczym ujściem, pełniącym także funkcje zarządcze Założono, że sieć sensorowa, w celu wykonywania powierzonego jej zadania, musi utrzymywać określoną liczbę węzłów w stanie włączonym w każdym momencie życia sieci. Jest to zadanie trywialne, gdy węzły mogą być wyłączane tylko po otrzymaniu odpowiedniej komendy od zaufanego nadzorcy. Jednakże przy założeniu podatności...
-
It applications for the remote testing of hearing.
PublikacjaTelemedycyna odgrywa coraz wiekszą rolę w diagnostyce i leczeniu osób z ubytkami słuchu. Jest to związane m.in. ze specyfiką badań audiometrycznych. Postęp technologiczny w dziedzinie aparatów słuchowych i implantów ślimakowych wymusza nowe metody diagnozy w audiologii, jak również w praktyce otolaryngologicznej. Serwis ''Telezdrowie'', w którym zaimplementowano liczne testy przesiewowe jest przykładem prowadzenia diagnostyki w...
-
Rozproszone usługi obliczeniowe na klastrach TASK z dostępem przez WWW i Web Services.
PublikacjaArtykuł omawia architekturę i doświadczenia wstępnych faz specyfikacji wymagań i analizy projektu, który umożliwi zdalne wykorzystanie równoległych klastrów i/lub superkomputerów sieci TASK przez użytkowników z rozproszonych geograficznie lokalizacji. System zapewni dotychczasowym i nowym użytkownikom klastrów i superkomputerów TASK zdalne uruchamianie i zarządzanie aplikacjami, bibliotekami równoległymi i sekwencyjnymi poprzez...
-
Systemy rozproszone cechujące się sztuczną inteligencją do wspomagania zarządzania bankami w warunkach kryzysowych
PublikacjaW pracy rozważa się techniki zwiększenie efektywności sektora bankowego za pomocą wprowadzenia zaawansowanych usług sieciowych. Kluczowe znaczenie odgrywają systemy eksperckie, które przy wykorzystaniu botów umożliwiają znaczącą poprawę szeregu aspektów komunikacji. Natomiast za pomocą algorytmu genetycznego możliwe jest znaczące skrócenie czasu reakcji systemu w odniesieniu do systemów projektowanych bez uwzględnienia optymalizacji...
-
Isotropic damage in viscoplastic flow conditions, fem applications with practical examples
PublikacjaW pracy omówiono niektóre zagadnienia zniszczenia w warunkach płynięcia lepkoplastycznego. Podano podstawowe prawa konstytutywne jakie mogą tu być zastosowane oraz sposoby identyfikacji parametrów materiałowych. Pokazano przykład zastosowania.
-
Efektywna metoda replikacji stanu dynamicznie powiązanych obiektów rozproszonych.
Publikacja.
-
Influence of Exception Handling on Distributed Applications.
PublikacjaW artykule przedstawiono metodologię oceny systemów rozproszonych w sytuacji występowania wyjątków i błędów. Analiza jest przeprowadzana przez zidentyfikowanie zmian stanów danych i wyprowadzenie ogólnych charakterystyk systemu. Rozproszone zależności są modelowane przez podstawowe zależności między metodami i złożone zależności występujące w sytemie. Analiza umożliwia odpowiedź na pytanie, jak zależności rozproszone wpływają na...
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...