Sciweavers

6616 search results - page 208 / 1324
» Can markets help
Sort
View
HCI
2007
13 years 12 months ago
Aspects of Augmented Social Cognition: Social Information Foraging and Social Search
In this paper, we summarized recent work in modeling how users socially forage and search for information. One way to bridge between different communities of users is to diversify ...
Ed Huai-hsin Chi, Peter Pirolli, Shyong K. Lam
FBT
2000
167views Formal Methods» more  FBT 2000»
13 years 11 months ago
Diagrams for Dataflow
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...
Max Breitling, Jan Philipps
EOR
2007
57views more  EOR 2007»
13 years 10 months ago
The use of a premium-payment scheme in a supply chain involving capacity acquisition
We study a practice whereby a downstream firm makes to his supplier a premium-payment for a certain quantity of products. We show that the adoption of this practice can induce th...
Jian Yang, Shitao Yang
ACTA
2004
86views more  ACTA 2004»
13 years 10 months ago
Specification transformers: a predicate transformer approach to composition
Abstract. This paper explores theories that help in (i) proving that a system composed from components satisfies a system specification given only specifications of components and ...
Michel Charpentier, K. Mani Chandy
SQJ
2010
112views more  SQJ 2010»
13 years 5 months ago
Improving design-pattern identification: a new approach and an exploratory study
The identification of occurrences of design patterns in programs can help maintainers to understand the program design and implementation. It can also help them to make informed ch...
Yann-Gaël Guéhéneuc, Jean-Yves ...