1941 search results - page 256 / 389 » Reasoning about Computations Using Two-Levels of Logic |
142
Voted
BMCBI
2011
14 years 10 months ago
2011
Background: During meiosis, homologous chromosomes exchange segments via the formation of crossovers. This phenomenon is highly regulated; in particular, crossovers are distribute...
119
click to vote
PRDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Reliability has become a serious concern as systems embrace nanometer technologies. In this paper, we propose a novel approach for organizing redundancy that provides high degree ...
142
Voted
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a li...
130
Voted
PODC
2003
ACM
15 years 9 months ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
154
click to vote
VSTTE
2012
Springer
13 years 11 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...