Sciweavers

2092 search results - page 55 / 419
» A Theory of Non-Deterministic Networks
Sort
View
DISOPT
2011
201views Education» more  DISOPT 2011»
14 years 2 months ago
The Wiener maximum quadratic assignment problem
We investigate a special case of the maximum quadratic assignment problem where one matrix is a product matrix and the other matrix is the distance matrix of a one-dimensional poi...
Eranda Çela, Nina S. Schmuck, Shmuel Wimer,...
POPL
2004
ACM
15 years 11 months ago
A bisimulation for dynamic sealing
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
Eijiro Sumii, Benjamin C. Pierce
CIE
2005
Springer
15 years 4 months ago
A Thread Algebra with Multi-level Strategic Interleaving
In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategi...
Jan A. Bergstra, C. A. Middelburg
SIGECOM
2008
ACM
126views ECommerce» more  SIGECOM 2008»
14 years 11 months ago
Behavioral experiments in networked trade
We report on an extensive series of highly controlled human subject experiments in networked trade. Our point of departure is a simple and well-studied bipartite network exchange ...
J. Stephen Judd, Michael Kearns
CSCW
2006
ACM
15 years 5 months ago
Actor centrality correlates to project based coordination
In this study, we draw on network centrality concepts and coordination theory to understand how project team members interact when working towards a common goal. A text-mining app...
Liaquat Hossain, Andrè Wu, Kon Shing Kennet...