3119 search results - page 308 / 624 » General Default Logic |
159
click to vote
PPDP
2005
Springer
16 years 6 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
159
click to vote
FPGA
2004
ACM
16 years 3 days ago
2004
ACM
We consider active leakage power dissipation in FPGAs and present a “no cost” approach for active leakage reduction. It is well-known that the leakage power consumed by a digi...
163
click to vote
ICFEM
2004
Springer
16 years 3 days ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
169
click to vote
JELIA
2004
Springer
16 years 2 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
187
click to vote
KR
2004
Springer
16 years 2 days ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...