Sciweavers

4962 search results - page 96 / 993
» Stochastic Model Checking
Sort
View
ICC
2007
IEEE
117views Communications» more  ICC 2007»
14 years 3 months ago
Radio Channel Modelling Using Stochastic Propagation Graphs
Abstract— In this contribution the radio channel model proposed in [1] is extended to include multiple transmitters and receivers. The propagation environment is modelled using r...
Troels Pedersen, Bernard H. Fleury
IPPS
2006
IEEE
14 years 3 months ago
Using stochastic Petri nets for performance modelling of application servers
Application servers have been widely adopted as distributed infrastructure (or middleware) for developing distributed systems. Current approaches for performance evaluation of app...
F. N. Souza, R. D. Arteiro, Nelson S. Rosa, Paulo ...
WSC
2004
13 years 10 months ago
A Stochastic On-Line Model for Shipment Date Quoting with On-Time Delivery Guarantees
The paper introduces a new model for shipment date quoting with potential applications in E-commerce. First, a customer sends to the vendor a request for an item advertised at a c...
Yunpeng Pan, Leyuan Shi
GECCO
2007
Springer
182views Optimization» more  GECCO 2007»
14 years 28 days ago
Stochastic training of a biologically plausible spino-neuromuscular system model
A primary goal of evolutionary robotics is to create systems that are as robust and adaptive as the human body. Moving toward this goal often involves training control systems tha...
Stanley Phillips Gotshall, Terence Soule
ICASSP
2011
IEEE
13 years 23 days ago
A stochastic compartmental approach to modeling and simulation of cancer spheroid formation and evolution
In this paper we model and simulate a biological system describing the evolution of cancer stem cells into tumors. Starting from some basic hypotheses about the behavior of these ...
Mónica F. Bugallo, Shishir Dash, Galina Bot...