Filters
total: 7669
filtered: 6578
-
Catalog
- Publications 6578 available results
- Journals 38 available results
- Publishing Houses 1 available results
- People 236 available results
- Inventions 59 available results
- Projects 30 available results
- Laboratories 5 available results
- Research Teams 15 available results
- Research Equipment 1 available results
- e-Learning Courses 302 available results
- Events 98 available results
- Open Research Data 306 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: STAŁA HENRY'EGO
-
Clustering Context Items into User Trust Levels
PublicationAn innovative trust-based security model for Internet systems is proposed. The TCoRBAC model operates on user profiles built on the history of user with system interaction in conjunction with multi-dimensional context information. There is proposed a method of transforming the high number of possible context value variants into several user trust levels. The transformation implements Hierarchical Agglomerative Clustering strategy....
-
Trwałość eksploatacyjna opraw oświetleniowych
PublicationAktualne normy zalecają prowadzenie szeregu prób zmierzających do oceny parametrów technicznych opraw oświetleniowych, istotnych z punktu widzenia bezpieczeństwa użytkowania wyrobu i spełnienia warunków dopuszczenia oprawy do obrotu. Niestety, zalecenia te nie zawsze dają podstawy do jednoznacznej oceny trwałości eksploatacyjnej konstrukcji. W artykule przedstawiono przypadek uszkodzenia oprawy oświetleniowej z lampą metalohalogenkową....
-
Użyteczność platformy KASKADA (rozdział 6)
PublicationZadania wykonane w ramach projektu MAYDAY EURO 2012 w temacie można podzielić na dwie główne kategorie: prace implementacyjne, obejmujące zarówno implementację rozwiązań ekstrakcji cech twarzy jak i systemów rozpoznawania i typowania osób na platformach WINDOWS i KASKADA, prace badawcze, obejmujące z kolei badania związane ze skutecznością typowania i rozpozna-wania osób oraz możliwości zrównoleglania opracowanych rozwiązań na...
-
SERVICE ORIENTED SCENARIOS FOR SUPPORT ENTERPRISE PROJECT MANAGEMENT
PublicationIn the paper, a service oriented architecture is used to describe various scenarios of human-oriented enterprises. They can be modeled by BPMN to show basic information flow. We consider business scenarios to present another modeling solution called service orchestration or service mashup. That approach gives an opportunity for the right management through taking the best possible choice of services, or composition of services....
-
Smart Services supporting Drivers in Effective Cars Parking
PublicationThe paper shows how to design and implement intelligent, service oriented systems for management of free places in distributed car parks. The idea of SOA technology is widely used. It is assumed that a state of every car park is automatically determined by a special electronic infrastructure including IoT solutions. The information received from such an infrastructure is sent to the main management system, which processes it and,...
-
Effective Decision-Making in Supply Chain Management
PublicationProper decision-making in Supply Chain Management (SCM) is crucial for an appropriately functioning mechanisms. The paper presents how IT technologies can impact on an organization and process realization. Especially Service Oriented Architecture (SOA) standard and the Cloud Computing (CC) paradigms are taken into account. A general model of decision-making is proposed and based on a specific practical example is analyzed using...
-
Systematic approach to binary classification of images in video streams using shifting time windows
Publicationin the paper, after pointing out of realistic recordings and classifications of their frames, we propose a new shifting time window approach for improving binary classifications. We consider image classification in tewo steps. in the first one the well known binary classification algorithms are used for each image separately. In the second step the results of the previous step mare analysed in relatively short sequences of consecutive...
-
Improving Traffic Light Recognition Methods using Shifting Time-Windows
PublicationWe propose a novel method of improving algorithms recognizing traffic lights in video sequences. Our focus is on algorithms for applications which notify the driver of a light in sight. Many existing methods process images in the recording separately. Our method bases on the observation that real-life videos depict underlying continuous processes. We named our method FSA (Frame Sequence Analyzed). It is applicable for any underlying...
-
Mądre podejmowanie decyzji w sytuacjach problematycznych poprawiajace wybór rozwiązań
PublicationPrzedstawiono klasyfikację problemów od precyzyjnie zdefiniowanych do intuicyjnie zrozumiałych. Dla tych drugich zaproponowano nowy model wyboru rozwiązań uwzględniający ocenę ich zalet i wad. Rozpatrzono zarówno indywidualne jak i zespołowe procedury podejmowania takich decyzji. Zasygnalizowano możliwości występowania nierozstrzygalnych sytuacji, które wymagają mądrych ludzkich działań. Sprowadzają się one do wyboru właściwej...
-
Impact of Shifting Time-Window Post-Processing on the Quality of Face Detection Algorithms
PublicationWe consider binary classification algorithms, which operate on single frames from video sequences. Such a class of algorithms is named OFA (One Frame Analyzed). Two such algorithms for facial detection are compared in terms of their susceptibility to the FSA (Frame Sequence Analysis) method. It introduces a shifting time-window improvement, which includes the temporal context of frames in a post-processing step that improves the...
-
Improving methods for detecting people in video recordings using shifting time-windows
PublicationWe propose a novel method for improving algorithms which detect the presence of people in video sequences. Our focus is on algorithms for applications which require reporting and analyzing all scenes with detected people in long recordings. Therefore one of the target qualities of the classification result is its stability, understood as a low number of invalid scene boundaries. Many existing methods process images in the recording...
-
Mashup Approaches for Improving Service Oriented Business Scenarios
PublicationTwo kinds of business scenarios are considered: application- and service-oriented. It is shown that the former are more flexible and easier reconfigurable for both traditional (human-oriented) and IT services. Moreover, complex IT services can be created by simple IT services using the modern mashup technology. It is the reason why such business scenarios can be modeled by BPMN in much easier ways. A simple example of a supply...
-
Mobile devices and computing cloud resources allocation for interactive applications
PublicationUsing mobile devices such as smartphones or iPads for various interactive applications is currently very common. In the case of complex applications, e.g. chess games, the capabilities of these devices are insufficient to run the application in real time. One of the solutions is to use cloud computing. However, there is an optimization problem of mobile device and cloud resources allocation. An iterative heuristic algorithm for...
-
Multidisciplinary Open System Transferring Knowledge for R2B Development
PublicationDespite many efforts, there is still a serious problem in transferring knowledge from research to business. The problem is especially visible in Poland – the cooperation of R2B is ineffective. We are trying to solve this problem using some IT support. The manuscript presents some solutions developed at the Gdańsk University of Technology. In particular, the platform called “MOST Knowledge” is deeply described. Its layer architecture,...
-
Early detection of imminent threats in social relation graphs
PublicationWczesne wykrywanie zagrożeń i anomalii w sieciach społecznych jest dziś prawdziwym wyzwaniem. Ludzie w realnym świecie tworzą wiele złożonych relacji społecznych, które mogą być przedstawione za pomocą grafów, w których węzły reprezentują aktorów (pojedyncze osoby lub organizacje) a krawędzie wskazują na powiązania pomiędzy nimi. Analiza nieustannie zmieniających się relacji pomiędzy aktorami może wskazać konkretne nadciągające...
-
Document transformations for data processing in information systems
PublicationAtrykuł przedstawia podejście do automatyzacji transformacjidokumentów użytkownika bazujące na technologii XML. W artykuleprzedstawiony został system Endoscopy Recommender System.ERS wykorzystuje dedykowane transformacje XML Schema do Java, Java dodokumentów XML. Dzięki tym transformacjom procesy pobierania iprzechowywania danych zostały w pełni zautomatyzowane.Zaimplementowane podejście XML data binding umożliwia walidacjępodstawowych...
-
Detection methods of dynamic spammer's behavior
PublicationPoczta elektroniczna ze względu na swoją naturę jest bardzo podatna na zjawisko spamu. Oddzielanie spamu od dobrych wiadomości jest zadaniem żmudnym i pracochłonnym. Dlatego jest rzeczą istotną opracowanie skutecznej metody walki ze spamem uwzględniającej nie tylko aktualne metody działania spamerów, ale również wzięcie pod uwagę dynamicznych aspektów zmieniających się stale ich zachowań.Artykuł opisuje metodę klasyfikacji wiadomości...
-
Multimedia Applications for the Hearing Impaired.
PublicationJednym 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...
-
Application of Maximum-Length Sequences to impulse response measurement of hydroacoustic communications systems
PublicationThere is a growing interest in digital transmission of telemetry data on ultrasonic waves. The dependence of signal attenuation on squared frequency, specific to the hy-droacoustic systems, induces problems that do not exist in monochromatic, narrowband radio communications systems. For adapting the transmission parameters to current propagation conditions, a precise knowledge of instantaneous changes of channel performances is...
-
Interaktywne narzędzie wspierające prowadzenie projektów
PublicationOpisano podstawowe założenia metodyki zarządzania wymaganiami oraz jej wykorzystaniem w poszczególnych fazach projektów informatycznych. Przedstawiono zarówno wiele często spotykanych sytuacji i problemów mających miejsce w procesie budowania serwisów internetowych, jak i propozycje ich rozwiązań. Sformułowano wnioski i spostrzeżenia wynikające bezpośrednio z praktyki prowadzenia projektów komercyjnych zgodnie z zaproponowana metodyką.
-
A model of an Ontology Oriented Threat Detection System (OOTDS)
PublicationArtykuł omawia projekt zorientowanego na ontologię systemu wykrywania zagrożeń (OOTDS) dla środowiska opisywalnego przez ontologię Bayesowską pierwszego rzędu wyrażoną w języku PR-OWL. Zakłada się, że środowisko monitorowane jest przez zbiór czujników dostarczających nieustannie systemowi OOTDS zdarzenia odzwierciedlające zmiany środowiska, wyrażone w specyficzny dla czujników sposób. Dedykowane moduły obsługi zdarzeń konwertują...
-
Managing distributed architecture with Extendet WS-CDl
PublicationZaprezentowano problem wykorzystania języka WSCDL w warstwie zarzadzania usługami w architekturze systemu rozproszonego. Zaproponowano rozszerzenie modelu CDLExt uwzględniając istotne charakterystyki usług. Skoncentrowano się na zależności między usługami a innymi artyfaktami IT oraz określono atrybuty QoS wynikajace z tych zależności. Zaprezentowano implementację tego modelu oraz dalsze kierunki rozwoju CDLExt.
-
Rozpoznanie ról użytkowników usługi e-mail z wykorzystaniem metody opartej na ontologii
PublicationSieci społeczne jako struktury ukazujące społeczne powiązania pomiędzy osobami lub całymi organizacjami poddawane są często analizie w celu rozpoznania ról, jakie pełnią poszczególni aktorzy w danej sieci. Taka klasyfikacja ról odgrywanych przez aktorów może dostarczać wielu cennych informacji o danej sieci, gdyż daje nam całościowy obraz danej sieci pozwalając na zrozumienie, w jaki sposób sieć jest zorganizowana, i w jaki sposób...
-
Using UML/WS-CDL for modelling negotiation scenarios
PublicationW celu usprawnienia realizacji przedsięwzięć ludzkich w Internecie potrzebne jest zdefiniowanie reguł i procedur komunikacji pomiędzy uczestnikami. Scenariusze przedsięwzięć mogą być wyrażane w językach opisu choreografii. Artykuł prezentuje metodologię tworzenia scenariuszy w języku WS-CDL oraz wyniki eksperymentów polegających na przeprowadzeniu negocjacji w Internecie z wykorzystaniem różnych scenariuszy negocjacyjnych.
-
Praktyka inżynierska bezpośrednich połączeń wyrównwawczych i uziemnień odgromowych w typowych obiektach budowlanych.
PublicationWskazano ogólne zasady projektowania i wykonywania systemów bezpośrednich połączeń wyrównawczych i uziemień odgromowych w typowych obiektach budowlanych.
-
The correlation between impact energy and the meters of hardening of extra high strength steels for ship and offshore welded structures.
PublicationUdowodniono tezę, że można wyznaczyć wystarczająco dokładne dla praktyki projektowania i budowy konstrukcji okrętowych i oceanotechnicznych związki ilościowe odbiorczych właściwości mechanicznych i mikrostruktury blach grubych kategorii 420¸690 oraz ich złączy spawanych. Uzyskane w pracy związki mierników umocnienia (cementytem, roztworowe, wydzieleniowe, wymiarem ziarna ferrytu) z odbiorczymi właściwościami mechanicznymi (Rm,...
-
Influence of deformation velocity on mechanical properties of high strength structural steels.
PublicationW referacie przedstawiono wyniki badań własności mechanicznych stali wysokiej wytrzymałości przeznaczonych na spawane konstrukcje okrętowe w zależności od prędkości odkształcenia. Badania były prowadzone w Akademii Marynarki Wojennej oraz w Politechnice Gdańskiej przy współudziale Uniwersytetu Technicznego w Rostocku podczas opracowywania charakterystyk tych stali dla potrzeb polskiego przemysłu okrętowego. Uwzględnienie obciążeń...
-
Synergia i konwergencja podstawą rozwoju nowoczesnych technologii informacyjnych.
PublicationElektronika, telekomunikacja i informatyka są nowoczesnymi dyscyplinami nauki i techniki, które rozwijając się, w znacznej mierze niezależnie, wpływają na siebie wzajemnie, wprowadzając nowe, dodatkowe wartości (synergia) oraz kreując wspólną wizję świata cyfrowego (konwergencja i globalizacja). W pracy zaprezentowano zarówno stan rozwoju tych dyscyplin, jak i przyszłościową ich wizję. Zwrócono uwagę na nowe technologie elektroniczne,...
-
Pakiet oceny bezpieczeństwa systemów informacyjnych.
PublicationOpracowano koncepcję oceny bezpieczeństwa w skali 6-cio poziomowej, umożliwiającej lokalizację mechanizmów zabezpieczeń w różnych warstwach architektury systemu, a także różnych procedur reagowania w przypadku naruszenia bezpieczeństwa. Przedstawiono założenia logiki rozmytej oraz diagram przejść stanów, przydatne do badania reakcji systemu na tzw. testy penetracyjne. Podano architekturę symulatora środowiskowego do oceny różnych...
-
Modelling of mechanical properties of cooper alloys sand cast ship propellers.
PublicationBadania właściwości mechanicznych (Rm ,A5) stopów miedzi, stosowanych na pędniki okrętowe, w zależności od ich składu chemicznego i grubości odlewów piaskowych pozwalają na wyznaczenie równań regresji mających zastosowanie do prognozowania wytrzymałości statycznej na rozciąganie (Rm) i wydłużenia plastycznego (A5).Obliczenia wartości Rm i A5 dla wybranych odlewów piaskowych (mosiądz MM55, brązy BA93, BA2 i CMA1) wykazały, że opracowane...
-
Influence of Exception Handling on Distributed Applications.
PublicationW 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...
-
Semantic web services in L2L.
PublicationOgromnym problemem współpracy istniejących bibliotek cyfrowych w kontekście używanych protokołów jest albo ograniczenie funkcjonalności systemu albo łamanie istniejących standardów komunikacji powodując utratę możliwości kooperacji z wieloma systemami. Technologia semantycznych usług sieciowych może zmienić tę sytuację przez umożliwienie komunikacji z usługą bez wcześniejszej znajmości protokołu stosowanego przez bibliotekę. W...
-
Comparision principles for parabolic differential - functional initial - value problems.
PublicationBadamy paraboliczne równania z zależnością funkcyjną i podajemy kryteria jednoznaczności przy warunkach porównawczych typu Perrona i Lipschitza dla nieliniowej prawej strony. W przypadku gdy zależność funkcyjna dotyczy również pochodnej funkcji niewiadomej, to stosujemy nierówności typu Henry'ego.
-
Optimal programming of critical sections in modern network processors under performance requirements.
PublicationPrzegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.
-
SimMechanics package - some effective tool for pedagogical exercises in multibody dynamics.
PublicationW pracy skoncentrowano się na poszukiwaniach narzędzia przydatnego w procesie nauczania dynamiki układów wielomasowch. Proces ten, z natury dwuetapowy, wymaga aby klasyczne wykłady dla studentów poszerzyć o ćwiczenia komputerowe, pozwalające na samodzielne modelowanie wybranych układów. Wymaga to zastosowania oprogramowania łatwego do nauki i wykorzystania, w tym pozwalającego na szybkie modelowanie prostych mechanizmów i umożliwiającego...
-
Właściwości mechaniczne odlewniczych brązów niklowo-aluminiowych w zależności od grubości skrzydła śruby okrętowej
PublicationPodczas eksploatacji statku może zaistnieć konieczność naprawy śruby napędowej. W przypadku braku atestu skład chemiczny materiału nie jest znany. Sytuacja taka może być problemem znaczącym, gdyż technologia naprawy jest związana z materiałem śruby, ze względu na różne temperatury podgrzewania wstępnego dla różnych kategorii stopów miedzi. W takim wypadku istotne jest określenie właściwości mechanicznych na podstawie składu chemicznego...
-
Hierarchical approach to security monitoring and risk evaluation
PublicationPrzedstawiono problemy bezpieczeństwa sieciowego z uwzględnieiem metod szacowania i oceny bezpieczeństwa w skali lokalnej i globalnej. Podano przykłady analizy 3 systemów wraz z wnioskami oraz sugestie dotyczące trendów przyszłościowych.
-
The practical implementation of security models and strategies in an academic network infrastuctures
PublicationArtykuł prezentuje modele i strategie bezpieczeństwa dotyczące infrastruktury sieciowej. Rozważone zostały typowe zagrożenia oraz mechanizmy bezpieczeństwa sieci komputerowej. Wymienione zostały także różnice w polityce bezpieczeństwa pomiędzy komputerową siecią komercyjną a akademicką. Opisano proces analizy ryzyka dla akademickiej sieci komputerowej oraz wskazany został sposób oszacowania wymaganego poziomu bezpieczeństwa sieci.
-
Właściwości materiałów łożyskowych stosowanych w łożyskach ślizgowych okrętowych linii wałów.
PublicationOmówiono problematykę właściwości licznej grupy materiałów łożyskowych metalowych i niemetalowych, stosowanych w łożyskach ślizgowych okrętowych linii wałów. Określono wymagania dla tych materiałów oraz omówiono warunki pracy łożysk ślizgowych. Podano krótkie charakterystyki najczęściej stosowanych materiałów tzn. białych metali cynowych, białych metali ołowiowych, białych metali kadmowych, brązów, mosiądzów, stopów aluminium,...
-
Aplikacje rozproszone jako bazowe usługi w inteligentnej przestrzeni obliczeniowej
PublicationZaprezentowano 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.
-
Przewidywane kierunki rozwoju technologii utrzymania dróg szynowych z uwzględnieniem linii dużych prędkości. Materiały Ogólnopolskiej Konferencji Naukowo-Technicznej Nowoczesne Technologie i Systemy Usprawniające Zarządzanie w Transporcie Kolejowym.
PublicationOgraniczenie nakładów na utrzymanie przy jednoczesnym zapewnieniu wysokiej jakości drogi kolejowej wymaga minimalizowania ilości podbić realizowanych w ramach napraw interwencyjnych oraz doboru, odpowiednich do warunków Polskich Linii Kolejowych, maszyn torowych
-
Telemedycyna - czy może być interaktywna?
PublicationArtykuł zauważa ważną rolę i szybki rozwój telemedycyny. Obecnie aplikacje telemedyczne, stają się nawet jednym ze zwrotnych motorów napędowych przyśpieszających rozwój elektroniki i teleinformatyki. Wykorzystanie istniejącej technologii dla poprawy jakości życia społeczeństwa staje się w związku z tym zadaniem ważnym i pilnym. Nieliczne są wciąż jeszcze aplikacje interaktywne, tzn. takie, które zawierają elementy diagnostyki...
-
Interaktywne badania słuchu, wzroku i mowy
PublicationTelemedycyna jest jedną z najważniejszych i najszybciej rozwijających się technologii społeczeństwa informacyjnego. Pomimo dostępności wielu aplikacji, wciąż jeszcze brakuje aplikacji interaktywnych. W artykule zaprezentowano kilka przykładowych rozwiązań interaktywnych aplikacji telemedycznych, opartych na opracowaniach zrealizowanych w Katedrze Inżynierii Dźwięku i Obrazu PG.
-
Some integral transforms and their applications
PublicationMotywacją napisania pracy były równania różniczkowe cząstkowe z odchyleniem przy pochodnych. Ponieważ w tym przypadku nie funkcjonuje teoria charakterystyk, więc badamy nowe przekształcenia całkowe w celu znalezienia odpowiedniej aproksymacji jednostajnej lub średniokwadratowej dla zagadnienia Cauchy`ego. Przedstawiamy również eksperymenty numeryczne oparte na zmodyfikowanej metodzie Galerkina.
-
Informational entropy in simulation of one-dimensional random fields
PublicationEntropia ciągłego rozkładu prawdopodobieństwa jest zdefiniowana jako funkcja liczby węzłów skalarnego pola losowego. W przykładzie numerycznym przedstawiono propagacje entropii w zagadnieniu reakcji sprężystego wspornika przy losowym obciążeniu.
-
Digital document life cycle development
PublicationPrzedstawiono model DDLC wytwarzania interaktywnych dokumentów cyfrowych z ich pierwowzorów papierowych. Model DDLC opracowany w ramach 5 PR UE IST-2002-33441 MEMORIAL wyróżnia 6 faz i odpowiednie grupy funkcjonalności narzędzi do ich realizacji. Cykl wytwarzanie realizuje politykę całkowitej kontroli jakości, wykorzystującej specjalnie opracowaną metodę Visual GQM.
-
Visual GQM approach to quality driven development of electronic documents.
PublicationJednym z celów projektu europejskiego MEORIAL jest opracowanie nowej technologii wytwarzania webowych systemów informacyjnych wykorzystujących interaktywne dokumenty cyfrowe wytworzone z papierowych oryginałów z zastosowaniem zaawansowanych technik przetwarzania i rozpoznania obrazów. Wieloelementowy model cyklu życia dokumentu cyfrowego przedstawiony w artykule stanowi postawę opracowanej technologii.
-
Strategie obsługi wyjątków w aplikacjach rozproszonych.
PublicationRozpatrzono wykorzystanie mechanizmu obsługi wyjątków w systemach rozproszonych. Zaprezentowano różne strategie obsługi wyjątków dla różnych modeli przetwarzania i odpowiadającym ich środowisk programistycznych. Przyjęto nową koncepcję zdalnego odbiorcy wyjątków oraz zaprezentowano jego implementację przy wykorzystaniu biblioteki MPI oraz RMI.
-
Remote exception handling for PVM processes.
PublicationArtykuł przedstawia model lokalnej i zdalnej obsługi wyjątków w bibliotece PVM. Działający proces zostaje rozszerzony o możliwość zgłaszania zdalnych wyjątków do procesu nadrzędnego lub otrzymania akcji związanych z obsługą wyjątków. Przedstawiono wzorce obsługi wyjątków w aplikacjach rozproszonych oraz wprowadzono pojęcie Zdalnego Nadzorcy Wyjątków. Nadzorca może kontrolować każdy proces w maszynie wirtualnej (PVM).
-
Exception handling model influence factors for discributed systems. W: Proceedings. PPAM 2003. Parallel Processing and Applied Mathematics. 5th In- ternational Conference. Częstochowa, 7-10 September 2003.Model obsługi wyjątków uwzględniający wpływ czynników systemu rozproszonego.
PublicationSpecyfikacja programu jest jasno określona w systemach sekwencyjnych, gdzie posiada standardowe i wyjątkowe przejścia. Praca przedstawia rozszerzony model specyfikacji systemu w środowiskach rozproszonych uwzględniający szereg specyficznych czynników. Model zawiera analizę specyfikacji pod kątem obsługi wyjątków dla rozproszonych danych oraz komunikacji międzyprocesorowej. Ogólny model został zaimplementowany w środowisku...