1329 search results - page 204 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
SAS
2001
Springer
15 years 4 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...
100
click to vote
ATAL
2006
Springer
15 years 1 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...
114
click to vote
WIOPT
2011
IEEE
14 years 3 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...
ICDCS
1991
IEEE
15 years 3 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...
ICIAR
2009
Springer
15 years 6 months 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...