1299 search results - page 85 / 260 » Quantitative Simulation Games |
153
click to vote
EMSOFT
2003
Springer
15 years 9 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
143
Voted
STOC
2009
ACM
16 years 4 months ago
2009
ACM
The price of anarchy (POA) is a worst-case measure of the inefficiency of selfish behavior, defined as the ratio of the objective function value of a worst Nash equilibrium of a g...
101
Voted
GI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract: In der Lehre zum Thema Wissensbasierte Robotik verwenden wir seit Kurzem den Robotersimulator USARSIM, der weltweit im Kontext der RoboCup Rescue Real Robot Liga eingeset...
206
Voted
ASIASIM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Information security is a crucial technique for an organization to survive in these days. However, there is no integrated model to assess the security risk quantitatively...
149
Voted
PACT
2007
Springer
15 years 9 months ago
2007
Springer
We consider BioAmbients, a calculus for specifying biological entities and for simulating and analysing their behaviour. We extend BioAmbients to take quantitative information into...