Filtry
wszystkich: 6042
wybranych: 5080
-
Katalog
- Publikacje 5080 wyników po odfiltrowaniu
- Czasopisma 355 wyników po odfiltrowaniu
- Konferencje 7 wyników po odfiltrowaniu
- Osoby 54 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Kursy Online 54 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 482 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: CONFORMANCE CASE
-
Comparative conformance cases for monitoring multiple implementations of critical requirements
PublikacjaThe paper presents the concept and the mechanism of comparative conformance cases which support conformance monitoring in situations where a standard or other set of requirements are being implemented at multiple sites. The mechanism is enabled by NOR-STA services which implement the TRUST-IT methodology and are deployed in the cloud in accordance with the SaaS model. In the paper we introduce the concept of comparative conformance...
-
Conformance testing of parallel languages
PublikacjaPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Validation of Services Supporting Healthcare Standards Conformance
PublikacjaThe paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...
-
Testing for conformance of parallel programming pattern languages
PublikacjaThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublikacjaArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...
-
Contextualizing a Knowledge Base by Approximation – A Case Study
PublikacjaModular knowledge bases give their users opportunity to store and access knowledge at different levels of generality. In this paper we present how to organize a modular knowledge bases organized into contexts in which a user can express their knowledge in much simplified way, yet without losing its precision. The work is centered around the notion of approximation - i.e. reducing the arity of predicates used. The presentation is...
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublikacjaArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublikacjaRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Robots for Elderly Care: Review, Multi-Criteria Optimization Model and Qualitative Case Study
Publikacja -
EXTREME RAINFALLS AS A CAUSE OF URBAN FLASH FLOODS; A CASE STUDY OF THE ERBIL-KURDISTAN REGION OF IRAQ
PublikacjaAim of the study The current paper aims to give a detailed evaluation and analysis of some extreme rainfall events that happened in the last decade in terms of spatial and temporal rainfall distribution, intensity rate, and exceedance probability. Moreover, it examines the effects of each analysed aspect on the resulting flash floods in the studied area. Material and methods In their glossary of meteorology, American Meteorology...
-
Trust case - a case for trustworthiness of IT infrastructures
PublikacjaArtykuł prezentuje podejście do budowy argumentów (trust case) uzasadniających zaufanie do systemów i infrastruktur IT. Wprowadza system pojęć związanych ze strukturą i treścią trust case, identyfikuje udziałowców trust case oraz dyskutuje możliwość wsparcia narzędziowego procesu zarządzanie trust case. Omawia równiez krótko dotychczasowe zastosowania tego podejścia.
-
Supporting compliance with safety standards by trust case templates
PublikacjaStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
The role of stakeholders on rejection of bankruptcy applications in the case of “poverty” of the estate: A Polish case study
PublikacjaThe aim of this article is to supplement the Law and Economics area of science with regard to the scope of the ex ante effectiveness of bankruptcy law using the example of Poland. Bankruptcy law is effective in the ex ante stage when it eliminates from the market insolvent entrepreneurs who cannot even afford to cover the costs of bankruptcy proceedings. In these cases, the bankruptcy court should dismiss the petition for bankruptcy...
-
Acquired haemophilia A: a case report
Publikacja -
The limit case of a domination property
PublikacjaPraca dotyczy dolnego ograniczenia liczby dominowania w grafach, ze względu na ilość wierzchołków oraz największą liczbę liści w drzewie spinającym.
-
AUTOMATISM"AN INTERESTING CASE REPORT.
Publikacja -
"AUTOMATISM"AN INTERESTING CASE REPORT.
Publikacja -
An Approach to Trust Case Development
PublikacjaIn the paper we present an approach to the architectural trust case development for DRIVE, the IT infrastructure supporting the processes of drugs distribution and application. The objectives of DRIVE included safer and cheaper drugs distribution and application. A trust case represents an argument supporting the trustworthiness of the system. It is decomposed into claims that postulate some trust related properties. Claims differ...
-
Środowiska wspierające (narzędzia CASE)
PublikacjaPraca omawia współczesne środowiska i narzędzia CASE, wspierające procesywytwórcze. Część omówienia poświęcona jest narzędziom wspomagającym tworze-nie oprogramowania równoległego i wspomagającym zrównoleglanie programów se-kwencyjnych.
-
The phenomenon of rurality: the case of Poland
PublikacjaWieś była przez stulecia źródłem kultury polskiej. Wojny światowe i okres komunistycznego totalitaryzmu przyniosły ogromne straty w dziedzictwie kulturowym wsi. Transformacja ustrojowa i skrajny liberalizm gospodarki przestrzennej powodują dalszą degradację tego dziedzictwa. Podstawowe problemy ochrony dziedzictwa kulturowego wsi to słabość przepisów prawnych, zanik tożsamości kulturowej wsi, brak strategii kształtowania krajobrazu...
-
Hedging with derivatives - Case of Polish market
PublikacjaThis paper attempts to show the ways of reaching the competitive advantage by hedging with derivatives in Poland. It shows the results of investigation of 50 Polish companies and comparison to the situation in high developed countries. Through broad review of relevant literature, the authors presented the correlation between hedging and competitive advantage. Moreover, paper shows the reasons, of differences between Poland and...
-
Shadowing is generic---a continuous map case
Publikacja -
Internet Gaming Disorder: A Case Report.
Publikacja -
Interictal Psychosis- a case of Psychosis of Epilepsy
Publikacja -
Alien Abductions: A Case of Sleep Paralysis
Publikacja -
Islamophobia without Muslims? The Case of Poland
Publikacja -
Problems of Railway Noise-A Case Study
PublikacjaUnder Directive 2002/49/EC relating to the assessment and management of environmental noise, all European countries are obliged to model their environmental noise levels in heavily populated areas. Some countries have their own national method, to predict noise but most have not created one yet. The recommendation for countries that do not have their own model is to use an interim method. The Dutch SRM II scheme is suggested for...
-
Problems of Railway Noise—A Case Study
PublikacjaUnder Directive 2002/49/EC relating to the assessment and management of environmental noise, all European countries are obliged to model their environmental noise levels in heavily populated areas. Some countries have their own national method, to predict noise but most have not created one yet. The recommendation for countries that do not have their own model is to use an interim method....
-
Usprawnienie procesu produkcyjnego - case study
PublikacjaCelem artykułu jest przedstawienie koncepcji usprawnienia procesu obróbki wstępnej oraz produkcji dzemu poprzez zakup i wprowadzenie odszypułczarki. Nowa maszyna pozwoli na likwidację wąskiego gardła w produckji, dzięki czemu wzrośnie dzienna wielkość produkcji.
-
Assurance Case Patterns On-line Catalogue
PublikacjaAssurance case is an evidence-based argument demonstrating that a given property of a system (e.g. safety, security) is assured. Assurance cases are developed for high integrity systems, as in many industry domains such argu-ment is explicitly required by regulations. Despite the fact that each assurance case is unique, several reusable argument patterns have been identified and pub-lished. This paper reports work on development...
-
LATE ONSET PSYCHOSIS – A CASE REPORT
Publikacja -
Trust Case: justifying trust in an IT solution
PublikacjaW artykule prezentujemy podejście wykorzystane przy budowie dowodu zaufania (ang. trust case) do DRIVE, infrastruktury informatycznej wspomagającej dystrybucję i podawanie leków. Cele DRIVE obejmowały bezpieczniejszą i mniej kosztowną dystrybucję leków. Dowód zaufania reprezentuje argumentację przemawiającą za tym, że DRIVE jest godne zaufania. Składa się on z żądań (ang. claims) postulujących pewne związane z zaufaniem własności...
-
Clozapine Induced Myocarditis: a case report
Publikacja -
Architectural Symbols of a City – Case Study
PublikacjaThe identity of a city is understood as a collection of individual features, which give the city its individual character and distinguish it from other places; it undoubtedly constitutes a cultural value, which should be cherished. In the case of Sopot – a spa located on the Bay of Gdansk, the mosaic of its geographical location, landscape values, urban layout and historic architecture has created a unique image of a seaside resort....
-
The need for linear revitalization. Gdynia case
PublikacjaThe aim of the article is to discuss the need of defining and implementation of the linear revitalization - the new approach related to the revitalization processes. The results of the preliminary investigations indicate that this kind of revitalization seems to be an important tool supporting city management and planning, especially in cases of cities fragmentation - causing lack of physical, social, economic and ecological cohesion....
-
THE CASE OF MANAGEMENT CONCEPTS IN CIVIL AVIATION BUSINESS.
PublikacjaThe article presents the changes in management concepts used in civil aviation business in last 25 years. There is a need to make prognosis and support decision-making processes with different models but each model is adapted to current management concept. This article will present the changes and possible future trends in management concepts with the description of strengths and weaknesses of each of them. These might be used...
-
Lighting design for urban revitalization. The case of Poland
PublikacjaThis paper reflects on the basic research done in the area of public lighting in regard to revitalization processes. The general purpose of this scientific paper is to research a role of an implementation of public lighting design within revitalization frameworks. Referring to a wide spectrum of academic publications, the paper provides an overview of revitalization and public lighting objectives. The emphasize is put on a need...
-
Behçet’s Disease in a Polish Patient: A Case Report
Publikacja -
Difficulties in the treatment of acne fulminans – case report
Publikacja -
On the Conley index in Hilbert spaces –- a multivalued case
Publikacja -
A case study of constructing decisional DNA on finanse
PublikacjaPrzedstawiono koncepcję i rozwiązanie analityczne opisu rynku finansowego przy pomocy reprezentacji wiedzy zwanej ''decyzyjne DNA''.
-
Case report: onychomycosis due to Trichophyton schoenleinii
Publikacja -
Angiofibrolipoma of the larynx: Case report and literature review
Publikacja -
"Olanzapine induced hypothermia: a rare case report"
Publikacja -
On the Conley index in Hilbert spaces - a multivalued case
PublikacjaW pracy podano definicję niezmiennika topologicznego wykrywającego zbiory niezmiennicze dla wielowartościowych układów dynamicznych generowanych przez inkluzje różniczkowe semiliniowe w przestrzeni Hilberta. Naszkicowano możliwość zastosowania do badania rozwiązań okresowych inkluzji hamiltonowskich.
-
Modelling and diagnostics of a traction transformer - a case study
PublikacjaW niniejszym artykule przedstawiono wyniki badań w dziedzinie diagnostyki kolei elektrycznych. Zostały one przeprowadzone przez międzynarodowe przemysłowo-akademickie konsorcjum w ramach projektu europejskiego (6-go programu ramowego). Skupiono się na modelowaniu transformatora trakcyjnego z myślą o rozwinięciu nieinwazyjnej metody diagnostycznej w czasie rzeczywistym. Model przeznaczony do badań finalnych został rozwinięty w oparciu...
-
Case study methodology. Few conceptual considerations.
PublikacjaThis paper contributes to the debate on case study as methodological approach. It shows several issues concerning its major advatangeus and disadvantageus
-
Innovations in the payment card market: The case of Poland
Publikacja -
Logistics Development in European Countries: The Case of Poland
Publikacja -
Gender dysphoria (transsexulism) and schizophrenia: a case report
Publikacja