3229 search results - page 436 / 646 » Theories with the Independence Property |
165
click to vote
VMCAI
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
175
click to vote
PODC
2004
ACM
16 years 1 days ago
2004
ACM
We study a representative task allocation problem called shortest paths: Let G be a graph in which the edges are owned by self interested agents. The cost of each edge is privatel...
172
click to vote
HSNMC
2004
Springer
16 years 8 hour ago
2004
Springer
Because of the ever-increasing popularity of the Internet, network monitoring becomes very mission critical to guarantee the operation of IP networks, e.g. to detect network failur...
154
click to vote
ICAISC
2004
Springer
16 years 7 hour ago
2004
Springer
Abstract. The support vector machine (SVM) constitutes one of the most successful current learning algorithms with excellent classification accuracy in large real-life problems an...
175
click to vote
ISOLA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...