Background: Sequences and structures provide valuable complementary information on protein features and functions. However, it is not always straightforward for users to gather in...
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
If we consider most applications accessible through the Web, we can notice a lack of support able to adapt to the different information needs that different users may have regardi...
Visual interfaces to computer systems are interactive. The cycle of visual interaction involves both visual perception and action. This paper examines formal models of interactive...
—One of the most interesting and still not completely understood phenomena happening in Social Network Sites is their ability to spread (or not) units of information which may ag...