1963 search results - page 305 / 393 » Applications of Preferences using Answer Set Programming |
97
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
118
Voted
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
140
Voted
ARGMAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this work, an agent architecture that combines defeasible argumentation and the BDI model is described. Argumentation will be used as a mechanism for reasoning about b...
116
Voted
CSB
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a new strategy for designing degenerate primers for a given multiple alignment of amino acid sequences. Degenerate primers are useful for amplifying homologou...
108
Voted
ICSE
2007
IEEE-ACM
16 years 2 months ago
2007
IEEE-ACM
It has been widely advocated that software architecture an effective set of abstractions for engineering (families of) complex software systems. However, architectural concepts ar...