Sciweavers

1103 search results - page 5 / 221
» Semantic Interoperability of Authorizations
Sort
View
CSFW
2004
IEEE
14 years 1 months ago
By Reason and Authority: A System for Authorization of Proof-Carrying Code
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
Nathan Whitehead, Martín Abadi, George C. N...
EICS
2010
ACM
14 years 2 months ago
Collaboratively maintaining semantic consistency of heterogeneous concepts towards a common concept set
In e-business, creating a common concept set for business integration, interoperation and interaction has to consider the heterogeneity reality of different interpretations from m...
Jingzhi Guo, Iok Ham Lam, Chun Chan, Guangyi Xiao
ENTCS
2006
110views more  ENTCS 2006»
13 years 9 months ago
Semantic Interoperability of Heterogeneous Semantic Resources
This paper presents a three-step approach for interoperabilising heterogeneous semantic resources. Firstly, we construct homogeneous representations of these resources in a pivot ...
Catarina Ferreira Da Silva, Lionel Médini, ...
ASWC
2008
Springer
13 years 11 months ago
Deep Semantic Mapping between Functional Taxonomies for Interoperable Semantic Search
This paper discusses ontology mapping between two taxonomies of functions of artifacts for the engineering knowledge management. The mapping is of two ways and has been manually es...
Yoshinobu Kitamura, Sho Segawa, Munehiko Sasajima,...
MOBIDE
2003
ACM
14 years 3 months ago
Semantically driven service interoperability for pervasive computing
The common vision of pervasive computing environments requires a very large range of devices and software components to interoperate seamlessly. From the assumption that these dev...
Declan O'Sullivan, David Lewis