In this paper we describe how Network-on-Chip (NoC) will be the next major challenge to implementing complex and function-rich applications in advanced manufacturing processes at ...
: In this paper, we propose a fundamental idea of a new CAD architecture to facilitate design knowledge management. This architecture is useful to develop an advanced design suppor...
Although the importance of knowledge sharing among designers has been widely recognized, knowledge about functionality in the conceptual design phase is hard to capture and is oft...
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...