7529 search results - page 1094 / 1506 » The Modula-3 Type System |
180
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Many databases have become Web-accessible through form-based search interfaces (i.e., HTML forms) that allow users to specify complex and precise queries to access the underlying ...
182
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
Traffic classification is the ability to identify and categorize network traffic by application type. In this paper, we consider the problem of traffic classification in the netwo...
174
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
We introduce a method for learning query transformations that improves the ability to retrieve answers to questions from an information retrieval system. During the training stage...
344
click to vote
ICLP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
192
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Denial of Service (DoS) attacks are serious threats for network societies. For dealing with DoS attacks, Jakobsson and Juels first proposed the notion of useful client puzzles (UC...