2432 search results - page 162 / 487 » Cryptographic logical relations |
USENIX
1994
15 years 2 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
100
Voted
ICTAI
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
CAEPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
81
Voted
IEAAIE
2005
Springer
15 years 6 months ago
2005
Springer
We propose an approach to Natural Language Processing exploiting knowledge domain in an e-commerce scenario. Based on such modeling an NLP parser is presented, aimed at translating...
90
Voted
GLVLSI
2002
IEEE
15 years 5 months ago
2002
IEEE
A compact delay model for series connected MOSFETs has been derived. This model enables accurate prediction of worst-case delay of different logic families such as dynamic logic. ...