Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Penczek, W." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-6 z 6
    Tytuł:
    UML Verification with Verics
    Autorzy:
    Niewiadomski, A.
    Penczek, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/92916.pdf
    Data publikacji:
    2007
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    model checking
    UML
    unified modeling language
    VerICS
    Opis:
    We show how to verify UML specifications against properties expressed by CTL-like formulas using the symbolic model checker Verics. Our method is illustrated with an example showing a verification of Alternating Bit Protocol.
    Źródło:
    Studia Informatica : systems and information technology; 2007, 1(8); 19-31
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Web Services composition - from ontology to plan by query
    Autorzy:
    Doliwa, D.
    Horzelski, W.
    Jarocki, M.
    Niewiadomski, A.
    Penczek, W.
    Półrola, A.
    Szreter, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/206382.pdf
    Data publikacji:
    2011
    Wydawca:
    Polska Akademia Nauk. Instytut Badań Systemowych PAN
    Tematy:
    automated composition
    web services
    abstract planning
    Opis:
    The paper proposes a method to cover the world of web services with a uniform semantics, possibly simple but enabling to arrange complex flows of service invocations. The flows are built according to fully declarative user's intentions, specified in a language common for the descriptions of services and for the query. In the approach we model the world of services and of the subjects they operate on using a uniform knowledge database and an objectoriented manner. The current work describes the first phase of the composition: making an abstract plan, i.e., giving an answer how (with what types of services) the required effect can be obtained. The problem of creating a plan is converted to building a specialized graph.
    Źródło:
    Control and Cybernetics; 2011, 40, 2; 315-336
    0324-8569
    Pojawia się w:
    Control and Cybernetics
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Solving the abstract planning problem using genetic algorithms
    Autorzy:
    Skaruz, J.
    Niewiadomski, A.
    Penczek, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/93024.pdf
    Data publikacji:
    2013
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    abstract planning
    genetic algorithms
    web service composition
    Opis:
    The paper presents a new approach based on genetic algorithms to the abstract planning problem, which is the first stage of the web service composition problem. An abstract plan is defined as an equivalence class of sequences of service types that satisfy a user query. Intuitively, two sequences are equivalent if they are composed of the same service types, but not necessarily occurring in the same order. The objective of our genetic algorithm (GA) is to return representatives of abstract plans without generating all the equivalent sequences. The paper presents experimental results compared with the results obtained from SMT-solver, which show that GA finds solutions for very large sets of service types in a reasonable time.
    Źródło:
    Studia Informatica : systems and information technology; 2013, 1-2(17); 29-48
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Model Checking Temporal Properties of Reaction Systems
    Weryfikacja temporalnych własności systemów reakcyjnych
    Autorzy:
    Męski, A.
    Penczek, W.
    Rozenberg, G.
    Powiązania:
    https://bibliotekanauki.pl/articles/182724.pdf
    Data publikacji:
    2014
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    reaction systems
    model checking
    temporal logic
    systemy reakcyjne
    weryfikacja modelowa
    logika temporalna
    Opis:
    This paper defines a temporal logic for reaction systems (RSTL). The logic is interpreted over the models for the context restricted reaction systems that generalize standard reaction systems by controlling context sequences. Moreover, a translation from the context restricted reaction systems into boolean functions is defined in order to be used for a symbolic model checking for RSTL over these systems. Finally, model checking for RSTL is proved to be PSPACE-complete.
    Praca wprowadza logikę temporalną dla systemów reakcyjnych (RSTL), która jest interpretowana w modelach dla systemów reakcyjnych z ograniczeniami kontekstów. Systemy te uogólniają standardowe systemy reakcyjne przez wprowadzenie ograniczeń kontrolujących dopuszczalne konteksty. Ponadto, przedstawiono translację z systemów reakcyjnych z ograniczeniami kontekstów do formuł boolowskich, która umożliwia symboliczną weryfikację modelową dla tych systemów oraz RSTL. Wykazano również, że problem weryfikacji modelowej dla RSTL jest problemem PSPACE-zupełnym.
    Źródło:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2014, 1028; 1-28
    0138-0648
    Pojawia się w:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Combining SMT and Simulated Annealing into a Hybrid Planning Method
    Autorzy:
    Skaruz, J.
    Niewiadomski, A.
    Penczek, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/92934.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    concrete planning
    genetic algorithm
    satisfiability modulo theories
    simulated annealing
    web service composition
    planics
    Opis:
    We present a new approach to the concrete planning (CP) - a stage of theWeb service composition in the PlanICS framework. A new hybrid algorithm (HSA) based on a combination of Simulated Annealing (SA) with Satisfiability Modulo Theories (SMT) has been designed and implemented. The main idea of our hybrid solution is to use an SMT-based procedure in order to generate an initial individual and then improve it during subsequent iterations of SA. The experimental results show that HSA is superior to the other methods we have applied to the CP problem, including Genetic Algorithm, an SMT-based approach, and our previously developed hybrids.
    Źródło:
    Studia Informatica : systems and information technology; 2015, 1-2(19); 43-48
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards partial order reductions for fragments of alternating-time temporal logic
    O redukcjach częścio-porządkowych dla fragmentów logiki temporalnej czasu alternatywnego
    Autorzy:
    Dembiński, P.
    Jamroga, W.
    Mazurkiewicz, A.
    Penczek, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/182716.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    Alternating-Time Temporal Logic
    asynchronous systems
    partial order reduction
    traces
    logika temporalna czasu alternującego
    systemy asynchroniczne
    redukcje częścio-porządkowe
    ślady
    Opis:
    A general semantics of strategic abilities of agents in asynchronous systems with and without perfect information is proposed, and some general complexity results for verification of strategic abilities in asynchronous systems are presented. A methodology for partial order reduction (POR) in verification of agents with imperfect information is developed, based on the notion of traces introduced by Mazurkiewicz. Two semantics of ATL∗ −X are considered and it is shown that for memoryless imperfect information (|=ir) contrary to memoryless perfect information (|=Ir), one can apply techniques known for LTL−X.
    Raport definiuje ogólną semantykę dla strategicznych umiejętności agentów w systemach asynchronicznych z pełną i częściową informacją, oraz prezentuje ogólne wyniki dotyczące złożoności weryfikacji strategicznych możliwości w systemach asynchronicznych. Metoda redukcji częścio-porządkowych, wykorzystująca ślady Mazurkiewicza, została zastosowana do weryfikacji agentów z niepełną informacją. Dla rozważanych dwóch semantyk logiki ATL*_x zostało pokazane, że dla bezpamięciowej niepełnej informacji (|=ir) w przeciwieństwie do bezpamięciowej pełnej informacji (|=Ir), można zastosować metody znane dla LTL_x.
    Źródło:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2016, 1036; 1-32
    0138-0648
    Pojawia się w:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-6 z 6

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies