444 search results - page 75 / 89 » Termination by Abstraction |
IJFCS
2008
13 years 9 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract—We study a problem of broadcasting confidential messages to multiple receivers under an information-theoretic secrecy constraint. Two scenarios are considered: 1) all r...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract—Capacity improvement from transmitter and receiver cooperation is investigated in a two-transmitter, two-receiver network with phase fading and full channel state inform...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract— Infrastructure based wireless communications systems as well as ad hoc networks experience a growing importance in present-day telecommunications. An increased density ...
EI
2007
13 years 9 months ago
2007
Abstract— Multimedia transmissions, especially sports transmissions, are an important share of the services offered by mobile network operators. Due to limited capacity, lossy co...