188 search results - page 1 / 38 » A Formal Implementation of Value Commitment |
ESOP
2008
Springer
13 years 6 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
SGAI
2009
Springer
13 years 9 months ago
2009
Springer
Temporality and uncertainty are important features of many real world systems. Solving problems in such systems requires the use of formal mechanism such as logic systems, statisti...
MASA
2001
Springer
13 years 9 months ago
2001
Springer
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...