1761 search results - page 50 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
CJ
2004
13 years 8 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
CLUSTER
2007
IEEE
13 years 9 months ago
2007
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
CMSB
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Starting from a biochemical signalling pathway model expressed in a process algebra enriched with quantitative information we automatically derive both continuous-space a...
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
This paper presents a method to quantitatively evaluate
information contributions of individual bottom-up and topdown
computing processes in object recognition. Our objective
is...
BPM
2007
Springer
14 years 3 months ago
2007
Springer
Although there has been much progress in developing process mining algorithms in recent years, no effort has been put in developing a common means of assessing the quality of the ...