4485 search results - page 217 / 897 » Equivalences on Observable Processes |
107
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we propose a new tool called OWL-CM (OWL Combining Matcher) that deals with uncertainty inherent to ontology mapping process. On the one hand, OWL-CM uses the techniq...
128
Voted
BPM
2004
Springer
15 years 9 months ago
2004
Springer
Modeling of a business system has traditionally been based on free text documents. This work describes an elaborate experiment that constitutes a proof of concept to the idea that ...
122
Voted
FSTTCS
2004
Springer
15 years 9 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
88
Voted
TAL
2004
Springer
15 years 9 months ago
2004
Springer
We describe a proposal on spelling correction intended to be applied on Galician, a Romance language. Our aim is to put into evidence the flexibility of a novelty technique that p...
107
Voted
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
traction for HOPLA Mikkel Nygaard1 and Glynn Winskel2 1 BRICS , University of Aarhus 2 Computer Laboratory, University of Cambridge A fully abstract denotational semantics for the ...