Sciweavers

15421 search results - page 42 / 3085
» Dependability
Sort
View
SAC
2004
ACM
14 years 2 months ago
Mining dependence rules by finding largest itemset support quota
In the paper a new data mining algorithm for finding the most interesting dependence rules is described. Dependence rules are derived from the itemsets with support significantly ...
Alexandr A. Savinov
CICLING
2004
Springer
14 years 2 months ago
Unlexicalized Dependency Parser for Variable Word Order Languages Based on Local Contextual Pattern
We investigate the effect of unlexicalization in a dependency parser for variable word order languages and propose an unlexicalized parser which can utilize some contextual inform...
Hoo-Jung Chung, Hae-Chang Rim
POPL
1999
ACM
14 years 29 days ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...
ISORC
1999
IEEE
14 years 28 days ago
Automated Dependability Analysis of UML Designs
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
Andrea Bondavalli, Ivan Mura, István Majzik
ARCS
2006
Springer
14 years 12 days ago
Safety, Liveness, and Information Flow: Dependability Revisited
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
Zinaida Benenson, Felix C. Freiling, Thorsten Holz...