3729 search results - page 105 / 746 » On Formal Modeling of Agent Computations |
206
click to vote
WOA
2003
15 years 7 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...
182
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
In multi-agent planning environments, action models for each agent must be given as input. However, creating such action models by hand is difficult and time-consuming, because i...
169
click to vote
WECWIS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...
161
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
186
click to vote
LOGCOM
2008
15 years 5 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...