1716 search results - page 243 / 344 » Proving Conditional Termination |
152
click to vote
ALIFE
2005
15 years 3 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
129
click to vote
TSP
2008
15 years 3 months ago
2008
In this two-part paper, we propose a decentralized strategy, based on a game-theoretic formulation, to find out the optimal precoding/multiplexing matrices for a multipoint-to-mult...
142
click to vote
CN
2004
15 years 3 months ago
2004
Congestion-based pricing of network resources is a common approach in evolving network architectures that support Quality of Service (QoS). Resource usage and QoS will thus fluctu...
248
click to vote
HPCC
2011
Springer
14 years 3 months ago
2011
Springer
Abstract—In the Infrastructure-as-a-Service (IaaS) cloud computing market, spot instances refer to virtual servers that are rented via an auction. Spot instances allow IaaS provi...
136
click to vote
ISTCS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce the k-payment problem: given a total budget of N units, the problem is to represent this budget as a set of coins, so that any k exact payments of total value at most ...