Sciweavers

1926 search results - page 59 / 386
» From P to MP Systems
Sort
View
PDPTA
2004
14 years 11 months ago
P2P-enhanced Distributed Computing in EM Medical Image Reconstruction
As the algorithms that are used to reconstruct medical images from measurable projection data continue to become mature, medical image reconstruction has remained an interesting a...
Xiang Li, Tao He, Shaowen Wang, Ge Wang, Jun Ni
IANDC
2010
116views more  IANDC 2010»
14 years 8 months ago
Weak bisimulation is sound and complete for pCTL*
Abstract. We investigate weak bisimulation of probabilistic systems in the presence of nondeterminism, i.e. labelled concurrent Markov chains (LCMC) with silent transitions. We bui...
Josée Desharnais, Vineet Gupta, Radha Jagad...
ICDIM
2007
IEEE
15 years 1 months ago
Incentives for resource sharing in self-organized communities: From economics to social psychology
In this position paper we analyze the benefits of enabling virtual communities to self-organize and introduce a novel research direction for providing incentives, required in this...
Panayotis Antoniadis, Bénédicte Le G...
IJNSEC
2011
145views more  IJNSEC 2011»
14 years 4 months ago
Symmetric Key Image Encryption Scheme with Key Sequences Derived from Random Sequence of Cyclic Elliptic Curve Points
In this paper, cyclic elliptic curves of the form y2 + xy = x3 + ax2 + b, a, b ∈ GF(2m ) with order M is considered in the design of a Symmetric Key Image Encryption Scheme with...
S. V. Sathyanarayana, M. Aswatha Kumar, K. N. Hari...
CALCO
2005
Springer
69views Mathematics» more  CALCO 2005»
15 years 3 months ago
From T-Coalgebras to Filter Structures and Transition Systems
Abstract. For any set-endofunctor T : Set → Set there exists a largest subcartesian transformation µ to the filter functor F : Set → Set. Thus we can associate with every T-c...
H. Peter Gumm