Abstract. User behaviors on a system vary not only among individuals but also within the same user when he/she gains experience on the system. We empirically investigated how indiv...
Kazunori Komatani, Tatsuya Kawahara, Hiroshi G. Ok...
We introduce and study qualitative multiple outcomes games. These games are noncooperative games with qualitative utilities (i.e., values over an ordinal scale), strictly qualitat...
The simulation of large grids requires the generation of grid instances and an approximation of grid components’ behaviour. To generate grid instances, this paper outlines a set...
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...