14084 search results - page 2583 / 2817 » A Theory for Game Theories |
154
click to vote
MOBICOM
2005
ACM
16 years 4 days ago
2005
ACM
Abiding geocast is a time stable geocast delivered to all nodes that are inside a destination region within a certain period of time. Services like position–based advertising, p...
196
click to vote
MSWIM
2005
ACM
16 years 4 days ago
2005
ACM
An analytical model is proposed to describe the priority schemes of the EDCA mechanism of the IEEE 802.11e standard. EDCA provides class-based differentiated QoS to IEEE 802.11 WL...
174
click to vote
MSWIM
2005
ACM
16 years 4 days ago
2005
ACM
A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA pr...
200
click to vote
PASTE
2005
ACM
16 years 4 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
190
click to vote
PLDI
2005
ACM
16 years 4 days ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...