Sciweavers

929 search results - page 69 / 186
» Performance analysis of stochastic process algebra models us...
Sort
View
117
Voted
AUTOMATICA
2002
80views more  AUTOMATICA 2002»
15 years 3 months ago
Robust control of nonlinear systems with parametric uncertainty
Probabilistic robustness analysis and synthesis for nonlinear systems with uncertain parameters are presented. Monte Carlo simulation is used to estimate the likelihood of system ...
Qian Wang, Robert F. Stengel
145
Voted
TON
2010
147views more  TON 2010»
15 years 1 months ago
Coverage-time optimization for clustered wireless sensor networks: a power-balancing approach
—In this paper, we investigate the maximization of the coverage time for a clustered wireless sensor network (WSN) by optimal balancing of power consumption among cluster heads (...
Tao Shu, Marwan Krunz
166
Voted
CL
2007
Springer
15 years 3 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains
114
Voted
BMCBI
2006
111views more  BMCBI 2006»
15 years 3 months ago
SIMMAP: Stochastic character mapping of discrete traits on phylogenies
Background: Character mapping on phylogenies has played an important, if not critical role, in our understanding of molecular, morphological, and behavioral evolution. Until very ...
Jonathan P. Bollback
142
Voted
APN
2006
Springer
15 years 7 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer