Abstract. We consider software systems consisting of a single component running one sequential process only. We model such software systems as a special class of transition systems...
Isaac Corro Ramos, Alessandro Di Bucchianico, Lusi...
— There are several types of processes which can be modeled explicitly by recording the interactions between a set of actors over time. In such applications, a common objective i...
Abstract. Robust object recognition is one of the most challenging topics in computer vision. In the last years promising results have been obtained using local regions and descrip...
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
Keven Ates, Jacek P. Kukluk, Lawrence B. Holder, D...
In this paper, we describe an on-going project called Concept and Sensor Networks (CSN). The development of this project has been described in past PSMP workshops [1]. The purpose ...