Sciweavers

BIRTHDAY
2010
Springer

Quantitative Simulation Games

13 years 11 days ago
Quantitative Simulation Games
Abstract. Classical formalizations of systems and properties are boolean: given a system and a property, the property is either true or false of the system. The classical view partitions the world into "correct" and "incorrect" systems, offering few nuances. In reality, of several systems that satisfy a property in the boolean sense, often some are more desirable than others, and of the many systems that violate a property, usually some are less objectionable than others. For instance, among the systems that satisfy the response property that every request be granted, we may prefer systems that grant requests quickly (the quicker, the better), or we may prefer systems that issue few unnecessary grants (the fewer, the better); and among the systems that violate the response property, we may prefer systems that serve many initial requests (the more, the better), or we may prefer systems that serve many requests in the long run (the greater the fraction of served to un...
Pavol Cerný, Thomas A. Henzinger, Arjun Rad
Added 21 Mar 2011
Updated 21 Mar 2011
Type Journal
Year 2010
Where BIRTHDAY
Authors Pavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna
Comments (0)