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.
Knowing the real-time position of moving trains is critical for public transportation safety. To obtain the real-time train position, signal based, video based and sensor based solutions have been proposed. However, those solutions are either too expensive or only applicable for normal driving scenario. In this paper, we propose a real-time tracking solution for light railway trains inside the depot...
Running regularly is a good way to keep fit. However, people's laziness usually stop them from keep up. Motivated by the competition and achievement system in many video games, we propose Runking, a mobile social network based persuasion system for running exercise. Runking can rank users' exercise records among friends and push those who are lazier than others. Meanwhile, if users keep on active,...
This paper presents a proposal on design of a secure client on smart phone to monitor automotive sensor network. Recently, more and more vehicles, such as BMW X5, are connected from outside via smart phone[3]. From smart phone, users can use the internet resources in automotive. Also, from smart phone users can monitor the automotives. When the automotive is moving or stolen by robber, an alert information...
This paper presents an comparison on interactivity of three Linux schedulers: O (1), CFS and MIOS [1], in an embedded system. We have ported the O (1) and MIOS into Linux 2.6.32, and done the test in this framework. Different experiments in both high workload and low workload are done in a 0.16 millisecond accuracy. The result shows that a) CFS is not the best in interactivity comparing with O(1)...
This paper presents the transformation of dual transition timed Petri Net (DTTPN) into timed automaton for model checking embedded system described in DTTPN which can model real-time embedded system in both control and data domain on different design phases. This paper proposes to transform a DTTPN model subnet into automaton, and then combine these concurrent subnets into whole one. For each DTTPN...
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.