3425 search results - page 661 / 685 » A Model Driven Approach for Software Systems Reliability |
136
click to vote
SCP
2010
15 years 9 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
118
click to vote
DASC
2006
IEEE
15 years 8 months ago
2006
IEEE
Blade severs are being increasingly deployed in modern datacenters due to their high performance/cost ratio and compact size. In this study, we document our work on blade server b...
128
click to vote
ICDM
2003
IEEE
15 years 7 months ago
2003
IEEE
Clustering is an important technique for understanding and analysis of large multi-dimensional datasets in many scientific applications. Most of clustering research to date has be...
148
click to vote
CN
2004
15 years 1 months ago
2004
Intrusion detection is a surveillance problem of practical import that is well suited to wireless sensor networks. In this paper, we study the application of sensor networks to the...
159
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Fast and reliable algorithms for estimating the head pose are essential for many applications and higher-level face analysis tasks. We address the problem of head pose estimation ...