1336 search results - page 156 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
165
Voted
IHI
2010
14 years 10 months ago
2010
The processes carried out in a hospital emergency department can be thought of as structures of activities that require resources in order to execute. Costs are reduced when resou...
129
Voted
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...
134
click to vote
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
133
Voted
ESANN
2007
15 years 5 months ago
2007
Since perceptual and motor processes in the brain are the result of interactions between neurons, layers and areas, a lot of attention has been directed towards the development of...
146
Voted
WSC
2004
15 years 5 months ago
2004
Simulation and Emulation techniques are fundamental to aid the process of large-scale protocol design and network operations. However, the results from these techniques are often ...