1761 search results - page 50 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
164
click to vote
CJ
2004
15 years 5 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...
152
click to vote
CLUSTER
2007
IEEE
15 years 5 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...
137
click to vote
CMSB
2006
Springer
15 years 9 months 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...
148
click to vote
ICCV
2009
IEEE
16 years 10 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...
124
click to vote
BPM
2007
Springer
15 years 11 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 ...