Although there are some research efforts toward resource allocation in multi-agent systems (MAS), most of these work assume that each agent has complete information about other ag...
Abstract. Congestion games are a well-studied model for resource sharing among uncoordinated selfish agents. Usually, one assumes that the resources in a congestion game do not hav...
Heiner Ackermann, Paul W. Goldberg, Vahab S. Mirro...
: We develop a model to study the impact of changes in price or quality sensitivity on the firm as it introduces multiple generations of a durable product where unit costs are a co...
Guilherme Liberali, Thomas S. Gruca, Walter M. Niq...
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Sh...
Market-based compute grids encompass service providers offering limited resources to potential users with varying demands and willingness to pay. Providers face difficult decisions...