Sciweavers

1167 search results - page 149 / 234
» policy 2007
Sort
View
TASE
2007
IEEE
16 years 19 days ago
Design of a Certifying Compiler Supporting Proof of Program Safety
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Chen...
AIMS
2007
Springer
16 years 16 days ago
Modeling Change Without Breaking Promises
Promise theory defines a method by which static service bindings are made in a network, but little work has been done on handling the dynamic case in which bindings must change ov...
Alva L. Couch, Hengky Susanto, Marc Chiarini
ATAL
2007
Springer
16 years 16 days ago
An event-driven approach for agent-based business process enactment
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
Payal Chakravarty, Munindar P. Singh
ATAL
2007
Springer
16 years 16 days ago
Distributed coordination in uncertain multiagent systems
We consider real-time multi-agent coordination in a dynamic and uncertain domain addressing both distributed state information and partial knowledge of the common reward function....
Rajiv T. Maheswaran, Craig Milo Rogers, Romeo Sanc...
ECML
2007
Springer
16 years 16 days ago
Safe Q-Learning on Complete History Spaces
In this article, we present an idea for solving deterministic partially observable markov decision processes (POMDPs) based on a history space containing sequences of past observat...
Stephan Timmer, Martin Riedmiller