Sciweavers

1103 search results - page 121 / 221
» Semantic Interoperability of Authorizations
Sort
View
TCS
2011
15 years 1 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
190
Voted
ICAC
2006
IEEE
16 years 5 days ago
Using Autonomic Principles to Manage Converged Services in Next Generation Networks
Network resources will always be heterogeneous, and thus have different functionalities and programming models. This adversely affects interoperability. Seamless Mobility is one e...
John Strassner
ATAL
2005
Springer
15 years 11 months ago
Progressive ontology alignment for meaning coordination: an information-theoretic foundation
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
W. Marco Schorlemmer, Yannis Kalfoglou
157
Voted
CAISE
2005
Springer
15 years 11 months ago
Query Processing Using Ontologies
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
Chokri Ben Necib, Johann Christoph Freytag
COOPIS
2000
IEEE
15 years 10 months ago
An Extensible Business Communication Language
Abstract. A main problem for electronic commerce, particularly for businessto-business applications, lies in the need for the involved information systems to meaningfully exchange ...
Hans Weigand, Wilhelm Hasselbring