In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
In this paper, we introduce a novel Trademark Application Assistant (TAST) that aims to speed up the process of a successful trademark application. The core of TAST is a web-brows...
Paul Wing Hing Kwan, Kazuo Toraichi, Keisuke Kamey...
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
This paper outlines some fundamental concepts for the development of a system design framework based on standard notations and common CASE tools. We describe an environment for HW...
Elvinia Riccobene, Patrizia Scandurra, Alberto Ros...
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...