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.
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal states. Recent research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using different model checking...
Model checking provides a way to automatically verify hardware and software systems, whereas the goal of planning is to produce a sequence of actions that leads from the initial state to the desired goal state. Recently research indicates that there is a strong connection between model checking and planning problem solving. In this paper, we investigate the feasibility of using a newly developed model...
The paper investigates and analyzes the relationship between metacognitive strategies and their English capabilities of 90 sophomores of English majors in the writing of English as a second language based on multimedia technology. Quantitative researches are involved in the investigation and the result shows that the frequencies of the subjects' metacognitive strategies in fundamental English writing...
Software Engineering is a comprehensive and highly practical course, traditional teaching is very inadequate. This paper further research teaching reform and practice on the Software Engineering course. We proposed that concept maps can be employed to the software engineering teaching. The role and the application approach of concept map are explored. And we introduce our practice teaching reform...
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.