Abstract. This paper reports on work in applying ideas from the ABZ world to modern cryptographic protocols. It describes the important differences between this and more "traditional" application areas, and a number of promising approaches in formal methods.
DisclaimerThe nature of this paper is such that a bibliography giving decent coverage of the problems raised and attempted solutions from both sides of the fence would take up more than the total space available here -the reader is invited to look elsewhere, e.g. papers and research proposals at [5].
The rise of Video-on-Demand (VoD) services on the media market has produced key mutations in the television series industry at all levels. The dynamics of the tripartite relation between production, distribution and consumption gained new forms when these new services broke the traditional lineage of television and adopted the aesthetics of media catalogs that users can access whenever and wherever they want. VoD portals have triggered a process of usage democratization that has led to the unprecedented popularization of binge-watching as a new norm for the consumption of TV series. The present study explores binge-watching as a way of spending leisure time and the motivations behind the users' decisions to engage in extended viewing sessions. Certain specific behaviors and emotions related to marathon viewing are discussed, as well as the connection between genre and extended watching sessions or users' general attitude towards binge-watching.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.