Sciweavers

3061 search results - page 511 / 613
» interactions 2010
Sort
View
145
Voted
SCP
2010
172views more  SCP 2010»
15 years 2 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
105
Voted
SIAMAM
2010
69views more  SIAMAM 2010»
15 years 2 months ago
Spatially Localized Structures in Diblock Copolymer Mixtures
Above the critical temperature for the order-disorder transition, diblock copolymer melts have been observed to exhibit localized structures that exist within the homogeneous mixtu...
Karl B. Glasner
106
Voted
SIAMCOMP
2010
97views more  SIAMCOMP 2010»
15 years 2 months ago
Designing Network Protocols for Good Equilibria
Designing and deploying a network protocol determines the rules by which end users interact with each other and with the network. We consider the problem of designing a protocol t...
Ho-Lin Chen, Tim Roughgarden, Gregory Valiant
109
Voted
SIAMSC
2010
111views more  SIAMSC 2010»
15 years 2 months ago
Operator-Based Preconditioning of Stiff Hyperbolic Systems
Abstract. We introduce an operator-based scheme for preconditioning stiff components encountered in implicit methods for hyperbolic systems of PDEs posed on regular grids. The met...
Daniel R. Reynolds, Ravi Samtaney, Carol S. Woodwa...
121
Voted
SIGOPS
2010
84views more  SIGOPS 2010»
15 years 2 months ago
LazyBase: freshness vs. performance in information management
Information management applications exhibit a wide range of query performance and result freshness goals. Some applications, such as web search, require interactive performance, b...
Kimberly Keeton, Charles B. Morrey III, Craig A. N...