24421 search results - page 391 / 4885 » Communicating Complex Systems |
171
click to vote
FROCOS
2009
Springer
15 years 10 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
124
click to vote
WSC
2004
15 years 5 months ago
2004
Distributed simulation promises a range of benefits and opportunities, especially for modeling large-scale complex systems, such as wafer fabs. However, as with many promising tec...
131
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
146
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In wireless cellular systems, capacity can be increased if both in-cell and out-of-cell cochannel interference (CCI) is properly handled. Moreover, spatial multiplexing...
129
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In Multiband OFDM (MB-OFDM) systems, frequency hopping (FH) is proposed to achieve multiple access, mitigate interference and extend the range of communications.