789 search results - page 134 / 158 » A Formal Model for Epistemic Interactions |
127
click to vote
ICWS
2008
IEEE
15 years 3 months ago
2008
IEEE
WSBPEL [2] opens up the possibility of applying a range of formal techniques to the verification of Web service behaviors from two points of view: constraints between activities w...
150
Voted
WOA
2003
15 years 3 months ago
2003
— This paper describes a methodology to design a workflow management system where a set of intelligent software agents composes an interactive scenario. The Workflow Management C...
102
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
113
click to vote
NC
2010
15 years 11 days ago
2010
Abstract. Inspired by P systems initiated by Gheorghe P˜aun, we study a computation model over a multiset of communicating objects. The objects in our model are instances of fini...
130
Voted
JAIR
2011
14 years 9 months ago
2011
Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, ...