748 search results - page 23 / 150 » Mechanism design for abstract argumentation |
CTRSA
2011
Springer
13 years 1 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
SASO
2007
IEEE
14 years 4 months ago
2007
IEEE
For self-organising emergent solutions, there is no support to explicitly design system-wide information flows and feedback loops in those flows. This is problematic because the...
INFOCOM
2000
IEEE
14 years 2 months ago
2000
IEEE
Abstract— Optimizing TCP (Transport Layer) for mobility has been researched extensively. We present a brief summary of existing results which indicates that most schemes require ...
CCR
1999
13 years 9 months ago
1999
Abstract-RSVP has been designed to support resource reservation in the Internet. However, it has two major problems: complexity and scalability. The former results in large message...
FDG
2009
ACM
14 years 4 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...