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 concept paper presents the preliminary work on the application of formal method to verify the correctness of software-hardware co-design. A model checking tool called UPPAAL is used to check the fault-tolerance of the system design. The paper briefly describes the hardware platform, a fleet of collaborative AUVs (autonomous underwater vehicles) named Eco-Dolphin, and its software architecture...
The development of computer science and applications changes with each passing day. The software companies and research institutions put forward higher requirements for computer science majors' professional capacity and creative ability. However, many problems still exist in the current status of teaching computer science majors and directly affect the quality of professional training, so it brings...
One of the key characteristics of context-aware adaptive applications (CAAAs) is to change their behaviors according to the user-configured adaptation rules at runtime. Some of these rules, however, often result in inconsistence with the specifications of the CAAAs because of the complexity of the adaptive applications. A formal modeling method based on binding bigraphs is proposed to solve this inconsistence...
With the explosion of data growth, the problem how to retrieve information accurately and effectively comes into focus. To address this issue, researchers have put forward a variety of semantic retrieval models. This paper presents SDDP(Semantic, Density, Distance, Property) model which is an improved ontology-based semantic similarity calculation, and in this model the factors, such as semantic density,...
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.