Sciweavers

13026 search results - page 326 / 2606
» Probabilistic Relational Models
Sort
View
SCN
2008
Springer
15 years 4 months ago
Two Generic Constructions of Probabilistic Cryptosystems and Their Applications
In this paper, we build, in a generic way, two asymmetric cryptosystems with a careful study of their security. We present first an additively homomorphic scheme which generalizes,...
Guilhem Castagnos
JAIR
2011
133views more  JAIR 2011»
14 years 11 months ago
A Probabilistic Approach for Maintaining Trust Based on Evidence
Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, ...
Yonghong Wang, Chung-Wei Hang, Munindar P. Singh
CAISE
2007
Springer
15 years 10 months ago
Modal Aspects of Object Types and Part-Whole Relations and the de re/de dicto Distinction
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
Giancarlo Guizzardi
AIML
2008
15 years 6 months ago
Modal logics for mereotopological relations
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...
Yavor Nenov, Dimiter Vakarelov
155
Voted
KBSE
2009
IEEE
15 years 11 months ago
A Petri Net Based Debugging Environment for QVT Relations
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...