2128 search results - page 98 / 426 » A general characterization of indulgence |
150
click to vote
DCG
2006
15 years 4 months ago
2006
Abstract. Hyperbolic area is characterized as the unique continuous isometry invariant simple valuation on convex polygons in H2 . We then show that continuous isometry invariant s...
151
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Properties, which have long been used for reasoning about systems, are sets of traces. Hyperproperties, introduced here, are sets of properties. Hyperproperties can express securi...
135
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper we describe anomaly-based intrusion detection as a specialized case of the more general behavior detection problem. We draw concepts from the field of etho...
110
click to vote
MFCS
2000
Springer
15 years 8 months ago
2000
Springer
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...
AMC
2010
15 years 4 months ago
2010
In this paper properties of cell matrices are studied. A determinant of such a matrix is given in a closed form. In the proof a general method for determining a determinant of a s...