7064 search results - page 247 / 1413 » From States to Histories |
168
click to vote
FORTE
1994
15 years 8 months ago
1994
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
177
click to vote
EAAI
2006
15 years 6 months ago
2006
Throughout the history, the evolutions of the requirements for manufacturing equipments have depended on the changes in the customers' demands. Among the present trends in th...
137
click to vote
MR
2007
15 years 6 months ago
2007
Damage pre-cursors based health management and prognostication methodology has been presented for electronic systems in harsh environments. The framework has been developed based ...
155
click to vote
FS
2010
15 years 5 months ago
2010
This paper considers a general reduced form pricing model for credit derivatives where default intensities are driven by some factor process X. The process X is not directly observ...
187
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
—Security will be critical for the wireless interface offered by soon-to-be-ubiquitous smart meters — since if not secure, this technology will provide an remotely accessible a...