Sciweavers

4880 search results - page 288 / 976
» Mechanism Design by Creditability
Sort
View
APCCM
2006
15 years 8 months ago
Supporting virtual organisation alliances with relative workflows
Driven by the fast changing service demand-and-supply requirements, virtual organisation alliances are created to adapt highly dynamic B2B collaborations. However, the temporary p...
Xiaohui Zhao, Chengfei Liu, Yun Yang
PLDI
2012
ACM
13 years 9 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa
ICRA
2009
IEEE
119views Robotics» more  ICRA 2009»
16 years 1 months ago
Rapid pole climbing with a quadrupedal robot
— This paper describes the development of a legged robot designed for general locomotion of complex terrain but specialized for dynamical, high-speed climbing of a uniformly conv...
G. Clark Haynes, Alex Khripin, Goran Lynch, Jonath...
SRDS
2008
IEEE
16 years 1 months ago
Self-Stabilization in Tree-Structured Peer-to-Peer Service Discovery Systems
The efficiency of service discovery is critical in the development of fully decentralized middleware intended to manage large scale computational grids. This demand influenced t...
Eddy Caron, Ajoy Kumar Datta, Franck Petit, C&eacu...
AIIDE
2009
15 years 7 months ago
Computational Support for Play Testing Game Sketches
Early-stage game prototypes need to be informative without requiring excessive commitments. Paper prototypes are frequently used as a way of trying out core mechanics while leavin...
Adam M. Smith, Mark J. Nelson, Michael Mateas