Sciweavers

435 search results - page 25 / 87
» A Model-based Simulation Approach to Error Analysis of IT Se...
Sort
View
SIGMETRICS
2008
ACM
13 years 8 months ago
A view-probability-matrix approach to the modelling of gossiping protocols
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...
Thomas Krieger, Martin Riedl, Johann Schuster, Mar...
VTC
2006
IEEE
14 years 2 months ago
Asymptotic Performance of Broadcast Services in IEEE 802.16e with CSTD
The IEEE 802.16e system for multicast and broadcast service (MBS) is further investigated over [4]. It is shown that 802.16e networks can exploit advanced transmission and flexibl...
Guocong Song, Kenneth Stewart, Robert Love, Xiangy...
AUTOMATICA
2006
90views more  AUTOMATICA 2006»
13 years 8 months ago
An ISS-modular approach for adaptive neural control of pure-feedback systems
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...
Cong Wang, David J. Hill, S. S. Ge, Guanrong Chen
BPM
2006
Springer
128views Business» more  BPM 2006»
13 years 10 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
ICCAD
2010
IEEE
119views Hardware» more  ICCAD 2010»
13 years 6 months ago
Symbolic system level reliability analysis
Abstract--More and more embedded systems provide a multitude of services, implemented by a large number of networked hardware components. In early design phases, dimensioning such ...
Michael Glaß, Martin Lukasiewycz, Felix Reim...