12981 search results - page 2362 / 2597 » Model Checking (Abstract) |
159
click to vote
DBSEC
2007
15 years 5 months ago
2007
Abstract. The event-condition-action (ECA) paradigm holds enormous potential in pervasive computing environments. However, the problem of reliable delivery of event data, generated...
136
click to vote
DBSEC
2007
15 years 5 months ago
2007
Abstract. In this paper, we present the design of gVault, a cryptographic network file system that utilizes the data storage provided by Gmail’s web-based email service. Such a ...
134
Voted
ECIR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In focussed XML retrieval, a retrieval unit is an XML element that not only contains information relevant to a user query, but also is specific to the query. INEX defin...
117
Voted
LREC
2010
15 years 5 months ago
2010
In this paper, we report on our attempt at assigning semantic information from the English FrameNet to lexical units in the Bulgarian valency lexicon. The paper briefly presents t...
132
Voted
ECIR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present results of a new approach to detect destructive article revisions, so-called vandalism, in Wikipedia. Vandalism detection is a one-class classification problem...