1162 search results - page 127 / 233 » An Information-Based Theory of Conditionals |
162
click to vote
NCA
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we consider the problem of designing load balancing protocols in distributed systems where the participants (e.g. computers, users) are capable of manipulating the l...
165
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
141
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
—Recently, game theory has been proposed as a tool for cooperative control. Specifically, the interactions of a multiagent distributed system are modeled as a non-cooperative ga...
157
click to vote
IWANN
2009
Springer
15 years 11 months ago
2009
Springer
We propose a general method for estimating the distance between a compact subspace K of the space L1 ([0, 1]s ) of Lebesgue measurable functions defined on the hypercube [0, 1]s ,...
263
click to vote
DSN
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe and test a software approach to overcoming radiation-induced errors in spaceborne applications running on commercial off-the-shelf components. The approach uses checks...