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 has been widely used in program verification and debugging. In this paper, we present ModelX, which makes the first step towards using formal methods to verify the design of large-scale cloud applications. Our basic idea is to model the high-level behavior of cloud applications in early design, and use the distributed model checker, SPIN, to verify whether the LTL (linear temporal logic)...
With the development of the Internet of Things, data islands and information redundancy which caused by massive heterogeneous data has become a challenge of many commercial applications and scientific research hot spots. First, we proposed and designed a MapReduce data integration and data fusion architecture, then, we established a stable information processing environment and a unified information...
The PCB production and quality are directly affected by processing data in the design and manufacture file. At present, the existing checkup tools for processing data have some shortages, such as too few objects examined, inconvenience, poor flexibility and scalability, and so on. An automatic checkup method based on knowledge for PCB processing data is presented in this paper, which automatically...
In RFID system, a critical issue is security and privacy problem. Firstly, several typical methods to against security and privacy problems are introduced, then based on this protocols, and aim at the shortages in them and other improved ones which provided by some literatures, we propose a new improved scheme based on hash function. The modified scheme resists illegal access, tracking, eavesdropping,...
Replica value determination plays an important role in the problem of replication in data grid, since only replicating high value replicas can improve the replication efficiency. However, replica value determination methods applied now do not perform well, because they cannot well adapt to the changes of file access patterns. We address this problem by introducing a new replica value determination...
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.