5639 search results - page 214 / 1128 » Timed Abstract Non-interference |
152
click to vote
SIAMJO
2010
15 years 1 months ago
2010
Abstract. We investigate integer programs containing monomial constraints of the type Q iI xi i = b. Due to the number-theoretic nature of these constraints, standard methods based...
217
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—We consider the problem of jointly optimizing channel pairing, channel-user assignment, and power allocation in a single-relay multiple-access system. The optimization o...
312
click to vote
ASUNAM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—In this paper we introduce a new model to represent an interconnected network of networks. This model is fundamental to reason about the real organization of on-line soc...
246
click to vote
CALCO
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We propose a probabilistic interpretation of a class of reversible communicating processes. The rate of forward and backward computing steps, instead of being given expli...
151
click to vote
SRDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...