Sciweavers

547 search results - page 41 / 110
» Cooperation Structures
Sort
View
JOC
2000
95views more  JOC 2000»
14 years 11 months ago
Player Simulation and General Adversary Structures in Perfect Multiparty Computation
The goal of secure multiparty computation is to transform a given protocol involving a trusted party into a protocol without need for the trusted party, by simulating the party am...
Martin Hirt, Ueli M. Maurer
BMCBI
2006
81views more  BMCBI 2006»
14 years 12 months ago
Multipolar representation of protein structure
Background: That the structure determines the function of proteins is a central paradigm in biology. However, protein functions are more directly related to cooperative effects at...
Apostol Gramada, Philip E. Bourne
IROS
2008
IEEE
184views Robotics» more  IROS 2008»
15 years 6 months ago
Morpho: A self-deformable modular robot inspired by cellular structure
— We present a modular robot design inspired by the creation of complex structures and functions in biology via deformation. Our design is based on the Tensegrity model of cellul...
Chih-Han Yu, Kristina Haller, Donald E. Ingber, Ra...
SCP
1998
112views more  SCP 1998»
14 years 11 months ago
Structured Gamma
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
Pascal Fradet, Daniel Le Métayer
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 4 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even