4867 search results - page 141 / 974 » Fluid Models in Performance Analysis |
147
Voted
ESORICS
2003
Springer
15 years 10 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
169
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
129
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we propose an equivalent model in a serial queue for representing the serial connection of the load balancer and a Web server of the Web cluster. We have set up an ...
139
click to vote
ICML
2005
IEEE
16 years 5 months ago
2005
IEEE
Several algorithms for learning near-optimal policies in Markov Decision Processes have been analyzed and proven efficient. Empirical results have suggested that Model-based Inter...
152
Voted
ICIP
2003
IEEE
16 years 6 months ago
2003
IEEE
Facial expression interpretation, recognition and analysis is a key issue in visual communication and man to machine interaction. In this paper, we present a technique for extract...