4327 search results - page 817 / 866 » Web presentation system using RST events |
157
click to vote
ICLP
1997
Springer
15 years 8 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
168
click to vote
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Given a graph database D and a query graph g, an exact subgraph matching query asks for the set S of graphs in D that contain g as a subgraph. This type of queries find important...
172
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents λI , a language for dynamic tracking of information flow across multiple, interdependent dimensions of information. Typical dimensions of interest are integr...
160
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—In this paper we present a design methodology for the identification and development of a suitable hardware platform (including dedicated hardware accelerators) for the data pl...
153
click to vote
NDSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...