2525 search results - page 316 / 505 » A Framework for Semantic Gossiping |
162
click to vote
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
We propose a framework where behavioural properties of finite-state systems modelled as graph transformation systems can be expressed and verified. The technique is based on the ...
150
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
164
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...
149
click to vote
ICALP
2004
Springer
15 years 11 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
172
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
We present KADOP, a distributed infrastructure for warehousing XML resources in a peer-to-peer framework. KADOP allows users to build a shared, distributed repository of resources...