Sciweavers

236 search results - page 1 / 48
» RBVO Formation Protocol
Sort
View
IAT
2007
IEEE
13 years 11 months ago
RBVO Formation Protocol
Jirí Vokrínek, Jirí Bí...
CLIMA
2011
12 years 4 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
CORR
2011
Springer
204views Education» more  CORR 2011»
12 years 8 months ago
Decentralized Supply Chain Formation: A Market Protocol and Competitive Equilibrium Analysis
Supply chain formation is the process of determining the structure and terms of exchange relationships to enable a multilevel, multiagent production activity. We present a simple ...
William E. Walsh, Michael P. Wellman
AINA
2008
IEEE
13 years 4 months ago
Communication Protocols and Message Formats for BLAST Parallelization on Cluster Systems
With the widespread use of BLAST, many parallel versions of BLAST on cluster systems are announced, but little work has been done for the parallel execution in the search for indi...
Hong-Soog Kim, Woo-Hyuk Jang, Dong-Soo Han
DOCENG
2009
ACM
13 years 2 months ago
A REST protocol and composite format for interactive web documents
John M. Boyer, Charles Wiecha, Rahul P. Akolkar