Sciweavers

430 search results - page 44 / 86
» On the logic of coalitional games
Sort
View
TARK
2007
Springer
14 years 2 months ago
Alternating-time temporal logics with irrevocable strategies
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
Thomas Ågotnes, Valentin Goranko, Wojciech J...
CORR
2010
Springer
113views Education» more  CORR 2010»
13 years 8 months ago
Game semantics for first-order logic
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
Olivier Laurent
COLCOM
2008
IEEE
14 years 2 months ago
Incentive and Trust Issues in Assured Information Sharing
Assured information sharing among different organizations in a coalitional environment is an important first step in accomplishing many critical tasks. For example, different secur...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...
INFOCOM
2007
IEEE
14 years 2 months ago
Non-Cooperative Multi-Radio Channel Allocation in Wireless Networks
— Channel allocation was extensively studied in the framework of cellular networks. But the emergence of new system concepts, such as cognitive radio systems, has brought this to...
Márk Félegyházi, Mario Cagalj...
DBSEC
2007
106views Database» more  DBSEC 2007»
13 years 9 months ago
Enforcing Honesty in Assured Information Sharing Within a Distributed System
The growing number of distributed information systems such as the internet has created a need for security in data sharing. When several autonomous parties attempt to share data, t...
Ryan Layfield, Murat Kantarcioglu, Bhavani M. Thur...