When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
The agile process approach used in software engineering was adapted as a foundation for the management of the multimedia art installation project titled "Trigger." By be...
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
Interaction with the environment is a key factor affecting the development of plants and plant ecosystems. In this paper we introduce a modeling framework that makes it possible t...
Online communities are extremely popular; yet most of them still rely primarily on text for knowledge creation and communication. This paper describes a graphical webpoll prototyp...