229 search results - page 37 / 46 » A General Name Binding Mechanism |
IGPL
2010
13 years 8 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
AAMAS
2011
Springer
13 years 4 months ago
2011
Springer
Abstract. The central question in mechanism design is how to implement a given social choice function. One of the most studied concepts is that of truthful implementations in which...
BMCBI
2010
13 years 7 months ago
2010
Background: Despite experiments showing that the number of microRNA (miRNA) target sites is critical for miRNA targeting, most existing methods focus on identifying individual miR...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
We describe a new attack against web authentication, which we call dynamic pharming. Dynamic pharming works by hijacking DNS and sending the victim’s browser malicious Javascrip...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
This paper presents the results of an exploratory study on the fault-proneness of aspect-oriented programs. We analysed the faults collected from three evolving aspect-oriented sy...