1548 search results - page 216 / 310 » Semantics and Extensions of WS-Agreement |
JANCL
2008
13 years 10 months ago
2008
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
JASIS
2008
13 years 10 months ago
2008
Data cubes for OLAP (Online Analytical Processing) often need to be constructed from data located in several distributed and autonomous information sources. Such a data integratio...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Using Dirac Notation as a powerful tool, we investigate the three classical Information Retrieval (IR) models and some their extensions. We show that almost all such models can be...
INFFUS
2006
13 years 10 months ago
2006
This paper addresses the problem of merging uncertain information in the framework of possibilistic logic. It presents several syntactic combination rules to merge possibilistic k...
ENTCS
2007
13 years 10 months ago
2007
When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...