4737 search results - page 812 / 948 » The LOGIC negotiation model |
174
click to vote
ATAL
2005
Springer
16 years 16 days ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
172
Voted
BIRTHDAY
2005
Springer
16 years 16 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
194
Voted
HIPEAC
2005
Springer
16 years 15 days ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
149
click to vote
PADS
2004
ACM
16 years 13 days ago
2004
ACM
In optimistic simulations, checkpointing techniques are often used to reduce the overhead caused by state saving. In this paper, we propose event reconstruction as a technique wit...
210
click to vote
FMCO
2004
Springer
16 years 11 days ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...