188 search results - page 15 / 38 » Concurrent Games with Ordered Objectives |
TKDE
1998
13 years 8 months ago
1998
—There is an ever-increasing demand for more complex transactions and higher throughputs in transaction processing systems leading to higher degrees of transaction concurrency an...
IPPS
2010
IEEE
13 years 6 months ago
2010
IEEE
In this paper, we study the problem of finding optimal mappings for several independent but concurrent workflow applications, in order to optimize performance-related criteria tog...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
Game theory is emerging as a popular tool for distributed control of multiagent systems. In order to take advantage of these game theoretic tools the interactions of the autonomous...
NGITS
1999
Springer
14 years 25 days ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
FOSSACS
2007
Springer
14 years 2 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...