8479 search results - page 1581 / 1696 » Data Extraction from Web Data Sources |
112
Voted
CN
2007
15 years 3 months ago
2007
Receiver-driven TCP protocols delegate key congestion control functions to receivers. Their goal is to exploit information available only at receivers in order to improve latency ...
142
click to vote
SP
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
125
click to vote
IPM
2007
15 years 3 months ago
2007
The work described here initially formed part of a triangulation exercise to establish the effectiveness of the Query Term Order algorithm. The methodology produced subsequently p...
124
click to vote
ENTCS
2002
15 years 3 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
156
click to vote
IJCIM
2002
15 years 3 months ago
2002
In this paper the architectures and usability issues of web-based software tools are discussed. For the development of automobile lighting components, various designers, developers...