12597 search results - page 2185 / 2520 » Complexity of Mechanism Design |
190
click to vote
MAGS
2008
15 years 7 months ago
2008
Multi-Issue Negotiation protocols have been studied very widely and represent a promising field since most of negotiation problems in the realworld are complex ones including mult...
230
click to vote
MAGS
2008
15 years 7 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
184
click to vote
ENTCS
2007
15 years 7 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
207
click to vote
JSAC
2006
15 years 7 months ago
2006
The ability to inspect both packet headers and payloads to identify attack signatures makes network intrusion detection system (NIDS) a promising approach to protect Internet syste...
224
click to vote
FGCS
2007
15 years 7 months ago
2007
The continuous increase of data volumes available from many sources raises new challenges for their effective understanding. Knowledge discovery in large data repositories involv...