28962 search results - page 350 / 5793 » Computational Mechanism Design |
154
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
168
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
The abstractions and protocol mechanisms that form the basis for inter-agent communications can significantly impact the overall design and effectiveness of Mobile Agent systems. W...
145
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Service-oriented computing can benefit from multi-agent system technologies by adopting the coordination mechanisms, interaction protocols, and decision-making tools designed for...
170
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
174
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Online production groups have the potential to transform the way that knowledge is produced and disseminated. One of the most widely used forms of online production is the wiki, w...