2685 search results - page 463 / 537 » A Formal Semantics for SPKI |
180
click to vote
MIDDLEWARE
2007
Springer
16 years 9 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
139
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
In this paper we address the problem of migrating instances between heterogeneous overlapping ontologies. The instance migration problem arises when one wants to reclassify a set o...
184
click to vote
AICT
2006
IEEE
16 years 7 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
156
click to vote
ICDE
2006
IEEE
16 years 6 days ago
2006
IEEE
A key aspect of any data integration endeavor is establishing a transformation that translates instances of one or more source schemata into instances of a target schema. This sch...
157
click to vote
WCRE
2006
IEEE
16 years 5 days ago
2006
IEEE
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolv...