2525 search results - page 146 / 505 » A Framework for Semantic Gossiping |
218
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
164
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functoria...
157
Voted
ENTCS
2008
15 years 7 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
134
click to vote
ENTCS
2007
15 years 7 months ago
2007
r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
155
click to vote
WILF
2005
Springer
16 years 12 days ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...