12981 search results - page 395 / 2597 » Model Checking (Abstract) |
165
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
190
click to vote
ICDM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Breast cancer is the leading cause of cancer mortality in women between the ages of 15 and 54. During mammography screening, radiologists use a strict lexicon (BI-RADS) ...
208
Voted
BIRTHDAY
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
174
Voted
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
171
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...