Sciweavers

904 search results - page 165 / 181
» Game Theory
Sort
View
ICDCS
2006
IEEE
15 years 3 months ago
On the Access Pricing Issues of Wireless Mesh Networks
This paper studies the use of pricing as an incentive mechanism to encourage private, self-interested nodes to participate in a public wireless mesh network and cooperate in the p...
Ray K. Lam, John C. S. Lui, Dah-Ming Chiu
LICS
2005
IEEE
15 years 3 months ago
Modal Characterisation Theorems over Special Classes of Frames
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā€...
Anuj Dawar, Martin Otto
APN
2005
Springer
15 years 3 months ago
High-Level Nets with Nets and Rules as Tokens
Abstract. High-Level net models following the paradigm ā€œnets as tokensā€ have been studied already in the literature with several interesting applications. In this paper we prop...
Kathrin Hoffmann, Hartmut Ehrig, Till Mossakowski
ATAL
2005
Springer
15 years 3 months ago
Dynamic epistemic logic with assignment
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...
HICSS
2003
IEEE
128views Biometrics» more  HICSS 2003»
15 years 2 months ago
Developing a Community Vision: The Case of a Regional United Way
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
Bradd C. Hayes