Sciweavers

2517 search results - page 352 / 504
» Specifying Weak Sets
Sort
View
ATAL
2007
Springer
16 years 22 days ago
A component-based approach to standardising agent communication
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfa...
Frank Guerin, Wamberto Weber Vasconcelos
ATAL
2007
Springer
16 years 22 days ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao
ATAL
2007
Springer
16 years 22 days ago
Subjective approximate solutions for decentralized POMDPs
A problem of planning for cooperative teams under uncertainty is a crucial one in multiagent systems. Decentralized partially observable Markov decision processes (DECPOMDPs) prov...
Anton Chechetka, Katia P. Sycara
CCS
2007
ACM
16 years 22 days ago
Direct static enforcement of high-level security policies
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
Qihua Wang, Ninghui Li
DALT
2007
Springer
16 years 22 days ago
Component-Based Standardisation of Agent Communication
We address the problem of standardising the semantics of agent communication. The diversity of existing approaches suggests that no single agent communication language can satisfac...
Frank Guerin, Wamberto Weber Vasconcelos