4224 search results - page 714 / 845 » Reasoning about Choice |
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
Software clones are identical or similar pieces of code. They are often the result of copy–and–paste activities as ad-hoc code reuse by programmers. Software clones research i...
119
Voted
IGPL
2010
14 years 11 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
97
Voted
IGPL
2010
14 years 11 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...
129
click to vote
JLP
2008
14 years 11 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
88
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—Collaborative applications for co-located mobile users can be severely disrupted by a sybil attack to the point of being unusable. Existing decentralized defences have largely b...