Filters
total: 6042
-
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
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,...
-
Case Reports in Critical Care
Journals -
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...
-
Case Study and Case Report
Journals -
Case Studies in Construction Materials
Journals -
Katarzyna Wojan dr hab.
PeopleDr habil., assiociate professor, Polish linguist, lexicographer, bibliographer; Finnish, Russian, Slavonic languages; confrontative linguistics, lexicology, lexicography, history of Polish lexicography, translation studies, intercultural communication, reception of Polish literature abroad, translations Editor-in-Chief of the Journal "Studia Rossica Gedanensia" (annual)
-
Case Studies in Thermal Engineering
Journals -
CASE Journal
Journals -
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...
-
A&A Case Reports
Journals -
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....
-
Case Reports in Ophthalmology
Journals -
Case Reports in Dermatology
Journals -
Case Reports in Pediatrics
Journals -
Case Reports in Dentistry
Journals -
Case Reports in Neurology
Journals -
Case Reports in Pathology
Journals -
Clinical Case Studies
Journals -
Case Reports in Medicine
Journals