Sciweavers

435 search results - page 23 / 87
» A Model-based Simulation Approach to Error Analysis of IT Se...
Sort
View
JSS
2010
142views more  JSS 2010»
13 years 3 months ago
Analysis of service availability for time-triggered rejuvenation policies
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
Felix Salfner, Katinka Wolter
SPIN
2010
Springer
13 years 7 months ago
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance
In our earlier work we have proposed using the declarative language DecSerFlow for modeling, analysis and enactment of processes in autonomous web services. DecSerFlow uses constra...
Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aal...
GLOBECOM
2006
IEEE
14 years 2 months ago
On the Performance of Cooperative Wireless Fixed Relays in Asymmetric Channels
Abstract— In many scenarios the commonly assumed symmetry in multiple relay channels is unrealistic. Therefore, this paper, through analytical and simulation efforts, investigate...
Abdulkareem Adinoyi, Halim Yanikomeroglu
GLOBECOM
2006
IEEE
14 years 2 months ago
Service Differentiation by a Link Layer Protocol Based on SR ARQ over a Satellite Channel
— This paper studies the case where multiple IP flows are aggregated over a single satellite channel and an error recovery by retransmissions is performed by SelectiveRepeat (SR...
Toshihiro Shikama, Takashi Watanabe, Tadanori Mizu...
MIA
2010
95views more  MIA 2010»
13 years 3 months ago
Evaluation of brain atrophy estimation algorithms using simulated ground-truth data
A number of analysis tools have been developed for the estimation of brain atrophy using MRI. Since brain atrophy is being increasingly used as a marker of disease progression in ...
Swati Sharma, Vincent Noblet, François Rous...