Filters
total: 6042
filtered: 5080
-
Catalog
- Publications 5080 available results
- Journals 355 available results
- Conferences 7 available results
- People 54 available results
- Projects 2 available results
- Laboratories 1 available results
- Research Teams 2 available results
- e-Learning Courses 54 available results
- Events 5 available results
- Open Research Data 482 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: CONFORMANCE CASE
-
Comparative conformance cases for monitoring multiple implementations of critical requirements
PublicationThe 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
PublicationPrzedstawiono 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
PublicationThe 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
PublicationThis 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.
PublicationArtykuł 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
PublicationModular 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.
PublicationArtykuł 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.
PublicationRozprawa 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
Publication -
EXTREME RAINFALLS AS A CAUSE OF URBAN FLASH FLOODS; A CASE STUDY OF THE ERBIL-KURDISTAN REGION OF IRAQ
PublicationAim 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
PublicationArtykuł 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
PublicationStandard 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
PublicationThe 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
Publication -
The limit case of a domination property
PublicationPraca 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.
Publication -
"AUTOMATISM"AN INTERESTING CASE REPORT.
Publication -
An Approach to Trust Case Development
PublicationIn 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)
PublicationPraca 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
PublicationWieś 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
PublicationThis 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
Publication -
Internet Gaming Disorder: A Case Report.
Publication -
Interictal Psychosis- a case of Psychosis of Epilepsy
Publication -
Alien Abductions: A Case of Sleep Paralysis
Publication -
Islamophobia without Muslims? The Case of Poland
Publication -
Problems of Railway Noise-A Case Study
PublicationUnder 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
PublicationUnder 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
PublicationCelem 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
PublicationAssurance 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
Publication -
Trust Case: justifying trust in an IT solution
PublicationW 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
Publication -
Architectural Symbols of a City – Case Study
PublicationThe 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
PublicationThe 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.
PublicationThe 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
PublicationThis 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
Publication -
Difficulties in the treatment of acne fulminans – case report
Publication -
On the Conley index in Hilbert spaces –- a multivalued case
Publication -
A case study of constructing decisional DNA on finanse
PublicationPrzedstawiono koncepcję i rozwiązanie analityczne opisu rynku finansowego przy pomocy reprezentacji wiedzy zwanej ''decyzyjne DNA''.
-
Case report: onychomycosis due to Trichophyton schoenleinii
Publication -
Angiofibrolipoma of the larynx: Case report and literature review
Publication -
"Olanzapine induced hypothermia: a rare case report"
Publication -
On the Conley index in Hilbert spaces - a multivalued case
PublicationW 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
PublicationW 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.
PublicationThis 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
Publication -
Logistics Development in European Countries: The Case of Poland
Publication -
Gender dysphoria (transsexulism) and schizophrenia: a case report
Publication