2451 search results - page 422 / 491 » The Octagon Abstract Domain |
118
Voted
TVCG
2008
15 years 16 days ago
2008
Abstract-Wikipedia is an example of the collaborative, semi-structured data sets emerging on the Web. These data sets have large, nonuniform schema that require costly data integra...
74
Voted
JSW
2007
15 years 16 days ago
2007
Abstract—All aspect orientation languages provide a onesize-fits-all methodology for reflection on join points. However, the amount of resources necessary for this approach is to...
83
Voted
TWC
2008
15 years 16 days ago
2008
Abstract--The wireless medium contains domain-specific information that can be used to complement and enhance traditional security mechanisms. In this paper we propose ways to expl...
104
Voted
CG
2002
Springer
15 years 14 days ago
2002
Springer
Abstract. The paper introduces a new proof-number (PN) search algorithm, called PDS-PN. It is a two-level search, which performs at the first level a depth-first Proof-number and D...
126
click to vote
JELIA
2010
Springer
14 years 10 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...