2137 search results - page 347 / 428 » Proving Abstract Non-interference |
DEXA
2008
Springer
2008
Springer
Evolutionary Clustering in Description Logics: Controlling Concept Formation and Drift in Ontologies
14 years 12 months ago
Abstract. We present a method based on clustering techniques to detect concept drift or novelty in a knowledge base expressed in Description Logics. The method exploits an effectiv...
82
Voted
ECOOP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
ESOP
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. XML database query languages such as XQuery employ regular expression types with structural subtyping. Subtyping systems typically have two presentations, which should be...
66
Voted
ESORICS
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...
80
Voted
ESORICS
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Recently, operators of public transportation in many countries started to roll out electronic tickets (e-tickets). E-tickets offer several advantages to transit enterpris...