4636 search results - page 910 / 928 » Modelling and Validation with VipTool |
CSB
2004
IEEE
13 years 11 months ago
2004
IEEE
Gene expression profiles with clinical outcome data enable monitoring of disease progression and prediction of patient survival at the molecular level. We present a new computatio...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
Bounded model checking (BMC) has gained widespread industrial use due to its relative scalability. Its exhaustiveness over all valid input vectors allows it to expose arbitrarily ...
CHES
2006
Springer
13 years 11 months ago
2006
Springer
Side-channel attacks are a serious threat to implementations of cryptographic algorithms. Secret information is recovered based on power consumption, electromagnetic emanations or ...
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we study the fundamental limits of a wireless sensor network's lifetime under connectivity and k-coverage constraints. We consider a wireless sensor network wit...
DSN
2006
IEEE
13 years 11 months ago
2006
IEEE
World Wide Web, the biggest distributed system ever built, experiences tremendous growth and change in Web sites, users, and technology. A realistic and accurate characterization ...