This paper presents a set of tools supporting the development of interactive systems using two different notations. One of these notations, called ConcurTaskTrees (CTT), is used for task modelling. The other notation, called Interactive Cooperative Objects (ICO), is used for system modelling. Even though these two kinds of models represent two different views of the same world (users interactin...

The black-box view of an interactive component describes the input/output behaviour based on communication histories. The glass-box view discloses the component’s internal state where the inputs effect an update of the state. We formally derive different glass-box views of an interactive fault-sensitive stack from a common black-box view. The transformation uses higher-order functions where the...

Two views of game theory are discussed: (1) game theory as a description of the behavior of rational individuals who recognize each other’s rationality and reasoning abilities, and (2) game theory as an internally consistent recommendation to individuals on how to act in interactive situations. It is shown that the same mathematical tool, namely modal logic, can be used to explicitly model both...

Over the past few years, we have developed JCAT, a system for building Web-based collaborative active textbooks on algorithms. JCAT augments the expressive power of Web pages for publishing passive multimedia information with a full-fledged interactive algorithm animation system. Views of a running program can reside on different machines; in an electronic classroom or distance learning setting...

Given a set of hospital admittance and death records, the challenge was to characterize the spread of a pandemic in terms of the attack and mortality rates, spatiotemporal patterns of onset and the recovery time. We began the analysis by preprocessing the hospital admittance records using the University of Pittsburgh’s CoCo classifier [1]. CoCo is a text classification software that takes hospi...

Object-oriented software development has proven effective for systems development, but the creation of reusable and changeable software architectures is still a challenging task. Design patterns capture the expertise for reusable design solutions, but there is no methodical approach to providing conceptual design building blocks in tangible and composable form. Design components have been sugge...

Today, companies across numerous industries find themselves on the cusp of a product development revolution. The incorporation of software and electronics into mechanical-based products is driving a wave of new innovation as products become more like intelligent systems that are interactive, proactive, changeable and upgradable. With software and electronics driving so much new product value, l...

Due to the extensive social influence, public health emergency has attracted great attention in today's society. The booming social network is becoming a main information dissemination platform of those events and caused high concerns in emergency management, among which a good prediction of information dissemination in social networks is necessary for estimating the event's social impacts and ...