1902 search results - page 169 / 381 » Differential Dynamic Logics |
177
click to vote
SAC
2004
ACM
16 years 3 days ago
2004
ACM
XML data can be stored in different databases including ObjectRelational Database (ORDB). Using ORDB, we get the benefit of the relational maturity and the richness of OO modeling...
161
click to vote
ICCAD
2000
IEEE
15 years 11 months ago
2000
IEEE
— Fault diagnosis has particular importance in the context of field programmable gate arrays (FPGAs) because faults can be avoided by reconfiguration at almost no real cost. Cl...
166
click to vote
FDTC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Balanced gates are an effective countermeasure against power analysis attacks only if they can be guaranteed to maintain their power balance. Traditional testing and reli...
218
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...
214
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...