29143 search results - page 172 / 5829 » A Sortation System Model |
123
Voted
ATVA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
122
Voted
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
104
Voted
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In an opportunistic spectrum sharing (OSS) wireless network there are two types of users: primary users and secondary users. The primary users own the license for the system ba...
97
Voted
ICDCSW
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important but difficult problem. Thi...
151
Voted
UIC
2007
Springer
15 years 8 months ago
2007
Springer
As wireless communication advances, research on location-based services using mobile devices has attracted interest, which provides information and services related to user’s phy...