Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
In this paper, biological (human) music composition systems based on Time Delay Neural Networks and Ward Nets and on a probabilistic Finite-State Machine will be presented. The sys...
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...
The early diagnosis of breast cancer depends in many cases on the analysis of medical imaging, mainly mammography, ultrasonography and MRI. This work deals with ultrasound images i...
In this paper we present control patterns for the analysis and design of administrative control mechanisms in a network organization. A control pattern is a description of a generi...
Vera Kartseva, Joris Hulstijn, Jaap Gordijn, Yao-H...