35419 search results - page 88 / 7084 » How are we doing |
116
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
126
Voted
RTA
2010
Springer
15 years 1 months ago
2010
Springer
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
87
Voted
ACL
2001
15 years 5 months ago
2001
For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas, which must then be -reduced individually. Underspecified versions can ...
135
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Denial-of-Service (DoS) attacks remain a challenging problem in the Internet. In a DoS attack the attacker is attempting to make a resource unavailable to its intended le...
229
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...