17471 search results - page 191 / 3495 » Information Modeling |
ARCS
2006
Springer
14 years 1 months ago
2006
Springer
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...
ERSHOV
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
AIM
2006
13 years 11 months ago
2006
: The aim of this study is to assess quality perception of information system (IS) services outsourced by a large Brazilian bank, both from a technical (results) as well as from a ...
EMNLP
2006
13 years 11 months ago
2006
In this paper we address the issue of automatically assigning information status to discourse entities. Using an annotated corpus of conversational English and exploiting morpho-s...
IPM
2006
13 years 9 months ago
2006
This paper examines several different approaches to exploiting structural information in semi-structured document categorization. The methods under consideration are designed for ...