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.
This work addresses the problem of automated graphical user interface generation for functional programs in relation to rapid application prototyping. First an analysis of current state in the field of automated GUI generation is performed. Based on the analysis, the concept of functionally structured user interface (FSUI) is introduced. Meta-data system for code annotation is then specified for the...
In this paper, we describe a new source code transformation called dynamic loop reversal that can increase temporal and spatial locality. We also describe a formal method for predicting the cache behaviour and evaluation results of the accuracy of the model by measurements on a cache monitor. The comparisons of the numbers of measured cache misses and the numbers of cache misses estimated by the model...
What makes the development of decision support systems (DSS) particularly challenging is the change dynamics of the design space, the instability of initial specifications, and the lack of an adequate model of the decision making process. Facing these, one can appreciate a methodology that can drive the designer's creative effort within a particular decision context. The paper aims to outline the...
The main purpose of this paper is to assess the level of Business Intelligence (BI) maturity in organizations. The research questions I ask in this study are: (1) what possibilities offer BI systems for different organizations, (2) how to measure and evaluate the BI maturity in organizations? The study was based on: (1) a critical analysis of literature, (2) a observation of different BI initiatives...
Business Process models in the case of real life systems are often very complex. Hierarchization allows for managing model complexity by “hiding” process details into sub-levels. This helps to avoid inconsistencies and fosters reuse of similar parts of models. Configuration, in turn, gives the opportunity to keep different models in one configurable model. In the paper, we propose an approach for...
The extensive use of the Wireless Sensor Networks (WSNs) in main critical scenarios stresses the need to verify their dependability properties at design time to prevent wrong design choices and at runtime in order to make a WSN more robust against failures that may occur during its operation. In literature, several approaches have been proposed in order to evaluate the dependability of a WSN during...
Taking an existing large-scale simulation model of the German toll system we identify the typical workload by profiling the runtime behavior. Crucial performance hot spots are identified and related to the real-world application to analyze and evaluate the observed efficiency. In a benchmark approach we compare the observed performance to different simulation frameworks.
The paper shows how an agent-based system can be subjected to formal verification using a deductive approach. The particular system for gathering open source intelligence is considered, which is build on a framework for data integration. Techniques allowing for automatic extraction of logical specifications are described with emphasis on pattern-based and rule-based approaches. An example illustrates...
Bullwhip effect (BWE) refers to the accumulation of stock flowing up and down along the supply chain management (SCM). It reduces the operating efficiency of the chain and blocks the operating resources. Some of the common causes of BWE are demand order variations, long lead times, competence defects between supply chain links, lack of communication among links in the chain, etc. There have been efforts...
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.