Sciweavers

ATAL
2003
Springer
14 years 4 months ago
Verification and Compliance Testing
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...
Frank Guerin, Jeremy Pitt
E4MAS
2006
Springer
14 years 4 months ago
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems
Environment is an essential part of any multi-agent system (MAS), since it provides the surrounding conditions for agents to exist. For some sort of systems, the environment can be...
Rodrigo B. de Paes, Gustavo R. de Carvalho, Ma&iac...
AMAST
2006
Springer
14 years 4 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
CONCUR
1999
Springer
14 years 4 months ago
Robust Satisfaction
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
Orna Kupferman, Moshe Y. Vardi
ATAL
2004
Springer
14 years 5 months ago
Decentralized Resource Control for Multi-Agent Systems
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...
Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha
SACMAT
2006
ACM
14 years 6 months ago
Traust: a trust negotiation-based authorization service for open systems
In recent years, trust negotiation (TN) has been proposed as a novel access control solution for use in open system environments in which resources are shared across organizationa...
Adam J. Lee, Marianne Winslett, Jim Basney, Von We...
ATAL
2009
Springer
14 years 7 months ago
Operators for propagating trust and their evaluation in social networks
Trust is a crucial basis for interactions among parties in large, open systems. Yet, the scale and dynamism of such systems make it infeasible for each party to have a direct basi...
Chung-Wei Hang, Yonghong Wang, Munindar P. Singh