18 search results - page 3 / 4 » Decidability in Syntactic Control of Interference |
ISM
2005
IEEE
13 years 11 months ago
2005
IEEE
In wireless communications, the available throughput depends on several parameters, like physical layer, base station distance, fading and interference. Users experience changes i...
MFCS
2009
Springer
14 years 9 days ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
FOSSACS
2008
Springer
13 years 7 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
MSWIM
2009
ACM
13 years 10 months ago
2009
ACM
Cognitive Radio (CR) technology constitutes a new paradigm to provide additional spectrum utilization opportunities in wireless ad hoc networks. Recent research in this field has ...
TVCG
2008
13 years 5 months ago
2008
Exploring communities is an important task in social network analysis. Such communities are currently identified using clustering methods to group actors. This approach often leads...