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.
Divide-and-conquer is essential to address state explosion in model checking. Traditionally, an over-approximate context is required when verifying each individual component in a system. This may cause state explosion for the intermediate results as well as inefficiency for abstraction refinement. This paper presents an opposite approach, a coordinated reachability analysis method, that constructs...
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...
The verifiability principle of meaning holds that information is meaningful only if there is a procedure that can verify whether it is true or false. In this paper, we explore this principle of philosophy in the realm of program comprehension. We introduce the notion of concept programs, which are independent, executable, and thus verifiable units of program knowledge. Concept programs are well-suited...
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...
Next generation networks, as well as the Future Internet, need to provide context-sensitive services that adapt to changing user needs, business goals, and environmental conditions. This article presents a novel autonomic management methodology and associated architecture to make the networks and devices that it manages responsive to context-aware business needs. This approach provides a mapping between...
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the paths. A chosen path may be infeasible and so it is desirable to have methods that can direct the search for appropriate paths through the EFSM towards those that are likely to be feasible. However, generating feasible transition...
Engineering systems is a field of scholarship focused on developing fundamental theories and methods to address the challenges of large-scale complex systems in context of their socio-technical environments. The authors describe facets of their recent and ongoing research within the field of engineering systems to develop constructs and methods for architecting enterprises engaged in system-of-systems...
For situated reinforcement learning agents to succeed in complex real world environments they have to be able to efficiently acquire and reuse control knowledge in order to accomplish new tasks faster and to accelerate the learning of new policies. While hierarchical learning approaches which transfer previously acquired skills and representations to model and control new tasks have the potential...
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.