2958 search results - page 272 / 592 » Extending and Implementing RASP |
114
Voted
JCS
2010
14 years 11 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
113
click to vote
PVLDB
2010
14 years 11 months ago
2010
Though partially automated, developing schema mappings remains a complex and potentially error-prone task. In this paper, we present TRAMP (TRAnsformation Mapping Provenance), an ...
RP
2010
Springer
14 years 11 months ago
2010
Springer
We aim at finding a set of timing parameters for which a given timed automaton has a “good” behavior. We present here a novel approach based on the decomposition of the parame...
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
110
click to vote
EMNLP
2010
14 years 10 months ago
2010
We reveal a previously unnoticed connection between dependency parsing and statistical machine translation (SMT), by formulating the dependency parsing task as a problem of word a...