813 search results - page 123 / 163 » Correctness Properties for Multiagent Systems |
116
Voted
TSMC
2011
14 years 10 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
154
Voted
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper, we present DKS(N, k, f), a family of infrastructures for building Peer-To-Peer applications. Each instance of DKS(N, k, f) is a fully decentralized overlay network ...
150
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Agents that must reach agreements with other agents need to reason about how their preferences, judgments, and beliefs might be aggregated with those of others by the social choic...
142
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
A voting rule is an algorithm for determining the winner in an election, and there are several approaches that have been used to justify the proposed rules. One justification is t...
132
Voted
GLVLSI
2002
IEEE
15 years 8 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...