2661 search results - page 390 / 533 » Model Checking Performability Properties |
EVOW
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Although important contributions have been made in recent years within the field of bioprocess model development and validation, in many cases the utility of even relativ...
CTRSA
2008
Springer
14 years 2 days ago
2008
Springer
We present a study of several fault attacks against the block cipher IDEA. Such a study is particularly interesting because of the target cipher's specific property to employ ...
NIPS
2001
13 years 11 months ago
2001
We describe a programmable multi-chip VLSI neuronal system that can be used for exploring spike-based information processing models. The system consists of a silicon retina, a PIC...
VMV
2001
13 years 11 months ago
2001
We have assembled a preliminary environment for simulating tasks that are performed in colonoscopy to provide a professional learning experience. Different commercial endoscopy si...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We develop the distance dependent Chinese restaurant process (CRP), a flexible class of distributions over partitions that allows for nonexchangeability. This class can be used to...