Filtry
wszystkich: 1425
-
Katalog
- Publikacje 1188 wyników po odfiltrowaniu
- Czasopisma 2 wyników po odfiltrowaniu
- Osoby 92 wyników po odfiltrowaniu
- Projekty 22 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Kursy Online 95 wyników po odfiltrowaniu
- Wydarzenia 16 wyników po odfiltrowaniu
- Dane Badawcze 3 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: klasy uslug
-
Ekonomiczne Problemy Usług
Czasopisma -
Wdrażanie systemu informatycznego klasy ERP
PublikacjaWobec wysokiej złożoności oraz kosztów wdrożenia systemu klasy ERP rodzio się pytanie-co robić, aby minimalizować ryzyka niepowodzenia? Nie ma w tym zakresie jednego kanonu postępowania, a firmy informatyczne prześcigają sie w przedstawianiu bogatych ofert. Autorzy artykułu, wykorzystując swoje doświadczenia praktyczne, przedstawili, w podziale na poszczególne fazy cyklu zycia projektu, pewne wskazówki w tym zakresie.
-
Długoczasowa niezawodność detektorów klasy S.
PublikacjaDetektory alarmowe klasy S mają możliwość dopasowywania się do pracy w zmiennych warunkach oraz układy do samokontroli sprawności. Przedstawiono podwójnie i potrójnie zbalansowane detektory magnetyczne, detektory wibracji oraz kontaktowe i bezkontaktowe detektory stłuczenia szyby. Omówiono podstawowe parametry decydujące o niezawodności detektorów. Omówiono nowe elementy w architekturze detektorów wpływające na ich niezawodnośc...
-
Optymalizacja równoważenia obciążeń w systemach klasy grid
PublikacjaZaprezentowano techniki równoważenia obciążeń testowane w systemie rozproszonym Comcute o architekturze typu grid. Omówiono niezbędne uwarunkowania środowiska prowadzenia obliczeń w zestawie laboratoryjnym Politechniki Gdańskiej, a także odniesiono się do kryteriów kierunkujących równoważenie obciążeń. Przedstawiono wielopoziomową metodę równoważenia obciążeń.
-
Baza doświadczeń w oparciu o system klasy workflow
PublikacjaW pracy przedstawiono koncepcję bazy wiedzy opartej na doświadczeniach gromadzonych w systemie zarządzania zwanym WORKFLOW.
-
Kontrolki ActiveX - Projektowanie kontrolek ActiveX wykorzystujących klasy MFC
PublikacjaPrzedstawiono środowisko edycyjne MFC ActiveX ControlWizard do projektowania komponentów ActiveX. Opisano zasady wizualizacji kontrolek, metody przekazywania właściwości do kontrolek oraz podano instruktaż pisania własnych funkcji i procedur obsługi zdarzeń w ramach komponentu ActiveX. Wszystkie etapy projektowania zilustrowano przykładami.
-
Zintegrowany System Informatyczny Klasy ERP - planowanie zasobów przedsiębiorstwa.
Publikacja...
-
Zarządzanie wiedzą-podejmowanie decyzji w systemie klasy 'workflow'
PublikacjaOmowiono propblemy zarzadzania wiedza oraz zaproponowano model wspomagania tym zarzadzaniem w systemach opratych na przeplywach 'workflow'.
-
NUMERYCZNY MODEL OBLICZENIOWY OBIEGU TURBINY KLASY 300 MW
PublikacjaNiniejszy artykuł stanowi opis modelu obiegu cieplnego turbiny o mocy 360MW, utworzonego w preprocesorze numerycznego programu obliczeniowego onazwie DIAGAR. Zadaniem opisywanego modelu jest odtwarzanie zjawisk fizycznych zachodzących w poszczególnych urządzeniach składowych obiegu, zarówno podczas poprawnej (sprawnej) pracy bloku energetycznego, jak i w przypadku pojawienia się niesprawności. Utworzony...
-
Ocena jakości życia wschodzącej klasy wyższej w Polsce
PublikacjaW pracy zastosowano dwa modele teoretyczne do oceny jakości życia wschodzącej klasy wyższej w Polsce. Jakość życia wyrażono za pomocą wskaźnikowej zmiennej „zadowolenie z życia” na 5-stopniowej skali Likerta. Model pierwszy zakłada ciągły charakter pomiaru wyników skali Likerta i wykorzystuje ortogonalną regresję epsilon. Model drugi respektuje porządkowy pomiar skali Likerta i korzysta z porządkowej regresji logistycznej. Dane...
-
Wybrane rozwiązania występujące w architekturach systemów rozproszonych klasy grid
PublikacjaOpisano wybrane rozwiązania występujące w architekturach systemów rozproszonych klasy grid. Odniesiono się do zapewnienia przezroczystości, a także do możliwości zarządzania i kontroli wykorzystania zasobów. Omówiono zasady optymalizacji zarządzania takimi systemami.
-
Kwasy nukleinowe - niedoceniane składniki żywności
PublikacjaObecnie badania nad kwasami nukleinowymi koncentrują się na roli genetycznej tych makromolekuł. Można jednak przypuszczać, że DNA jak i RNA powszechnie występujące w żywności mają także ważne znaczenie żywieniowe. Świadczy o tym obecność w układzie pokarmowym szeregu mechanizmów odpowiedzialnych za detekcję, trawienie i przyswajanie tych składników pokarmu. W literaturze naukowej rośnie liczba doniesień sugerujących istotną rolę...
-
Generatory labiryntów: modyfikacje algorytmu komórkowego i analiza właściwości generowanej klasy
PublikacjaWyróżniamy trzy podstawowe algorytmy generujące labirynty, których grafowa reprezentacja ma postać drzew: błądzenia losowego, budowania ścian i komórkowy[1]. W pracy przedstawione zostaną modyfikacje algorytmu komórkowego, które potrafią wygenerować tę samą klasę labiryntów, co podstawowa wersja algorytmu, przy jednoczesnej zmianie parametrów opisujących ich wygląd (preferencja kierunku wyjścia, średnia liczba wyjść z pokoju, średnia...
-
Wykorzystanie sprzętu komputerowego klasy SOHO do modelowania złożonych rozwiązań sieciowych
PublikacjaW artykule dokonano oceny możliwosci modelowania złożonych rozwiązań sieciowych, za pomocą modyfikacji otwartoźródłowego sterownika tanich kart ethernetowych. Zaproponowano wykorzystanie koncepcji interfejsów logicznych, znakowania ramek z uzyciem pola Tag standardu IEEE 802.1Q - VLAN oraz wielu pierscieniami DMA do priorytetyzowania klas ruchu. Techniki te, w połaczeniu z implemtacja w sterowniku odpowiednich algorytmów, umożliwiają...
-
Techniki audytowania zabezpieczeń sieci bezprzewodowej z wykorzystaniem systemów klasy grid
PublikacjaZaprezentowano efektywne zasady weryfikacji zabezpieczeń sieci bezprzewodowych z wykorzystaniem oprogramowania Back/Track w dystrybucji systemu Linux. Omówiono algorytmy RC4, MIC i AES, które wspierają techniki zabezpieczeń WEP, WPA i WPA2 wchodzące w skład protokołu IEEW 802.11. Zamieszczano także opis wykorzystania systemu rozproszonego Comcute o architekturze typu grid do prowadzenia audytu bezprzewodowej sieci.
-
Kryteria wspomagające dobór kombinowanych układów napędowych okrętów klasy korweta i fregata.
PublikacjaPodano kryteria wspomagające dobór kombinowanych układów napędowych okrętów klasy korweta i fregata. Scharakteryzowano podstawowe układy napędowe oraz powiązano ich dobór z innymi wymaganiami konstrukcyjnymi, taktycznymi i ekonomicznymi. Opisano wybrane relacje ''zysk-koszt'' w obszarze przyjmowanych rozwiązań.
-
Techniki rozszerzonej rzeczywistości i ich zastosowanie w systemach klasy dual-use.PREPRINT
PublikacjaW pracy przedstawiono ogólną koncepcję systemów rozszerzonej rzeczywistości i technik łączących w sobie elementy świata realnego oraz tzw. rzeczywistości wirtualnej. W sposób szczególny praca została poświęcona wyświetlaczom holograficznym 3D, które mogą znaleźć szerokie zastosowanie m.in. w systemach klasy dual-use. W artykule wskazano także kilka przykładów praktycznych zastosowań wielodotykowego wyświetlacza holograficznego...
-
Wpływ parametrów technologicznych nagniatania tocznego na chropowatość powierzchni części klasy wałek
PublikacjaW artykule zamieszczono wyniki badań wpływu nagniatania tocznego na chropowatość powierzchni wałków ze stali C45. Badania przeprowadzono na serii próbek o średnicy 56 mm na tokarce CNC z użyciem nagniataka z tensometrycznym pomiarem siły nagniatanej podczas obróbki.
-
Zastosowanie systemów informatycznych klasy CRM w procesach zarządzania relacjami z klientami
PublikacjaPrzedstawiono znaczenie i rolę systemów informatycznych w procesie zarządzania nowoczesną jednostką organizacyjną. Zaprezentowano cykl rozwojowy systemów zarządzania w dobie ciągłego zapotrzebowania na informację. Pokazano rozwój narzędzi informatycznych wspierających rozwój i funkcjonowanie przedsiębiorstw. Określono pojęcie procesu biznesowego. W szczególności zwrócono uwagę na systemy typu CRM (Customer Relationship Management)...
-
Efektywne zrównoleglanie obliczeń w systemie klasy grid na przykładzie hipotezy Collatza
PublikacjaZaprezentowano problem Collatza oraz sposób jego adaptacji, pozwalający na realizację obliczeń w systemie typu grid. Zidentyfikowano również pożądane cechy problemów obliczeniowych, dzięki którym mogą one zostać zrównoleglone w sposób efektywny w systemach typu grid i porównano je z cechami zadań realizowanych typowo przy użyciu klastrów obliczeniowych.
-
Wspomaganie procesu decyzyjnego doboru i wdrożenia systemu informatycznego klasy ERP w przedsiębiorstwie
PublikacjaW artykule opisano próbę opracowania metody analizy stosowanej w procesie wspomagania decyzji o rozpoczęciu prac nad doborem i wdrożeniem systemu klasy ERP w przedsiębiorstwie. Istotnym elementem prezentowanej metody jest uwzględnienie opinii użytkowników systemu obecnie wykorzystywanego w procesie podejmowania decyzji.
-
Ocena możliwości emulacji protokołu RPR na sprzęcie klasy SOHO i systemie Linux
PublikacjaW pracy dokonano oceny możliwości realizacji protokołu RPR (Resilient Packet Ring - IEEE 802.17) na sprzęcie klasy SOHO i systemie Linux. Przedstawiono wytworzony na Politechnice Gdańskiej naukowo-dydaktyczny emulator stacji RPR zgodny z wersją 3.0 standardu. Funkcjonalność emulatora skupiono na algorytmach sprawiedliwości podziału pasma. Opisano sposób rozwiązania najważniejszych problemów związanych z implementacją, a w szczególności...
-
Wpływ napięcia takielunku na odkształcenia kadłuba jachtu regatowego na przykładzie jednostki klasy Omega
PublikacjaPrzedstawiono problem deformacji kadłuba pod wpływem sił generowanych przez takielunekj, w kontekście przepisów klasowych oraz pożądanych i niepożądanych własności konstrukcyjnych kadłuba.
-
The circular chromatic index of some class 2 graphs
PublikacjaW artykule został wyznaczony cyrkularny indeks chromatyczny dla dwóch rodzin grafów klasy 2. Co więcej, podano nie trywialne oszacowania tego parametru dla snarków Isaacsa i Goldberga. Na koniec artykułu rozważana jest złożoność obliczeniowa problemów związanych z cyrkularnym kolorowaniem krawędzi.
-
Kwasy nukleinowe w żywności występowanie i właściwości reologiczne
PublikacjaW naukach o żywieniu kwasy nukleinowe uznawane były dotychczas za mało istotny składnik żywności. Ich właściwości odżywcze nie są uwzględniane przy formułowaniu zaleceń żywieniowych, mimo że należą do podstawowych składników żywności, zwłaszcza surowej lub nisko przetworzonej. Są one obecne głównie w szybko rosnących komórkach tkanek oraz tych, które zachowały zdolność do wzrostu i regeneracji. W niniejszej pracy przedstawiono...
-
Komputerowe wspomaganie zarządzania jakością w systemach klasy MRP/ERP z uwzględnieniem specyfiki sektora MŚP
PublikacjaW opracowaniu przedstawiono koncepcje integracji komputerowych aplikacji wspomagających zarządzanie jakością z systemami klasy MRP/ERP. W rezultacie przeprowadzonej analizy dotyczącej genezy i zastosowań modułów wspierających zarządzanie jakością w systemach zintegrowanych sformułowano wnioski dotyczące funkcjonalności tych systemów zarządzania oraz ich możliwości aplikacyjnych w sektorze MŚP.
-
Aktywność biologiczna i selektywna toksyczność nowej klasy N-podstawionych pochodnych antybiotyku polienowego Nystatyny A1
PublikacjaCelem badań, których wyniki zaprezentowano w niniejszej pracy było określenie aktywności biologicznej nowej klasy N–podstawionych pochodnych Nystatyny A1 w stosunku do komórek grzybowych z rodzaju i ssaczych oraz ustalenie wpływu modyfikacji chemicznej na selektywną toksyczność tych związków. W toku wieloletnich prac badawczych zaproponowano, że wprowadzenie podstawnika na grupie aminowej cząsteczki antybiotyku o charakterze objętościowym...
-
AKTYWNOŚĆ BIOLOGICZNA I SELEKTYWNA TOKSYCZNOŚĆ NOWEJ KLASY N–PODSTAWIONYCH POCHODNYCH ANTYBIOTYKU POLIENOWEGO NYSTATYNY A1
PublikacjaCelem badań, których wyniki zaprezentowano w niniejszej pracy było określenie aktywności biologicznej nowej klasy N–podstawionych pochodnych Nystatyny A1 w stosunku do komórek grzybowych z rodzaju i ssaczych oraz ustalenie wpływu modyfikacji chemicznej na selektywną toksyczność tych związków. W toku wieloletnich prac badawczych zaproponowano, że wprowadzenie podstawnika na grupie aminowej cząsteczki antybiotyku o charakterze objętościowym...
-
Liczby Ramseya on-line dla różnych klas grafów
PublikacjaRozpatrujemy grę rozgrywaną na nieskończonej liczbie wierzchołków, w której każda runda polega na wskazaniu krawędzi przez jednego gracza - Budowniczego oraz pokolorowaniu jej przez drugiego gracza - Malarkę na jeden z dwóch kolorów, czerwony lub niebieski. Celem Budowniczego jest zmuszenie Malarki do stworzenia monochromatycznej kopii wcześniej ustalonego grafu H w jak najmniejszej możliwej liczbie ruchów. Zakładamy, że gracze...
-
Optymalne pokolorowania średnicowe dla wybranych klas grafów
PublikacjaW pracy opisano wybrane właściwości szczególnego przypadku radiowego kolorowania grafów, zwanego kolorowaniem średnicowym. Podano zasadę działania algorytmu optymalnego kolorowania średnicowego i oszacowania liczby średnicowej grafu w przypadku ogólnym oraz dla ścieżek i cykli. Korzystając z podanego algorytmu, znaleziono dokładne wartości liczby średnicowej dla ścieżek i cykli niewielkiej długości, co pozwoliło na obalenie wcześniej...
-
Homoclinic solutions for nonautonomous second order Hamiltonian
PublikacjaW pracy dowodzi się istnienia rozwiązań homoklinicznych dla pewnych typów równań różniczkowych zwyczajnych drugiego rzędu typu hamiltonowskiego.
-
Rozwój repozytorium usług
PublikacjaW rozdziale zdefiniowano pojęcie usług złożonych realizowanych przez platformę KASKADA, przedstawiono ich konstrukcję wraz ze sposobem zapisu do formatu XML oraz zaprezentowano edytor z graficznym interfejsem użytkownika służący do ich łatwego tworzenia i modyfikowania. Jednocześnie opisano algorytm doboru parametrów usług prostych w celu realizacji usług złożonych na podstawie określonych przez użytkownika kryteriów jakościowych.
-
Wyszukiwanie usług UDDI.
PublikacjaPrzedstawiono podstawowe technologie usług WWW oraz omówiono interakcje pomiędzy tymi technologiami. Zaprezentowano metody wyszukiwania usług w rejestrach UDDI. Uwzględniono struktury danych oraz funkcje API wykorzystywane podczas komunikowania się z rejestrem
-
Innowacyjność marketingu usług.
PublikacjaArtykuł dotyczy innowacyjności usług. Omówiono pojęcie innowacji i jej rodzaje. Scharakteryzowano istotę marketingu usług. Wyjaśniono specyfikę innowacji usług. W ostatniej części przedstawiono system marketingu usług w kontekście innowacji.
-
Systemy Wspomagania Zarządzania Należnościami (DRMS) jako nowa klasa systemów informatycznych
PublikacjaW polskim obrocie gospodarczym powszechnym zjawiskiem stało się niepłacenie przez dłużników swoich zobowiązań. Dla wierzyciela kluczowym procesem biznesowym staje się zarządzanie swoimi należnościami, od skuteczności którego zależy niejednokrotnie utrzymanie przezeń płynności finansowej. By zarządzanie owo było efektywne, niezbędny jest stały monitoring wielu informacji w firmie - począwszy od analizy kwot i dat wymagalności faktur,...
-
Rozwój infrastruktury usług telemedycznych
PublikacjaOmówiono pojęcie i krótką historię usług telemedycznych. Przedstawiono stan rozwoju infrastruktury informatycznej nauki z punktu widzenia usług telemedycznych.
-
Podziały i klasyfikacje usług
PublikacjaW rozdziale drugim podręcznika przedstawiono podziały i klasyfikacje usłg. Tematykę tę omówiono w czterech następujących podrozdziałach: przegląd podziałów i klasyfikacji usług, rodzaje działalności usługowej według Polskiej Klasyfikacji Działalności (PKD), klasyfikacja usług według Polskiej Klasyfikacji Wyrobów i Usług (PKWiU), zastosowanie PKWiU i PKD w działalności marketingowej przedsiębiorstw usługowych.
-
Kierunki rozwoju marketingu usług.
PublikacjaW pracy przedstawiono wpływ megatrendów na rozwój marketingu usług w latach 70-tych pojawił się branżowy marketing usług (np. bankowy, turystyczny, medyczny), w roku 1975 - marketing usług profesjonalistycznych, w latach 80 tych- sektoralny marketing usług, zaś w 1985 - marketing relacji. Przedmiotem rozważań jest charakterystyka w/w rodzajów marketingu usług.
-
Rozproszona dostawa usług systemowych
PublikacjaJednym z wyzwań technicznych i organizacyjnych przed jakimi stanął system elektroenergetyczny w uwarunkowaniach rynkowych jest zorganizowanie rynku systemowych usług regulacyjnych. Rosnący udział rozproszonych, niespokojnych źródeł wytwarzania energii oraz zmiana rynkowej pozycji odbiorców, powodują zapotrzebowanie na rozproszone dostarczanie usług regulacyjnych. W tym celu poszukuje się możliwości wykorzystania zdolności do działań...
-
Rozproszona dostawa usług systemowych
PublikacjaRosnący udział rozproszonych, niespokojnych źródeł wytwarzania energii oraz zmiana rynkowej pozycji odbiorców, powodują zapotrzebowanie na rozproszone dostarczanie usług regulacyjnych. W tym celu poszukuje się możliwości wykorzystania zdolności do działań regulacyjnych: rozproszonych wytwórców, odbiorców, prosumentów lub układów wykorzystujących zasobniki energii. Za najważniejsze próby, omówione w referacie, należy uznać: - rozwiązania...
-
Wybór operatora usług VOIP
PublikacjaW pracy przedstawiono propozycje algorytmu wyboru operatora VoIP, zapewniającego w danym momencie realizację połączenia o najlepszej jakości. Weryfikacja jakości realizowanego połączenia została dokonana metodami subiektywnymi. Zaproponowane 2 metody wyboru najlepszego operatora wykorzystują: pomiar maksymalnego opóźnienia przechodzenia danych z/do operatora (w oparciu o usługę PING) oraz pomiar czasu trwania zestawiania połączenia...
-
Detrminanty jakości usług edukacyjnych
PublikacjaW nieniejszym opracowaniu autorzy podjęli próbę identyfikacji kluczowych determinant jakości usłuigi edukacyjnej z punktu widzenia klasycznego modelu zarządzania operacyjnego. Wyróżniono determinanty obszaru wejścia, działań operacyjnych, jak i wyjścia, ułatwiające dalsze badania w kierunku bardziej szczególowej oceny jakości usługi edukacyjnej. W trakcie analizy zwrócono uwagę na obszar zasobów ludzkich, w tym przede wszystkim...
-
Analiza bezpieczeństwa scenariuszy usług
PublikacjaPrzedstawiono krótki opis architektury przetwarzania skierowanego na usługi. Omówiono problemy zabezpieczania na poziomie komunikujących sie komputerów, wymiany komunikatów SOAP oraz realizacji złożonych, interaktywnych scenariuszy Web Services. Porównano standardy bezpieczeństwa dotyczące Web Services.
-
The influence of variants of finishing machining on scheduling of shaft components manufacturing
PublikacjaIn the paper variants of technological processes were presented to the study for piston rods and rams of hydraulic cylinders taking issues into consideration scheduling of course of the production in flexible manufacturing cell. At the carried study an attempt of the estimation of the influence of technological variants on the effectiveness to manufacture the flexible manufacturing system on the basis of preliminary schedules of...
-
Analiza danych osobowych przetwarzanych w systemach telekomunikacyjnych klasy IP PBX oraz metod ich anonimizacji za pomocą systemów SBC
PublikacjaOpisano wyniki realizacji pracy, dotyczącej analizy systemu telekomunikacyjnego, opartego na technologii VoIP, pod względem wymagań prawnych powstałych wraz z wejściem w życie przepisów Ogólnego Rozporządzenia o Ochronie Danych Osobowych (RODO). Przedstawiono wyniki analizy przykładowego systemu IP PBX Asterisk oraz wykorzystywanego w nim protokołu sygnalizacyjnego SIP, w kontekście przetwarzania danych osobowych, a także metody...
-
Automatyczna adaptacja usług sieciowych do usług systemu Be-esyCluster na potrzeby realizacji rozproszonych scenariuszy
PublikacjaRozdział przedstawia adaptację tradycyjnych usług sieciowych (ang. Web Services) do usług platformy BeesyCluster. Pozwalato na ich wykorzystanie w module zarządzania rozproszonymi scenariuszami usług, w tym: modelowaniu scenariuszy, automatycznym doborzeusług oraz wykonaniu. Przedstawiono także rozszerzenia opisu usług związane ze strumieniowym przetwarzaniem danych, ograniczeniami na dane, wyszukiwaniem zasobów do wykonania usług...
-
Umiędzynarodowienie usług Biblioteki Politechniki Gdańskiej
PublikacjaJednym z kluczowych celów realizowanych przez Bibliotekę Politechniki Gdańskiej jest wspomaganie procesu internacjonalizacji prowadzonego na Politechnice Gdańskiej, także w kontekście ob-sługi studentów zagranicznych. W tekście omówiono historyczny kontekst mobilności edukacyjnej w Europie, przedstawiono dane statystyczne dotyczące studentów zagranicznych w świecie i w Polsce oraz ukazano, jak na tle przedstawionych danych wygląda...
-
Koncepcja systemu marketingu usług edukacyjnych.
PublikacjaW opracowaniu zastosowano ujęcie systemowe do przedstawienia funkcjonowania marketingu w szkole wyższej na przykładzie studium podyplomowego.
-
Język opisu usług sieciowych WSDL.
PublikacjaNiniejszy rozdział opisuje WSDL - język opisu usług sieciowych. Rozdział zawiera wprowadzenie w tematykę usług sieciowych (Web Services), również w odniesieniu do innych technologii przetwarzania rozproszonego jak CORBA, RMI. W szczególności przedstawiono podobieństwa i różnice w opisie metod udostępnianych do wywołania klientowi w WSDL oraz IDL. Elementy standardu WSDL omówiono na przykładzie usługi sieciowej do zdalnego uruchomienia...
-
Ontologia usług sieciowych OWL-S.
PublikacjaRozwijająca się dziedzina agentów i usług sieciowych dojrzała do wypracowania standardów zapewniających wspólny sposób opisu, wywoływania i nadzoru wykonania tych serwisów. Propozycja takiego standardu jest opisywana w rozdziale ontologia OWL-S, bazująca na założeniach sieci sematycznej i będąca rozwinięciem oraz uporządkowaniem wcześniejszej propozycji znanej pod nazwą DAML+OIL oraz DAML-S.