2786 search results - page 210 / 558 » A Practical Technique for Process Abstraction |
147
click to vote
MMMACNS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Partner key management (PKM) is an interoperable credential management protocol for online commercial transactions of high value. PKM reinterprets traditional public key ...
200
click to vote
VTC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— In this paper, we propose an incentive system to stimulate the nodes’ cooperation in multi-hop wireless networks. Reducing the number and the size of the payment rece...
199
click to vote
IMCSIT
2010
15 years 4 months ago
2010
Abstract--The paper proposes a model which allows integration of services published by independent providers into scientific or business workflows. Optimization algorithms are prop...
162
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In analyzing diffusion magnetic resonance imaging, multitensor models address the limitations of the single diffusion tensor in situations of partial voluming and fiber c...
141
click to vote
ICFEM
2007
Springer
16 years 19 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...