4962 search results - page 560 / 993 » Stochastic Model Checking |
127
click to vote
WSC
1998
15 years 6 months ago
1998
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
118
click to vote
FS
2006
15 years 4 months ago
2006
We introduce a general approach to model a joint market of stock price and a term structure of variance swaps in an HJM-type framework. In such a model, strongly volatility-depend...
160
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. An important issue in tracking is how to incorporate an appropriate degree of adaptivity into the observation model. Without any adaptivity, tracking fails when object pr...
126
click to vote
DSN
2005
IEEE
15 years 10 months ago
2005
IEEE
Self-propagating codes, called worms, such as Code Red, Nimda, and Slammer, have drawn significant attention due to their enormous adverse impact on the Internet. There is a grea...
138
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...