5128 search results - page 870 / 1026 » When Abstraction Fails |
222
click to vote
CCS
2005
ACM
16 years 17 days ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
194
click to vote
ATAL
2005
Springer
16 years 15 days ago
2005
Springer
2. THE MASM ALGORITHM An input to the MASM algorithm is a time-annotated multi-agent action sequence. The action sequence is then transformed into an action graph. An action graph ...
232
Voted
MIDDLEWARE
2004
Springer
16 years 11 days ago
2004
Springer
In recent years, the gossip-based communication model in large-scale distributed systems has become a general paradigm with important applications which include information dissemi...
188
click to vote
KBSE
2003
IEEE
16 years 9 days ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
225
Voted
TLDI
2003
ACM
16 years 8 days ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...