Wyszukiwanie:
tytuł, autor
wszędzie

Sortowanie:


Bibliografia Publikacji Pracowników PK (49507)
    Książki (7503)
    Artykuły i czasopisma (22687)
    Materiały konferencyjne (22342)
    Rozprawy doktorskie (1246)
    Opublikowane recenzje (87)
    Inne publikacje w portalach i serwisach internetowych (160)
Inne bazy bibliograficzne (15032)
    Architektura i Sztuka Krakowa (2298)
    Historia i Ludzie PK – baza w przygotowaniu (13)
    Konferencje Krynickie - Referaty (7776)
    Niepublikowane prace naukowe pracowników PK (1994-2012) (4941)


Jednostki PK

Opcje

Wiśniewski, Piotr; Kluza, Krzysztof; Ligęza, Antoni; Suchenia, Anna

Generation of synthetic business process traces using constraint programming

typ: materiały konferencyjne w książce

 

Forma publikacji referat/rozdział w monografii
Tytuł źródła Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, September 9–12, 2018, Poznań, Poland
Redaktor źródła Ganzha, Maria; Maciaszek, Leszek; Paprzycki, Marcin
Miejsce wydania New York City, Warszawa
Wydawca Institute of Electrical and Electronics Engineers
Polskie Towarzystwo Informatyczne
Wydawnictwo według MEiN Institute of Electrical and Electronics Engineers (IEEE)
Polskie Towarzystwo Informatyczne
Data wydania 2018
Język angielski
Seria/Czasopismo Annals of Computer Science and Information Systems
Numer w serii 15
ISSN serii 2300-5963
Typ nośnika online
Zakres stron 445-453
Oznaczenie ilustracji schem., tab.
Bibliografia (na str.) 452-453
Bibliografia (liczba pozycji) 47
Oznaczenie streszczenia Abstr.
ISBN 978-83-949419-5-6 (Web)
978-83-949419-6-3 (USB)
978-83-949419-7-0 (ART)
Nazwa konferencji FedCSIS 2018 : 2018 Federated Conference on Computer Science and Information Systems
Miejsce konferencji Poznań, Poland
Data konferencji 9-12.09.2018
DOI 10.15439/2018F131
Charakter pracy publikacja naukowa
Publikacja recenzowana tak
Opis bibliograficzny
Generation of synthetic business process traces using constraint programming / Piotr Wiśniewski, Krzysztof Kluza, Antoni Ligęza, Anna Suchenia // W: Proceedings of the 2018 Federated Conference on Computer ... więcej

tematyka
Słowa kluczowe business process management, process verification, workflow logs, constraint programming
Abstrakt
Juxtapositioning manually created business process models with diagrams generated using process discovery algorithms exposes high complexity of the latter. As a consequence, their formal verification requires ... więcej

punktacja i wskaźniki
Publikacja indeksowana w Web of Science tak
Publikacja indeksowana w bazie Scopus tak
Liczba arkuszy 1
Dyscyplina automatyka, elektronika i elektrotechnika
Dziedzina nauk inżynieryjno-technicznych

dodatkowe informacje
Publikacja w Open Access (OA) tak

odnośniki
Link do publikacji w IEEE Xplore Digital Library  
Polskie Towarzystwo Informatyczne  
Kolekcja
Materiały konferencyjne w książce
Materiały konferencyjne /






© 2009 - 2023 Biblioteka Politechniki Krakowskiej http://www.biblos.pk.edu.pl/