3082 search results - page 241 / 617 » Deviation Analysis: A New Use of Model Checking |
188
click to vote
ECOOP
2005
Springer
16 years 1 days ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
180
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Discovery of biomarkers that are correlated with therapy response and thus with survival is an important goal of medical research on severe diseases, e.g. cancer. Freq...
163
click to vote
KDD
2006
ACM
16 years 7 months ago
2006
ACM
Finding patterns of social interaction within a population has wide-ranging applications including: disease modeling, cultural and information transmission, and behavioral ecology...
134
click to vote
TR
2008
15 years 6 months ago
2008
Abstract--As an alternative to traditional life testing, degradation tests can be effective in assessing product reliability when measurements of degradation leading to failure can...
196
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
This paper introduces a CAD framework for co-simulation of hybrid circuits containing CMOS and SET (Single Electron Transistor) devices. An improved analytical model for SET is al...