Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
A time-and resource-sensitive simple businessprocess (TR-SBP) consists of a finite set of finite series ofactivities that have timing and resource constraints. A TRSBPseems simple, but its analysis needs to consider whatare not explicitly mentioned as activities and may introducea non-negligible number of intermediate states. In this sense, the analysis has similarities with security protocol analysisthat...
A novel Energy Modelling and Forecasting Tool (EMFT) has been adopted for use in the VIMSEN (Virtual Microgrids for Smart Energy Networks) project and this paper gives an insight of the techniques used to provide vital support to the energy market, in particular to energy aggregators. A brief description of one of the test sites where data has been collected for validation of the EMFT will be outlined...
Industrial PV prosumers are such emerging entity in smart grid who not only consumes energy but also generates and shares the green energy with the utility grid. Independent operation is the most common business model of industrial PV prosumers. However, a co-benefit and profit sharing model for operation of neighboring industrial PV prosumers is proposed in this paper. Analysis proves that the total...
The mining of workflow process aims at finding valuable objective information from log data. It leads useful implications for new business processes and analysis. Unfortunately most of business process data is incomplete and noisy which brings deficiencies for describing and mining workflow. The existing algorithms ignore time-based parameters, which is important for processing the incomplete workflow...
The article proposes and describes the elements of the generalized formal model of big data. It is analyzed the peculiarities of the application of the proposed model components.
We investigate an application of model checking techniques to automated verification of business processes expressed in ArchiMate language. As a verification tool the state of the art symbolic model checker NuSMV is used. The proposed approach consists in fully automated translation of behavioral elements embedded in ArchiMate models into a corresponding representation in NuSMV language and then verifying...
Based on the state of the art of process mining, we can conclude that quality characteristics (failure rate metrics or loops) are poorly represented or absent in most predictive models that can be found in the literature. The main goal of this present research work is to analyze how to learn prediction model defining failure as response variable. A model of this type can be used for active real-time-controlling...
The automated testing of Web-based software can drastically improve the quality and reduce the costs of software development and testing. To make it more efficient we should analyze the habits and preferences of end-users. Here we analyze the known approaches to users' social habits analysis, and their applications for improving the efficiency of testing of Web applications, taking as an example the...
Physical products are becoming smarter because of their increased number of embedded sensors and their real-time information-processing capabilities. Data analytics, particularly predictive analytics, is one of the most important of these capabilities because it uses statistical or machine-learning techniques to determine causal relations between input and output parameters. Many researchers have...
One of the most important features of microblogging services such as Twitter is how easy it is to re-share a piece of information across the network through various user connections, forming what we call a "cascade". Business applications such as viral marketing have driven a tremendous amount of research effort predicting whether a certain cascade will go viral. Yet the rarity of viral...
Nowadays business processes are main concern in enterprises systems. The growing systems affect business process changes. Business processes always grow in order to fulfill the business activities. In this paper, we use a graph model called Petri Nets to analyze complex business processes. A Petri Net is the most usable model which often represents a process system in business concerns or others....
Research depicts how big data analytics techniques have enabled the new business models which were either hard to shape or impossible to render. Big data platforms hold the promise of improved operational efficiencies and generation of greater revenues with enhanced business growth. Efficiency of big data techniques have been analyzed in the research uses the perspective that it delivers greater understanding...
The first step of a technological solution for the recovery of non-technical energy losses (NTL) in the distribution phase is to use data mining techniques. MVM Ingeniería de Software has developed a technology with high potential, oriented in this direction, for Companies Distributors and Traders of energy (DT), through its advanced analytical capacity in descriptive and predictive levels framed...
The rise of micro services as architectural pattern creates a bunch of interesting opportunities for software architectures of modelling editors and additional services. Main advantages are the scalability in collaborative distributed scenarios and enhanced possibilities regarding service development and operation. Throughout this article, we will illustrate how modelling editors and additional services...
In recent years, artifact-centric business process modeling is gaining momentum with its improved flexibility and extensibility. In order to support the rapid translation of the traditional activity-centric processes into this new type of processes, this paper proposes a novel approach to automatically transforming an activity-centric process model into a group of lifecycles of artifacts and their...
e-Business Supports Higher Education the Same Way It Helps Companies in General. E-Business Application in higher education has already become an indispensable tool in both university staff and students' daily life. A number of technological, educational and business models of e-Business application in higher education have been developed. However, the educational models of e-Business application...
The Accessibility Stable Analysis Pattern intends to describe the core knowledge behind the concept of Accessibility. Accessibility finds an extensive range of usages in various applications. The pattern also gives an excellent start to software developers, by defining the core knowledge of any accessibility problem. Any developer can build on, extend or reuse the pattern to model any specific application...
As the importance of mutual growth of large and small-medium enterprises has increased, the necessity for open innovation between them has been emphasized. However, few studies of open innovation have considered both sized of firms, and they just analyzed differences of innovation from the empirical point of view. Based on the survey of manufacturing firms conducted in 2012, the Korean Innovation...
From being video repositories of courseware to dynamic adaptive e-learning models, the Massive Online Open Courseware (MOOC) ecosystem has matured significantly leading to a wider taxonomy of MOOCs. The most recent taxonomy of MOOCs captures eight broad classifications of MOOCs. Learners have different motivational drivers to choose and consume the different categories of MOOCs. There have been in-depth...
With the popularization of high-speed and high-capacity communication networks, machine-to-machine (M2M) communication has received significant attention. However, although the related technologies have been actively investigated, creating new businesses based on M2M communication is difficult. The information and communication technology community should take not only system modeling but also business...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.