4447 search results - page 658 / 890 » Model Checking Games |
134
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract— Third party developed software add-ins enhance the functionality of a large variety of base software such as operating systems, word processors, spread sheets, graphics...
166
click to vote
IFIP
2003
Springer
15 years 12 months ago
2003
Springer
In multi-hop wireless networks, every node is expected to forward packets for the benefit of other nodes. Yet, if each node is its own authority, then it may selfishly deny packe...
187
click to vote
PROMS
2001
Springer
15 years 11 months ago
2001
Springer
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
181
click to vote
COORDINATION
2000
Springer
15 years 11 months ago
2000
Springer
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordin...
151
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...