322 search results - page 65 / 65 » Modelling and Reasoning Languages for Social Networks Polici... |
77
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
DAGSTUHL
2007
14 years 11 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...