Sciweavers

1061 search results - page 36 / 213
» A general definition of malware
Sort
View
CADE
2008
Springer
14 years 8 months ago
Specification Predicates with Explicit Dependency Information
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
Richard Bubel, Reiner Hähnle, Peter H. Schmit...
MFCS
2000
Springer
14 years 1 days ago
XML Grammars
Abstract. XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properti...
Jean Berstel, Luc Boasson
WWW
2005
ACM
14 years 9 months ago
Partitioning of Web graphs by community topology
We introduce a stricter Web community definition to overcome boundary ambiguity of a Web community defined by Flake, Lawrence and Giles [2], and consider the problem of finding co...
Hidehiko Ino, Mineichi Kudo, Atsuyoshi Nakamura
EDBT
2008
ACM
162views Database» more  EDBT 2008»
14 years 8 months ago
Schema merging and mapping creation for relational sources
We address the problem of generating a mediated schema from a set of relational data source schemas and conjunctive queries that specify where those schemas overlap. Unlike past a...
Rachel Pottinger, Philip A. Bernstein
APVIS
2008
13 years 10 months ago
Height Ridge Computation and Filtering for Visualization
Motivated by the growing interest in the use of ridges in scientific visualization, we analyze the two height ridge definitions by Eberly and Lindeberg. We propose a raw feature d...
Ronald Peikert, Filip Sadlo