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.
Ubiquitous systems use context information and observed human patterns to dynamically change appliance behavior to human needs in today's world. We would like to comment that resources, infrastructures and applications supporting these two, keep on changing as per dynamic changes in environment. We have tried to cover reasoning patterns and after watching carefully some happening events, to predict...
This paper proposes a new classification method for data stream based on the combination concept drift detection and classification model. The proposed method includes a pooling mechanism, which stores classifiers corresponding to different concepts to ensure that the classification model will not do re-training when those concepts which appeared previously are present again, so as to directly sort...
The importance of continuous delivery and the emergence of tools allowing to treat infrastructure configurations programmatically have revolutionized the way computing resources and software systems are managed. However, these tools keep lacking an explicit model representation of underlying resources making it difficult to introspect, verify or reconfigure the system in response to external events...
The development of adaptive distributed systems is complex. Due to a large amount of interdependencies and feedback loops between network nodes and software components, distributed systems respond nonlinearly to changes in the environment and system adaptations. Although Event Condition Action (ECA) rules allow a crisp definition of the adaptive behavior and a loose coupling with the actual system...
Composite services are notoriously prone to failure, this is particularly true for long-running, and data-intensive services. Different composition strategies can be employed to make compositions robust. Any service composition strategy does impact performance at the lower network layer and needs to be assessed. Novel approaches are needed to model and evaluate dynamically reconfigurable service composition...
Distributed computing systems (DCS) host a wide variety of enterprise applications in dynamic and uncertain operating environments. These applications require stringent reliability, availability, and quality of service (QoS) guarantee to maintain their service level agreements (SLAs). Due to the growing size, increasing complexity, and varying nature of applications hosted in DCS, development of a...
A tool that supports rapid software development and effective process management is presented in this paper. The tool is designed in accordance with an integrated method that asks less design work for speeding software development and also, for effective management, directs the development of system components by imposing a layered specification and construction of these components through its process...
Requirement verification is an important part of the development process, and the increasing system complexity has exacerbated the need for integrating this step into a formalized model driven development process, providing a dedicated methodology as well as tool support. In this paper the authors propose an extension for Modelica, an equation-based language for system modeling, that will allow to...
In case of under specified or not fully predictable systems, models specifying system behaviors are no deterministic. No determinism poses several challenges for the validation and verification activities, including the problem of inconclusive tests in model-based testing with model checker. It is a validation technique that uses model checker counterexamples as test cases. In this paper, we tackle...
In software engineering, design patterns are commonly used and represent robust solution templates to frequently occurring problems in software design and implementation. In this paper, we consider performance simulation for two design patterns for processing of parallel messaging. We develop continuous-time Markov chain models of two commonly used design patterns, Half-Sync/Half-Async and Leader/Followers,...
This paper proposes an approach for the integration of land-surface evapotranspiration monitoring system. Two software of GIS and RS and two models of Energy and Water Balance were seamless integrated by component technology. An opening three-layer (data-layer, function-layer and application-layer from bottom to top) framework is constructed. The patterns of integrating GIS into RS and Energy and...
When computational process occurs in uncertain environments, the environmental changes often cause unpredictable influence on the computation. Self-adaptive software is one of the possible ways to tackle and handle this motivation. It evaluates its own behavior and surrounding environment, and adapts itself when the evaluation indicates that it is not accomplishing what the system is intended to do,...
This paper deals with a support tool for an automation of simulation of Coloured Petri nets and selected simulation experiments conducted with the aid of the tool. The tool is called CPN Assistant, it has been developed at the home institution of the authors and cooperates with the CPN Tools software. It allows to run and manage multiple customized simulations in a network environment. The experiments...
In recent years, the software development productivity has been attracting higher attention by the professional community because of its increasing importance for the development of complex software systems and applications. At the same time, component-based technologies have emerged as a modern and promising approach with a clear potential to improve significantly the productivity of software development...
One of the main steps of service assurance is service monitoring using Key Performance Indicators (KPIs) and Service Level Agreements (SLAs). We show an approach for service modeling, first starting with an abstract service model that depends on the network. And then, we show how a corresponding model can be realized using a domain specific language. This solution is able to condense various sources...
Reliability is one of the major concerns for software engineers. The increasing size of software systems and their inherent complexity - which is essentially related to the intricate interdependencies among many heterogeneous components - pose serious difficulties to its assessment and assurance. The actual system runtime behavior is difficult to forecast during the development phase, and just relying...
Currently, virtualization is a proven technology that potentially provides a great opportunity for industry growth and research, due to its advantages in flexibility and cost reduction. However, designing virtual network environments is a complex process that requires great effort. For this, the work proposed in this paper is focused on applying modeling techniques to characterize virtual network...
The presented policy-based management system supports autonomous control and adaptation of a distributed system according to changing conditions and requirements by means of event-condition-action (ECA) rules. Furthermore, it supports policy-aware application programming. Application components can request evaluations of policy expressions and decisions in order to govern their behavior depending...
This paper addresses stochastic dynamic assignment of perishable goods in a scale-free network. We develop an agent-based simulation model in which the supplies and demands for a single perishable commodity are generated at each node (agent) in the network. We match supplies and demands with several pre-specified assignment rules and given various commodity decay durations. A utility is associated...
This article is absorbed in the grid and a system framework for the simulation grid is introduced. The model of the modularization function is designed. The solution of pivotal technology and realization which correlated to function modules is discussed. Resource management and task schedule in simulation grid system is effectively realized which is shown to enhance the effect of simulation running.
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.