8,268 research outputs found
A Generic Model of Contracts for Embedded Systems
We present the mathematical foundations of the contract-based model developed
in the framework of the SPEEDS project. SPEEDS aims at developing methods and
tools to support "speculative design", a design methodology in which
distributed designers develop different aspects of the overall system, in a
concurrent but controlled way. Our generic mathematical model of contract
supports this style of development. This is achieved by focusing on behaviors,
by supporting the notion of "rich component" where diverse (functional and
non-functional) aspects of the system can be considered and combined, by
representing rich components via their set of associated contracts, and by
formalizing the whole process of component composition
Reason Maintenance - State of the Art
This paper describes state of the art in reason maintenance with a focus on its future usage in the KiWi project. To give a bigger picture of the field, it also mentions closely related issues such as non-monotonic logic and paraconsistency. The paper is organized as follows: first, two motivating scenarios referring to semantic wikis are presented which are then used to introduce the different reason maintenance techniques
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad
Generalized metric spaces are obtained by weakening the requirements (e.g.,
symmetry) on the distance function and by allowing it to take values in
structures (e.g., quantales) that are more general than the set of non-negative
real numbers. Quantale-valued metric spaces have gained prominence due to their
use in quantitative reasoning on programs/systems, and for defining various
notions of behavioral metrics.
We investigate imprecision and robustness in the framework of quantale-valued
metric spaces, when the quantale is continuous. In particular, we study the
relation between the robust topology, which captures robustness of analyses,
and the Hausdorff-Smyth hemi-metric. To this end, we define a preorder-enriched
monad , called the Hausdorff-Smyth monad, and when is a
continuous quantale and is a -metric space, we relate the topology
induced by the metric on with the robust topology on the
powerset defined in terms of the metric on .Comment: 19 pages, 1 figur
Weighted logics for artificial intelligence : an introductory discussion
International audienceBefore presenting the contents of the special issue, we propose a structured introductory overview of a landscape of the weighted logics (in a general sense) that can be found in the Artificial Intelligence literature, highlighting their fundamental differences and their application areas
- …