Paweł Kaczmarek - Publikacje - MOST Wiedzy

Wyszukiwarka

Filtry

wszystkich: 37

  • Kategoria
  • Rok
  • Opcje

wyczyść Filtry wybranego katalogu niedostępne

Katalog Publikacji

Rok 2010
  • Interoperability analysis of sensor interface in ubiquitous environments
    Publikacja

    - Rok 2010

    Systemy przetwarzania wszechobecnego pozwalają na integrację różnorodnych sensorów monitorujących i dostarczających informacje dotyczące środowiska oraz jego kontekstu.Fakt, że sensory te implementowane są przez niezależnych dostawców skutkuje problemami integracyjnymi. W artykule przedstawiono wyniki analizy interfejsów sensorów w trzech warstwach: fizycznej, protokołów oraz usług sensorów.Usługa sensora implementuje interfejs...

  • Zapewnianie wiarygodnosci przetwarzania przy integracji komponentów usług
    Publikacja

    - Rok 2010

    Przedstawiono problematykę Service Oriented Architecture(SOA) oraz nowoczesne metodologie integracji gotowych komponentów programistycznych.Omówiono Service Component Architecture (SCA), Cloud computing, oraz modelowanie procesów biznesowych jako metodologie zbliżone koncepcyjne do SOA. Opisano główne atrybuty wiarygodności i zestawionokonkretne techniki poprawy wiarygodno±ci. Modelowanie procesów biznesowychzaprezentowano na przykładzie...

Rok 2009
  • A video monitoring system using ontology-driven identification of threats
    Publikacja

    In this paper, we present a video monitoring systemthat leverages image recognition and ontological reasoningabout threats. In the solution, an image processing subsystemuses video recording of a monitored area and recognizesknown concepts in scenes. Then, a reasoning subsystem uses anontological description of security conditions and informationfrom image recognition to check if a violation of a conditionhas occurred. If a threat...

    Pełny tekst do pobrania w serwisie zewnętrznym

  • Zapewnianie wiarygodności usług sieciowych wykorzystywanych przez aplikacje interaktywne
    Publikacja

    - Rok 2009

    Przedstawiono problematykę zapewniania wiarygodności waplikacjach interaktywnych i systemach typu ubiquitous/pervasive. Zostały opisane możliwości zapewniania wiarygodności z uwzględnieniem zarówno tradycyjnych metod jak i aspektów specyfcznych dla systemów interaktywnych. Zaproponowano moduł zapewniania wiarygodności rozwijany w ramach realizacjiśrodowiska wykonania aplikacji interaktywnych. Moduł ten umożliwiagromadzenie danych...

Rok 2008
Rok 2006
  • Administrowanie systemami internetowymi
    Publikacja

    - Rok 2006

    Przedstawiono problematykę administrowania systemami internetowymi. Omówiono zasady konfguracji połączeń, integracji oraz konfguracji serwisów internetowych. Ponadto praca przedstawia zasady uwierzy-telniania użytkowników w rozproszonym systemach z wykorzystaniem mechanizmów usług katalogowych takich jak LDAP. Uwzględniono również problematykę bezpieczeństwa systemów internetowych ze szczególnym zwróceniem uwagi na najczęstsze...

Rok 2004
  • Influence of Exception Handling on Distributed Applications.
    Publikacja

    W 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...

  • Protokół SOAP i jego zastosowanie.
    Publikacja

    - Rok 2004

    W pracy przedstawiono zasadę działania i organizację protokołu SOAP, który w chwili obecnej może być uważany za jeden z najważniejszych standardów w systemach rozproszonych. Zaprezentowano genezę powstania protokołu i jego współczesne zastosowania ze szczególnym uwzględnieniem problemów przenośności. Ponadto opisano formaty wiadomości i modele przesyłania danych w SOAP. Protokół, podobnie jak niemal wszystkie technologie informatyczne,...

Rok 2003
Rok 2002
  • Conformance testing of parallel languages

    Przedstawiono 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.

  • Serwery obliczeniowe.
    Publikacja

    - Rok 2002

    Artykuł zawiera opis współczesnych serwerów obliczeniowych i trendów rozwojowych. Zostały zaprezentowane najbardziej popularne architektury ze szczególnym uwzględnieniem klasterów obliczeniowych. Ponadto przedstawiono sposoby realizacji komunikacji między komputerami i procesorami w różnych konfiguracjach sprzętowych. Artykuł zawiera przykłady praktycznych zastosowań i projektów związanych z serwerami obliczeniowymi.

  • Testing for conformance of parallel programming pattern languages

    This 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.

wyświetlono 820 razy