2525 search results - page 61 / 505 » A Framework for Semantic Gossiping |
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
121
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
116
Voted
WADT
2004
Springer
15 years 6 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
93
Voted
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
102
click to vote
ALDT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Argumentation has been acknowledged as a powerful mechanism for automated decision making. In this context several recent works have studied the problem of accommodating ...