1329 search results - page 204 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
144
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
168
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
194
click to vote
WIOPT
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
150
click to vote
ICDCS
1991
IEEE
15 years 9 months ago
1991
IEEE
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
145
click to vote
ICIAR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Digital signage is a very attractive medium for advertisement and general communications in public open spaces. In order to add interaction capabilities to digital signag...