[BOEK][B] Overview of verification tools for business process models
Formal verification of process models is an important issue in Business Process Management.
Such a verification provides the information about the correctness of a process model, can …
Such a verification provides the information about the correctness of a process model, can …
[PDF][PDF] AUTOREFERAT ROZPRAWY DOKTORSKIEJ
K Kluza - eaiib.agh.edu.pl
Zarzadzanie procesami biznesowymi (Business Process Management)[2, 22] to całosciowe
podejscie do zarz adzania maj ace na celu poprawe przepływu pracy w organizacjach, w …
podejscie do zarz adzania maj ace na celu poprawe przepływu pracy w organizacjach, w …
[PDF][PDF] Opracowanie systemowego podejścia do zrównoważonego rozwoju społeczeństwa informacyjnego-na przykładzie Polski, projekt finansowany ze środków …
Podstawowym celem projektu było opracowanie systemowego podejścia do rozwoju
zrównoważonego społeczeństwa informacyjnego. Dla osiągnięcia tego celu wyznaczono cele …
zrównoważonego społeczeństwa informacyjnego. Dla osiągnięcia tego celu wyznaczono cele …
[PDF][PDF] LISTA LUCRĂRILOR
DIR SZABÓ - upt.ro
… Stereo Cameras Made in LabVIEW”, Proceedings of Federated Conference on Computer
Science and Information Systems FedCSIS 2013, Krakow, Poland, pp. 37-42, September 8-11, …
Science and Information Systems FedCSIS 2013, Krakow, Poland, pp. 37-42, September 8-11, …
3rd international workshop on advances in semantic information retrieval
… Federated Conference on Computer Science and Information Systems, FedCSIS 2013 …
Information Systems, FedCSIS 2013 - Krakow, Poland Duration: 2013 Sept 8 → 2013 Sept 11 …
Information Systems, FedCSIS 2013 - Krakow, Poland Duration: 2013 Sept 8 → 2013 Sept 11 …
Comparison of methods for hand gesture recognition based on Dynamic Time Warping algorithm
K Barczewska, A Drozd - 2013 Federated Conference on …, 2013 - ieeexplore.ieee.org
Gesture recognition may find applications in rehabilitation systems, sign language translation
or smart environments. The aim of nowadays science is to improve the recognition systems…
or smart environments. The aim of nowadays science is to improve the recognition systems…
System for building and analyzing preference models based on social networking data and SAT solvers
R Klimek - … , ICAISC 2018, Zakopane, Poland, June 3-7, 2018 …, 2018 - Springer
… and Information Systems, FedCSIS 2016, 11–14 September 2016, Gdańsk, Poland, pp.
1115–… (AGH UST, Kraków, Poland) for their valuable cooperation when preparing this work. …
1115–… (AGH UST, Kraków, Poland) for their valuable cooperation when preparing this work. …
Editors's introduction to the special issue on" frontiers in network systems and applications"
… Systems symposium was organised in Wroclaw, Poland. The symposium provided a fomm
for the … -related events of the FedCSIS multiconference. As a result, in 2013, an International …
for the … -related events of the FedCSIS multiconference. As a result, in 2013, an International …
Migration of rule inference engine to mobile platform. Challenges and case study.
Mobile devices are valuable sources of information about their user location, physical and
social activity, profiles and habits. Such an information can be used to build context-aware …
social activity, profiles and habits. Such an information can be used to build context-aware …
Comparison of selected modeling notations for process, decision and system modeling
System specifications can be modeled using various types of notations and diagrams regarding
applications of the particular model. In this paper, we present an overview of the existing …
applications of the particular model. In this paper, we present an overview of the existing …