1536 search results - page 286 / 308 » The Underlying Logic of Hoare Logic |
189
click to vote
DSN
2009
IEEE
16 years 25 days ago
2009
IEEE
The threat of soft error induced system failure in high performance computing systems has become more prominent, as we adopt ultra-deep submicron process technologies. In this pap...
163
click to vote
TOOLS
2009
IEEE
16 years 24 days ago
2009
IEEE
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
162
click to vote
ICNP
2009
IEEE
16 years 22 days ago
2009
IEEE
—With advances in energy harvesting techniques, it is now feasible to build sustainable sensor networks (SSN) to support long-term applications. Unlike battery-powered sensor net...
202
click to vote
LICS
2009
IEEE
16 years 21 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
177
click to vote
ATAL
2009
Springer
16 years 20 days ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...