129
Voted
ATAL
2001
Springer
15 years 7 months ago
2001
Springer
137
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Verification and compliance testing are required if agents are to be delegated responsibility for legally binding contracts, for example in electronic markets. This paper describes...
139
click to vote
ATAL
2001
Springer
15 years 7 months ago
2001
Springer
This paper analyzes the process of automated negotiation between two competitive agents that have firm deadlines and incomplete information about their opponent. Generally speaking...
115
Voted
ASYNC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper presents a new approach to two-level hazardfree sum-of-products logic minimization. No currently available minimizers for single-output literal-exact two-level hazard-f...
149
Voted
ASYNC
2001
IEEE
15 years 7 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...