Mobile devices have become essential to modern society; however, as their popularity has grown, so has therequirement to ensure devices remain secure. This paper proposes a behaviour-based profiling technique usinga mobile user’s application usage to detect abnormal activities. Through operating transparently to the user,the approach offers significant advantages over traditiona...

This paper describes the process and particular support tools for authoring reusable web-based multimedia presentations. These tools enable authors to record and encode streams of audio and video, and to integrate into them additional multimedia material, such as PowerPoint slides. The paper also describes the W3C synchronized multimedia integration language (SMIL) standard that enables the int...

ion that represents a function with formal parameters x1; : : : ; xn and body e. One might expect that addresses would just be natural numbers, but that would not allow the semantics to detect invalid pointer arithmetic. So instead an address is a pair of natural numbers (i; j) where i is the segment number and j is the o set . Intuitively, we put each variable or array into its own segment. Th...

Communication and information technologies are adding new capabilities for rapid and inexpens ive customer input to all stages of the product development (PD) process. In this article we review six web-based methods of customer input as examples of the improved Internet capabilities of communication, conceptualization, and computation. For each method we give examples of userinterfaces, initial...

Emotional experiences of music are notably difficult to describe and have resisted philosophical and psychological as well as vernacular explanation. This essay uses a new departure by taking an ethological approach to questions of musical experience—i.e., treating music as a behavior that evolved in ancestral humans because it contributed to their survival and reproductive success. In particul...

s of the Talks In the order in which the talks were given. Walter Carnielli { Non-deterministic Semantics 5 Matthias Baaz { Analytic Calculi for Many-valued Logics 5 Hiroakira Ono { Many-valued Logics as Logics without the Contraction Rule 6 Reiner H ahnle { Proof Theory of Many-valued Logic and Hardware Design 7 Gonzalo Escalada-Imaz { Determining the Truth Degree in Real Time Settings 7 Pete...

Guarded re ursive data types (GRDT) are a new language feature whi h allows to type he k the di erent bran hes of ase expressions under di erent type assumptions. We show that GRDT an be translated to type lasses with existential types (TCET). The translation to TCET might be problemati in the sense that ommon implementations su h as the Glasgow Haskell Compiler (GHC) fail to a ept the translat...