The impossibility of statically determining the behavior of complex systems that interact at runtime with heterogeneous devices and remote entities, may lead to unexpected system ...
In this paper, we focus on the method to explore a different type of auditory progress bar by analyzing the characteristics of the visual progress bar and contexts of auditory appl...
Through online self-booking travel sites on the Web, consumers are offered great opportunities for convenient and inexpensive travel bookings. Nevertheless, they face certain prob...
In this paper we describe an ongoing project aimed at investigating the impact of feature interaction problems on computer telephony integration (CTI). As a representative and soph...
Nikolay A. Anisimov, Alec Miloslavski, Gregory Pog...
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...