Sciweavers

719 search results - page 103 / 144
» Performance Model Building of Pervasive Computing
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
13 years 7 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
SAC
2006
ACM
14 years 1 months ago
Proactive resilience through architectural hybridization
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
Paulo Sousa, Nuno Ferreira Neves, Paulo Verí...
ICDCS
2007
IEEE
14 years 1 months ago
Secure Event Dissemination in Publish-Subscribe Networks
Abstract. Content-based publish-subscribe (pub-sub) systems are an emerging paradigm for building large-scale information delivery systems. Secure event dissemination in a pub-sub ...
Mudhakar Srivatsa, Ling Liu
JRTIP
2008
249views more  JRTIP 2008»
13 years 7 months ago
Model-based mapping of reconfigurable image registration on FPGA platforms
Abstract Image registration is a computationally intensive application in the medical imaging domain that places stringent requirements on performance and memory management efficie...
Mainak Sen, Yashwanth Hemaraj, William Plishker, R...
ICASSP
2008
IEEE
14 years 2 months ago
Adaptive RR prediction for cardiac MRI
Cardiac magnetic resonance imaging (MRI) is very challenging due to the perpetual heart movements. This movement is pseudo-periodic and implies several issues for image acquisitio...
Julien Oster, Olivier Pietquin, Gilles Bosser