29143 search results - page 172 / 5829 » A Sortation System Model |
170
click to vote
ATVA
2009
Springer
16 years 29 days 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...
174
click to vote
COMPSAC
2008
IEEE
16 years 26 days 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 ...
146
click to vote
WCNC
2008
IEEE
16 years 23 days 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...
150
click to vote
ICDCSW
2007
IEEE
16 years 21 days 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...
209
click to vote
UIC
2007
Springer
16 years 15 days 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...