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 ...
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...
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...
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 ...
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...