5639 search results - page 214 / 1128 » Timed Abstract Non-interference |
107
Voted
SIAMJO
2010
14 years 9 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...
147
Voted
INFOCOM
2011
IEEE
14 years 6 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...
230
Voted
ASUNAM
2011
IEEE
14 years 2 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...
190
Voted
CALCO
2011
Springer
14 years 2 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...
109
click to vote
SRDS
2003
IEEE
15 years 7 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...