Sciweavers

974 search results - page 106 / 195
» Semantic Announcement Sharing
Sort
View
OPODIS
2004
13 years 11 months ago
A Constraint-Based Formalism for Consistency in Replicated Systems
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
Marc Shapiro, Karthikeyan Bhargavan, Nishith Krish...
IDC
2009
Springer
14 years 4 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...
László Aszalós, Andreas Herzi...
SEMWEB
2009
Springer
14 years 4 months ago
Uncertainty Reasoning for Linked Data
Linked open data offers a set of design patterns and conventions for sharing data across the semantic web. In this position paper we enumerate some key uncertainty representation i...
Dave Reynolds
UC
2009
Springer
14 years 4 months ago
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
Frédéric Prost, Chaouki Zerrari
IAT
2007
IEEE
14 years 4 months ago
Simple Algorithms for Representing Tag Frequencies in the SCOT Exporter
In this paper we describe the SCOT Exporter and its algorithms to create instance data based on the SCOT (Social Semantic Cloud of Tags) ontology for sharing and reusing tag data....
Hak Lae Kim, Sung-Kwon Yang, John G. Breslin, Hong...