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.
Heuristic search is an important part of modern dynamic symbolic execution (DSE) tools, as heuristic search can be used to effectively explore the large program input space. Searching task remains one of several research challenges due to the fact that the input space grows exponentially with the increase of program size, and different programs may have very different structures. The challenge is...
In recent years, sharing healthcare information becomes one of essential requirements of e-health development. To cover this gap, different solutions are presented through different technologies. In this paper, we proposed a cloud computing solution for sharing healthcare information based on Google App Engine (GAE). With the experiment test results, we achieve interoperability among different healthcare...
As the cloud market is growing fast and more and more enterprises are moving their services to the cloud, assurance of cloud service quality becomes one of the key success factors of cloud business. Due to the dynamic nature of the cloud, it's more complicated to manage and guarantee quality level in the cloud than that in the telecommunication. In order to address these issues, we developed a service...
Establishing traceability systems is an effective way in monitoring quality and safety of livestock products. Developed countries have already established complete traceability systems. This study points out the insufficiencies of the traceable network system in China based on an online searching and analysis of its current development, then posts a integrated traceability system for livestock products,...
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.