1534 search results - page 115 / 307 » Error Reporting Logic |
135
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we propose a preprocessing method to improve Side Channel Attacks (SCAs) on Dual-rail with Precharge Logic (DPL) countermeasure family. The strength of our method i...
162
click to vote
IDC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
124
click to vote
PAPM
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
129
click to vote
ICTAI
1996
IEEE
15 years 8 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
144
click to vote
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...