2779 search results - page 410 / 556 » Modelling Immunological Memory |
129
Voted
JLP
2007
15 years 3 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
150
click to vote
CORR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
115
Voted
ENTCS
2000
15 years 3 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
132
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
174
Voted
PE
2011
Springer
14 years 10 months ago
2011
Springer
We introduce a new solution technique for closed product-form queueing networks that generalizes the Method of Moments (MoM), a recently proposed exact algorithm that is several o...