Sciweavers

15421 search results - page 38 / 3085
» Dependability
Sort
View
ICFP
2006
ACM
14 years 8 months ago
Access control in a core calculus of dependency
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
Martín Abadi
CAISE
2003
Springer
14 years 1 months ago
Computing Event Dependencies in System Designs and Programs
Abstract. This paper presents a method to compute metrics that predict maintainability of a system with respect to its event processing. The metrics reflect the complexity of event...
Bruc Lee Liong, Leszek A. Maciaszek
CSL
2000
Springer
14 years 1 months ago
Interactive Programs in Dependent Type Theory
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interf...
Peter Hancock, Anton Setzer
ACL
2008
13 years 10 months ago
Unlexicalised Hidden Variable Models of Split Dependency Grammars
This paper investigates transforms of split dependency grammars into unlexicalised context-free grammars annotated with hidden symbols. Our best unlexicalised grammar achieves an ...
Gabriele Antonio Musillo, Paola Merlo
EMNLP
2007
13 years 10 months ago
A Constraint Satisfaction Approach to Dependency Parsing
We present an adaptation of constraint satisfaction inference (Canisius et al., 2006b) for predicting dependency trees. Three different classifiers are trained to predict weighte...
Sander Canisius, Erik Tjong Kim Sang