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.
Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities which satisfy two different sector bound conditions depending wether the state is closed or distant from the origin. The approach described here is based on the uniting of control Lyapunov functions as introduced in. The stabilization...
The graphical text representation method such as Conceptual Graphs (CGs) attempts to capture the structure and semantics of documents. As such, they are the preferred text representation approach for a wide range of problems namely in natural language processing, information retrieval and text mining. In a number of these applications, it is necessary to measure the dissimilarity (or similarity) between...
For autonomous nonlinear systems stability and input-output properties in small enough (infinitesimally small) neighborhoods of (linearly) asymptotically stable equilibrium points can be inferred from the properties of the linearized dynamics. On the other hand, generalizations of the S-procedure and sum-of-squares programming promise a framework potentially capable of generating certificates valid...
This paper develops a rigorous and practical method for estimating the reliability-with confidence regions-of a complex system based on a combination of full system and subsystem (and/or component or other) tests. It is assumed that the system is composed of multiple processes (e.g., the subsystems and/or components within subsystems), where the subsystems may be arranged in series, parallel (i.e...
Workflows are widely used in applications that require coordinated use of computational resources. Workflow definition languages typically abstract over some aspects of the way in which a workflow is to be executed, such as the level of parallelism to be used or the physical resources to be deployed. As a result, a workflow management system has responsibility for establishing how best to map tasks...
For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements has to be set in the architecture design phase. However, finding a suitable architecture design is a difficult task for software and system architects. Some of the reasons for this are an ever-increasing complexity of today's...
Many real-world problems demand a feasible solution to satisfy physical equilibrium, stability, or certain properties which require an additional lower level optimization problem to be solved. Although such bilevel problems are studied somewhat in the context of a single objective in each level, there are not many studies in which multiple conflicting objectives are considered in each level. Bilevel...
Service level agreements (SLAs) is currently one of the major research topics in grid computing. Among many system components for the supporting of SLA-aware Grid- based workflow, the SLA mapping module receives important positions. Optimizing execution time is an important task of the mapping module as it helps in finding out a feasible solution when the Grid is busy or by eliminating the negative...
General Game Playing (GGP) aims at developing game playing agents that are able to play a variety of games and in the absence of game specific knowledge, become proficient players. Most GGP players have used standard tree-search techniques enhanced by automatic heuristic learning. In this paper we explore knowledge representation and learning in GGP using Reinforcement Learning and Ant Colony Algorithms...
With the multiplication of wireless communication networks and the increasing capabilities of the user devices equipped with multiple technology interfaces, being always connected tends to be a reality in the near future. In this article we propose to pilot the current weak handover algorithms using an autonomic agent-based piloting system. We specifically focus on the pre-execution handover process...
Accurate determination of stack sizes for tasks is essential for software systems whose tasks have predeclared stack sizes (for example, embedded systems). Underestimation of the stack size can lead to stack overflows, a particularly insidious run time error. Overestimation will lead to wastage of precious memory space of these often memory starved systems. In this paper, we describe a tool 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.