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.
In traditional product companies, creating value meant identifying enduring customer needs and manufacturing well-engineered solutions. Two hundred and fifty years after the start of the Industrial Revolution, this pattern of activity plays out every day, especially in a connected world where products are no longer one-and-done. Making money is not anymore limited to physical product sales and other...
Control and data dependencies represent prominent information for modeling, managing, testing and optimizing service based business processes (SBPs). BPMN 2.0, as a twofold-purpose language, can be used to both mode land execute these SBPs. However, there is neither tailored support nor implemented tool for dependency ananlysis of such processes. Therefore, in this paper, we designed and implemented...
In this study we use the Minimum Dominating Set (MDS) in order to identify a subset of states that can represent the initial network of the Gross State Product (GSP) growth rate of 51 US states (50 states and the District of Columbia). This subset can then be used as an auxiliary alert gauge when investigating the macroeconomic effects of GSP movements in inter-state studies or it can be integrated...
In this paper, we tackle the problem of conformance checking which verifies if the event logs (observed) match/fit the reference (arbitrary) process. We use concepts from Communicating Sequential Processes (CSP), which facilitates automated analysis using PAT toolkit. By this technique one can identify all the logs which cannot be properly replayed on the process. We illustrate our approach with an...
This paper describes iPay, the local exchange trading systems developed by digital media in Italia, and the extensions developed to the digital media project interoperable DRM platform specification allowing the integration of the two specifications in a complete system for creating and distributing digital media, and remunerating its users for the content and the services provided. The solution presented...
The construction industry has been facing a paradigm shift to (i) increase; productivity, efficiency, infrastructure value, quality and sustainability, (ii) reduce; lifecycle costs, lead times and duplications, via effective collaboration and communication of stakeholders in construction projects. Digital construction is a political initiative to address low productivity in the sector. This seeks...
Distributed software systems are characterized by increasing autonomy. They often have the capability to sense the environment and react to it, discover the presence of other systems and take advantage of their services, adapt and re-configure themselves in accordance with the internal as well as the global state. Testing this kind of systems is challenging, and systematic and automated approaches...
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.