380 search results - page 67 / 76 » A Software Framework for Automated Negotiation |
SOSP
2003
ACM
14 years 5 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
Fault-tolerant (FT) distributed protocols (such as group membership, consensus, etc.) represent fundamental building blocks for many practical systems, e.g., the Google File System...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
Metamorphic testing has been shown to be a simple yet effective technique in addressing the quality assurance of applications that do not have test oracles, i.e., for which it is ...
DEXAW
1998
IEEE
14 years 1 months ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...
ATAL
2006
Springer
14 years 21 days ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...