4978 search results - page 271 / 996 » Logical models of argument |
177
click to vote
LOGCOM
1998
15 years 5 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
181
click to vote
UTP
2010
15 years 3 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
171
click to vote
CORR
2011
Springer
15 years 29 days ago
2011
Springer
We answer a problem posed in [GKM08] regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of “incremental bra...
173
click to vote
EUROCRYPT
2011
Springer
14 years 9 months ago
2011
Springer
In this work, we present HIBE and ABE schemes which are “unbounded” in the sense that the public parameters do not impose additional limitations on the functionality of the sy...
174
Voted
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—This paper considers the problem of designing scheduling algorithms for multi-channel (e.g., OFDM-based) wireless downlink systems. We show that the Server-Side Greedy (SSG) rul...