Sciweavers

6218 search results - page 150 / 1244
» Similarity of Semantic Relations
Sort
View
DLOG
2008
15 years 9 months ago
Essential and Mandatory Part-Whole Relations in Conceptual Data Models
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
Alessandro Artale, C. Maria Keet
ICFP
2010
ACM
15 years 7 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
POPL
2012
ACM
14 years 2 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
APN
2003
Springer
15 years 10 months ago
Reactive Petri Nets for Workflow Modeling
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
Rik Eshuis, Juliane Dehnert
GCC
2005
Springer
16 years 3 days ago
Collaborating Semantic Link Network with Resource Space Model
The Semantic Link Network model SLN and Resource Space Model RSM are semantic models proposed separately for effectively specifying and managing versatile resources across the Inte...
Yunpeng Xing, Jie Liu, Xiaoping Sun, Erlin Yao