Sciweavers

236 search results - page 19 / 48
» Structural Distinctions Between Hypermedia Storage and Prese...
Sort
View
HPDC
2008
IEEE
14 years 2 months ago
Key-based consistency and availability in structured overlay networks
Structured Overlay Networks provide a promising platform for high performance applications since they are scalable, fault-tolerant and self-managing. Structured overlays provide l...
Tallat M. Shafaat, Thorsten Schütt, Monika Mo...
ICDE
2006
IEEE
161views Database» more  ICDE 2006»
14 years 2 months ago
A Survey on Disk Oriented Querying and Reasoning on the Semantic Web
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
María del Mar Roldán García, ...
CALCO
2009
Springer
139views Mathematics» more  CALCO 2009»
14 years 3 months ago
Traces, Executions and Schedulers, Coalgebraically
A theory of traces of computations has emerged within the field of coalgebra, via finality in Kleisli categories. In concurrency theory, traces are traditionally obtained from ex...
Bart Jacobs, Ana Sokolova
ASIAN
1998
Springer
111views Algorithms» more  ASIAN 1998»
14 years 21 days ago
A Comparison of Petri Net Semantics under the Collective Token Philosophy
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
Roberto Bruni, José Meseguer, Ugo Montanari...
ICIP
2009
IEEE
13 years 6 months ago
Adaptive mathematical morphology: A unified representation theory
In this paper, we present a general theory of adaptive mathematical morphology (AMM) in the Euclidean space. The proposed theory preserves the notion of a structuring element, whi...
Nidhal Bouaynaya, Dan Schonfeld