Sciweavers

13180 search results - page 123 / 2636
» Network Models
Sort
View
ENTCS
2007
109views more  ENTCS 2007»
15 years 2 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
106
Voted
CIMCA
2005
IEEE
15 years 8 months ago
Oscillatory neural network for adaptive dynamical image processing
We develop a biologically motivated oscillatory network model and related dynamical synchronizationbased method of image segmentation. The first version of successive segmentation...
Margarita Kuzmina, Edward A. Manykin
111
Voted
LCN
2007
IEEE
15 years 9 months ago
A Measurement-Based Modeling Approach for Network-Induced Packet Delay
— An approach is presented to capture and model Internet end-to-end packet delay behavior using ARMA and ARIMA models. Autocorrelation (ACF) and Partial Autocorrelation (PACF) fu...
Daniel A. Vivanco, Anura P. Jayasumana
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 2 months ago
Bayesian Network Based XP Process Modelling
A Bayesian Network based mathematical model has been used for modelling Extreme Programming software development process. The model is capable of predicting the expected finish ti...
Mohamed Abouelela, Luigi Benedicenti
128
Voted
CONEXT
2006
ACM
15 years 8 months ago
Proposition of a cross-layer architecture model for the support of QoS in ad-hoc networks
Due to the lack of built-in quality of service support, IEEE 802.11 ad-hoc networks presents serious defies in meeting the demands of multimedia applications. To overcome such ch...
Wafa Berrayana, Habib Youssef, Stéphane Loh...