1113 search results - page 71 / 223 » Counter Systems for Data Logics |
120
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
165
click to vote
JAR
2000
15 years 4 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
143
click to vote
FLAIRS
2001
15 years 5 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...
147
click to vote
EDBT
2008
ACM
16 years 4 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
184
click to vote
TABLEAUX
2000
Springer
15 years 7 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...