Sciweavers

183 search results - page 24 / 37
» A Computational Model of Logic-Based Negotiation
Sort
View
CIA
2006
Springer
15 years 1 months ago
Iterative Query-Based Approach to Efficient Task Decomposition and Resource Allocation
Intelligent coordination in complex multi-agent environments requires sophisticated mechanisms for suboptimal task decomposition and efficient resource allocation provided by the t...
Michal Pechoucek, Ondrej Lerch, Jirí B&iacu...
ICDCS
2005
IEEE
15 years 3 months ago
Equational Approach to Formal Analysis of TLS
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
Kazuhiro Ogata, Kokichi Futatsugi
CSCWD
2008
Springer
14 years 11 months ago
A method of task allocation for collaborative diagnosis
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
JianHui Liu, XianSheng Qin
NSDI
2004
14 years 11 months ago
Contract-Based Load Management in Federated Distributed Systems
This paper focuses on load management in looselycoupled federated distributed systems. We present a distributed mechanism for moving load between autonomous participants using bil...
Magdalena Balazinska, Hari Balakrishnan, Michael S...
TIDSE
2004
Springer
15 years 3 months ago
Object Oriented Prompted Play (O2P2): A Pragmatic Approach to Interactive Narrative
We describe an interactive narrative system that embodies Object Oriented Prompted Play (O2P2). This means that behaviours, attributes, and crucially stories are attached to object...
Daniel Roberts, Mark Wright