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ę "ATL" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Unbounded Model Checking for ATL
    Autorzy:
    Kański, Michał
    Niewiadomski, Artur
    Kacprzak, Magdalena
    Penczek, Wojciech
    Nabiałek, Wojciech
    Powiązania:
    https://bibliotekanauki.pl/articles/2175150.pdf
    Data publikacji:
    2021
    Wydawca:
    Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
    Tematy:
    ATL
    temporal logics
    model checking
    SAT
    SMT
    QBF
    Opis:
    In this paper, we deal with verification of multi-agent systems represented as concurrent game structures. To express properties to be verified, we use Alternating-Time Temporal Logic (ATL) formulas. We provide an implementation of symbolic model checking for ATL and preliminary, but encouraging experimental results.
    Źródło:
    Studia Informatica : systems and information technology; 2021, 1-2(25); 5--22
    1731-2264
    Pojawia się w:
    Studia Informatica : systems and information technology
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Underapproximating ATL with Imperfect Information and Imperfect Recall
    Dolna Aproksymacja Bezpamięciowego ATL o Niepełnej Informacji
    Autorzy:
    Jamroga, W.
    Knapik, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/182675.pdf
    Data publikacji:
    2015
    Wydawca:
    Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
    Tematy:
    ATL
    model checking
    approximation
    weryfikacja
    aproksymacja
    Opis:
    We investigate the correspondence between model checking of af-AMCi and ATLir , on the example of reachability. We identify some of the reasons for the fact that these logics are of uncomparable expressivity. These observations form the basis for a novel method for underapproximating ATLir by means of fixed-point calculations. We introduce a special version of the next-step operator, called Persistent Imperfect Next-Step Operator h_iF and show how it can be used to define a new version of reachability that carries to ATLir.
    W pracy badane są związki pomiędzy weryfikacją modelową Bezpamięciowej Logiki Temporalnej Czasu Alternującego z Niepełną Informacją ATLir i Epistemicznego Alternującego Mu-Rachunku af-AMCi. Jak pokazano, naturalne uogólnienia pojęcia osiągalności z ATLir -a do af-AMCi nie przynoszą dobrych efektów: osiągalność w af-AMCi nie pociąga za sobą osiągalności w ATLir . Po zidentyfikowaniu części powodów, dla których tak się dzieje, zaproponowano nową wersję operatora następnego kroku, który pozwala na przybliżanie osiągalności w ATLir przy pomocy obliczeń stałopunktowych.
    Źródło:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk; 2015, 1032; 1-16
    0138-0648
    Pojawia się w:
    Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Les caractéristiques du marketing de la bancaire en Pologne dans le contexte de la crise économique. Les stratégies du marketing des banques d'entreprises, les modèles d'opération, marketing de services financiers
    Autorzy:
    Brudnicki, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/2156923.pdf
    Data publikacji:
    2013
    Wydawca:
    Instytut Studiów Międzynarodowych i Edukacji Humanum
    Tematy:
    Brand management
    banking
    financial services marketing
    banking marketing
    advertising campaign
    image
    corporate banking
    ATL
    brand communication
    marketing B2B
    Opis:
    The characteristics of marketing strategies in Polish banking sector in the context of the financial crisis. The marketing strategies & business models for corporate banking business. The marketing of the financial services. The article concerns the specifics of communicating the image of the retail and corporate bank to the market. It also shows the general characteristics of marketing activities in the banking market, with particular emphasis on the separateness of corporate banking market - both marketing and product. The specificity of marketing activities in this market stems from three areas – financial services marketing, banking marketing and the crucial – the specif- ics of business in the institutional market. Characteristics takes into account the impact of the current financial crisis as the main factor affecting the strategies of banks on the Polish market.
    Źródło:
    Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne; 2013, 1(11); 67-81
    1898-0171
    Pojawia się w:
    Społeczeństwo i Edukacja. Międzynarodowe Studia Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Les caractéristiques du marketing de la bancaire en Pologne dans le contexte de la crise économique. Les stratégies du marketing des banques d’entreprises, les modèles d’opération, marketing de services financiers
    The characteristics of marketing strategies in Polish banking sector in the context of the financial crisis. The marketing strategies & business models for corporate banking business. The marketing of the financial services
    Autorzy:
    Brudnicki, Artur
    Powiązania:
    https://bibliotekanauki.pl/articles/2135499.pdf
    Data publikacji:
    2013
    Wydawca:
    Instytut Studiów Międzynarodowych i Edukacji Humanum
    Tematy:
    Brand management
    banking
    financial services marketing
    banking marketing
    advertising campaign
    image
    corporate banking
    ATL
    brand communication
    marketing B2B
    Opis:
    The article concerns the specifics of communicating the image of the re- tail and corporate bank to the market. It also shows the general characteristics of marketing activities in the banking market, with particular emphasis on the separateness of corporate banking market - both marketing and product. The specificity of marketing activities in this market stems from three areas – financial services marketing, banking marketing and the crucial – the specifics of business in the institutional market. Characteristics takes into account the impact of the current financial crisis as the main factor affecting the strategies of banks on the Polish market.
    Źródło:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne; 2013, 1(10); 19-31
    1898-8431
    Pojawia się w:
    Humanum. Międzynarodowe Studia Społeczno-Humanistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Wytwarzanie serwisów informacyjnych z wykorzystaniem koncepcji modelowania dziedzin : budowa transformacji
    Production of information services using the concept of domain modeling : construction of transformation
    Autorzy:
    Kosior, A.
    Stasiak, A.
    Dąbrowski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/273395.pdf
    Data publikacji:
    2012
    Wydawca:
    Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego
    Tematy:
    transformacje
    M2M
    M2T
    T2M
    JET
    języki opisu transformacji
    ATL
    QVT
    Tefkat
    model mapowań
    Model Type Mapping
    Model Instance Mapping
    mapa powiązań
    transformations
    description of transformation languages
    mapping model
    Mapping Model Instance
    connections map
    Opis:
    W artykule przedstawiono klasyfikację transformacji modeli (M2M, M2T, T2M, JET) oraz modeli mapowań. Szczegółowo omówiono proces wytwarzania generycznych mechanizmów transformacji umożliwiających wielokrotne przekształcenia modeli. Dodatkowo zaprezentowano przykładowe transformacje opracowane w ramach projektu serwisu informacyjnego.
    The paper presents a classification of models transformations (M2M, M2T, T2M, JET) and mapping models. The process of producing generic transformation mechanisms allowing to multiple models transformations is discussed in details. In addition, examples of transformations are presented within the information service project.
    Źródło:
    Biuletyn Instytutu Automatyki i Robotyki; 2012, R. 18, nr 32, 32; 53-83
    1427-3578
    Pojawia się w:
    Biuletyn Instytutu Automatyki i Robotyki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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