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 MAPE-K (Monitor-Analyze-Plan-Execute over a shared Knowledge) feedback loop is the most influential reference control model for autonomic and self-adaptive systems. This paper presents a conceptual and methodological framework for formal modeling, validating, and verifying distributed self-adaptive systems. We show how MAPE-K loops for self adaptation can be naturally specified in an abstract...
Partial reconfiguration (PR) on field-programmable gate arrays (FPGAs) enables multiple PR modules (PRMs) to time multiplex partially reconfigurable regions (PRRs), which affords reduced reconfiguration time, area overhead, etc., as compared to non-PR systems. However, to effectively leverage PR, system designers must determine appropriate PRR sizes/organizations during early stages of PR system design,...
Marine survey provides many kinds of oceanic samples and large volume of corresponding data, which are treasurable materials for further scientific researches, and should be shared among scientists, agents or organizations from different areas. In this paper, we contribute to the design of a domain-specific provenance model based on the PROV-DM model for Marine survey project. We start from an analysis...
MEASUR's Semantic Analysis is a method for requirements analysis and representation. Semantic Analysis appears to have a number of benefits to information systems development. Among its main strengths is that it produces stable software design that is easy to be expended to accommodate future changes. However, it is not widely used, mainly because of its complexity. It is hard for analysts to follow...
We are currently observing a huge paradigm shift by different organizations moving their information technology services from enterprise-based data centers that run on different dedicated servers on their premises to cloud computing environment. Organizations are renting these services on demand basis from large cloud service providers that build and manage various large scaled data centers consisting...
This paper presents a method for deadlock-freeness scenarios detection in Web services composition. This method considers the Petri nets theory and is based on the analysis of Linear Logic proof trees. To detect the deadlock-freeness scenarios, a Linear Logic proof tree is built for each different scenario of the modules from which the composed system is built. These proof trees are analysed and some...
This paper presents SkillsRec -- a novel teacher guidance based learner skills mining and filtering approach that identifies learner skills for Personal Learning Environment (PLE) based learning scenarios using Latent Semantic Analysis (LSA) technique. Skills Rec is developed on PLE design and development principles of the guided PLEs model [1]. Skills Rec takes teacher competencies/roles [2] and...
Multi-agent system approach is now widely used as a solution to real-world problems, including problems in the organization model. The complexity of the organizational environment demands a model of knowledge management (KM) improvement that can create innovation and responsiveness process, this matter caused by rapid changes, so the knowledge will grow and improve continuously. Multi-agent system...
Process modeling is useful during the analysis and design of systems. Prior research acknowledges both impediments to process modeling that limits its use as well as customizations that can be employed to help improve the creation of process models. However, no research to date has provided a rich examination of the linkages between perceived process modeling impediments and process modeling customizations...
This paper defines big data analysis a type3 innovation and extends our previous studies on the adoption/assimilation of innovation technologies. The paper develops a three-stage adoption integrative model based on the past diffusion context literatures. The model utilizes TOE (Technology-Organization-Environment) framework as antecedents of this adoption process. Based on the perception model, we...
Researchers and practitioners frequently assume that big data can be leveraged to create value for organizations implementing it. Decisions for big data idea generation and implementation need careful consideration of multiple factors. However, no scientifically grounded and unbiased method to structure such an assessment and to guide implementation exists yet. This paper describes a methodology based...
For this study we analyzed the factors that influence organizational IT deployment success. First, we identified potential factors, then hypothesized about the relationships among the factors and then integrated the hypotheses into a research model. Finally, we empirically evaluated the hypotheses and the entire research model. Special attention was placed on the Business-IT alignment, IT management...
A risk is the possibility that an undesirable event could happen. Several risk management software tools have been developed in the past to address pressing industrial concerns such as risk identification and estimation, risk exposure, mitigation and keep track of risk positions and respective management plans. Several methods have been developed and used in risk assessments. Two specific methods...
To make a business competitive advantage with the information system, it is necessary to validate the system in order to assure the system performs the business as the users expect. While the business context is becoming diverse, conventional acceptance test only confirms that the system meets the requirements specifications, and hard to assure the quality of use in the business context. This article...
Organizations structure their activities around business processes to achieve effectively their goals. Collaboration can intervene in these processes enabling better efficiency. We are interested in complex business processes characterized by the superposition of two information networks: first, a formal information network in which data and explicit knowledge flow. Then, an informal information network...
The transportation ecosystem is currently in a transition phase from non-electrified to electrified, from isolated to connected, and from non-automated to automated. During this transition new disruptive technologies replace existing ones but quickly become obsolete themselves. Safety and efficiency become even more important as the driver has less input into driving decisions and more difficult to...
Communications in organizations have been one of the most important issues. To run the business processes, the company needs communication between units and customers. We provide a framework which can be used by network designers in an organization. The outcome of the framework is value for three QoS parameters: delay, loss and availability. The organizations business processes are used as a basis...
Along with global marketing competition and shortened product life cycle, many firms attempt to engage in product innovation in order to create new products for sustaining their competitive advantage. Prior studies have indicated that firms' successful product innovation are intimately linked with employees' innovative behavior. Furthermore, some previous studies also indicate that knowledge characteristic...
Korea economy has been rapidly developed through manufacturing industry since 1960s. Current business environments is very complex and its uncertainty is also growing rapidly. Many manufacturing firms in Korea are trying to deploy an innovative product, but they are facing a difficulties for product innovation because of various complexity such as environment, organization, and customer. In this context,...
Recently, the “All Hazard” paradigm gained a large interest in the framework of Critical Infrastructure Protection, stressing the importance to guarantee an adequate level of service continuity in spite of any type of negative events, ranging from natural disasters to technological faults, considering both accidental and malicious actions. However, such an approach makes more difficult the analysis...
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.