1147 search results - page 50 / 230 » Termination in language-based systems |
GI
2001
Springer
14 years 1 months ago
2001
Springer
In wireless communication systems, the capacity of a cell (the amount of correctly delivered traffic in unit time) is a precious resource that can not be arbitrarily increased. T...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Digital Audio Broadcast (DAB) systems are considered for delivery of audio information to users in heavily attended sporting, cultural, and amusement events [1]. A uniq...
VMCAI
2012
Springer
12 years 4 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
ICESS
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose semantic web-based mobile knowledge searching systems for display Web pages on mobile terminals. The proposed system reduces the time of verification when ...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
We propose novel solutions for unicast routing in wireless networks consisted of selfish terminals: in order to alleviate the inevitable over-payment problem (and thus economic i...