4636 search results - page 374 / 928 » Modelling and Validation with VipTool |
147
Voted
WORM
2003
15 years 6 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...
134
click to vote
ADHOC
2010
15 years 4 months ago
2010
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...
126
Voted
CCE
2006
15 years 4 months ago
2006
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...
157
click to vote
IJCSA
2006
15 years 4 months ago
2006
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...
137
Voted
CSDA
2007
15 years 4 months ago
2007
Vector autoregressive (VAR) modelling is one of the most popular approaches in multivariate time series analysis. The parameters interpretation is simple, and provide an intuitive...