Sciweavers

938 search results - page 89 / 188
» Mathematical Modelling the Ethnic System
Sort
View
146
Voted
SIGMETRICS
2008
ACM
15 years 5 months ago
Ironmodel: robust performance models in the wild
Traditional performance models are too brittle to be relied on for continuous capacity planning and performance debugging in many computer systems. Simply put, a brittle model is ...
Eno Thereska, Gregory R. Ganger
CCE
2006
15 years 5 months ago
Computation of equilibria in models of flue gas washer plants
7 A flue gas washer is a plant for the absorption of noxious components of industrial gas output. The type of flue gas washers that is considered here is a spray tower. In the towe...
Wolfgang Desch, Karin Horn, Georg Propst
IJCSA
2006
95views more  IJCSA 2006»
15 years 5 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
BIRTHDAY
2005
Springer
15 years 11 months ago
Modelling Periodic Temporal Notions by Labelled Partitionings - The PartLib Library
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...
Hans Jürgen Ohlbach
WSC
1997
15 years 6 months ago
Model-Driven Simulation of World-Wide-Web Cache Policies
The World Wide Web (WWW) has experienced a dramatic increase in popularity since 1993. Many reports indicate that its growth will continue at an exponential rate. This growth has ...
Ying Shi, Edward Watson, Ye-Sho Chen