6153 search results - page 252 / 1231 » Modeling Cyclic Change |
178
click to vote
SERA
2007
Springer
16 years 21 days ago
2007
Springer
To better understand insurgent activities and asymmetric warfare, a social adaptive model for modeling multiple insurgent groups attacking multiple military and civilian targets i...
180
click to vote
DAC
2006
ACM
16 years 17 days ago
2006
ACM
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
177
click to vote
ICW
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— In this paper, we present an analytical study targeted at statistically capturing the loss behavior of a RED queue. We utilize a finite-state Markov chain model. Start...
160
click to vote
AMOST
2005
ACM
16 years 4 days ago
2005
ACM
Despite the fact that EJB (Enterprise Java Beans) is a widely used technology, research in the area of performance modelling of EJB application servers is quite sparse. This paper...
147
click to vote
ATVA
2005
Springer
16 years 4 days ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...