176 search results - page 25 / 36 » Deriving a queueing network based performance model from UML... |
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we propose a new framework for the study of cellular networks called the fluid model and we derive from this model analytical formulas for interference, outage ...
TSE
2010
13 years 3 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
MOBICOM
2006
ACM
14 years 2 months ago
2006
ACM
In this work, multi-hop cooperative schemes for underwater sensor networks are studied and shown to be highly energy efficient. Also, the signal model for a multipath channel is d...
AB
2007
Springer
14 years 2 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
IDEAL
2004
Springer
14 years 1 months ago
2004
Springer
This paper defines a constrained Artificial Neural Network (ANN) that can be employed for highly-dependable roles in safety critical applications. The derived model is based upon t...