The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The aligning of event logs with process models is of great significance for process mining to enable conformance checking, process enhancement, performance analysis, and trace repairing. Since process models are increasingly complex and event logs may deviate from process models by exhibiting redundant, missing, and dislocated events, it is challenging to determine the optimal alignment for each event...
With the development of intelligent transport systems (ITS) and vehicular ad hoc network (VANET), vehicular cloud computing (VCC) has been proposed to bring essential and potential benefits, such as improving traffic safety and offering computational services to road users. To make such computational services reliable and secure, the computation results from the vehicular cloud (VC) should be verifiable...
For complex and popular software, project teams could receive a large number of bug reports. It is often tedious and costly to manually assign these bug reports to developers who have the expertise to fix the bugs. Many bug triage techniques have been proposed to automate this process. In this paper, we describe our study on applying conventional bug triage techniques to projects of different sizes...
Since the time-frequency distribution can analyze how the instantaneous frequency of a signal varies with time, it is very effective for signal processing. However, due to that the time-frequency distribution has a two-dimensional output, it has a higher complexity and requires more computation time. In this paper, we find that if the window of the short-time Fourier transforms (STFTs) has some specific...
The aim of process mining is to rediscover the process model from the event log which is recorded by the information system. Although the omnipresence of the event logs in information system, rarely part of them are considered to analyze the processes. In this paper, we present a new mining algorithm based on the event type we defined. This algorithm not only can detect all of the SWF-nets and short-loops,...
Workflow net is a popular formal notation for modeling workflow process. The order relation of the workflow net is the important information to describe the parallel relation, sequential relation and choice relation. From the state of the art of Petri net theory, there are two basic approaches for to analyze the order relations of the work-flow net: state space method and invariant method. State space...
The development of service-oriented applications grows rapidly these years and gains more and more attention both from industry and from academe. Service-oriented applications are assembled from building blocks called service components whose profiles are defined by service specifications. When the dynamic changes happen in the service-oriented architectures, the service discovery and substitution...
PSEE (process-centered software engineering environment) can manage and monitor software process. Software process modeling language is a core element in PSEE system. Software process model includes multiple views: activity view, product view and role view. According to the similarity between multi-view software process modeling and object Petri nets, this paper proposes the MOPN-SP-net model which...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.