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 paper presents an enhanced jumping and dynamic searching anti-collision algorithm based on dynamic binary anti-collision algorithm and backtracking binary-tree search anti-collision algorithm in order to solve the problem of multi-tag collision in RFID systems. This algorithm also introduces three states for RFID tag to reduce the unnecessary tag response such as sleep, inactive, and active....
Municipal Solid Waste (MSW) management is a big challenge for most cities all over the world, which include the process of collection, transportation, processing and recycling. This paper analyzes the current research situation of MSW and proposes a management information platform based on Internet of Things technology. We use Wuhan city as a case study. This study shows that it is feasible to develop...
The Web was an information resource with dynamic state, at the same time, As the spatial data complexity and its multifamily of application field, to get implicit and useful knowledge of space, it is necessary to study the integration issues of the spatial data and choose a suitable technology for data processing and analysis. In the paper, the features of spatial datum were analyzed, they were seriate...
The basic concepts of Web log mining have been introduced in this paper, in which the steps and processes of Web log mining are given, an distance education system model of Web log mining is set up, through the analysis of experimental data of Web log mining, we have got the different access patterns of visitors and give the different plan of proposing Website as well as personalized service, which...
Liveness properties are important in model checking. We put forward multi-actor liveness rules based on Lesilie Lamport's TLA (temporal logic of actions) and liveness rules, then prove them, which involve existential or universal quantification under weak and strong fairness., At last we formalize the Internet banking system with TLA+ and check them with TLC. The results show these rules are appropriate.
This page puts forward boxed safe ambients with password (BSAP), it is improved from mobile ambients (MA), which can solve the side effect from open operation and strengthen the control capability of its own boundary in MA. Compared to MA, BSAP has the following advantages: 1) cancels open operation in MA and adds the communication operation primitive between ambients and sub-ambients; 2) adds in,...
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.