1757 search results - page 48 / 352 » Alternating Refinement Relations |
IJACT
2008
15 years 16 days ago
2008
: Certificateless cryptography is a promising technology for solving the key escrow problem in identity-based cryptography. However, the lack of a unified set of definitions and se...
SPEECH
2008
15 years 13 days ago
2008
Evaluation of spoken dialogue systems has been traditionally carried out in terms of instrumentally or expert-derived measures (usually called ``objective" evaluation) and qu...
ACSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
: This paper reflects on many risks in the development and use of computer-related systems. It considers past and future alternatives, suggests some remedial approaches, and offe...
142
click to vote
COMMA
2010
14 years 7 months ago
2010
Different proposals have been made in the literature for refining Dung's argumentation framework by preferences between arguments. The idea is to ignore an attack if the atta...
115
Voted
FORTE
2001
15 years 1 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...