Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
The work is concerned with investigation of spatio-temporal phenomena on mutually coupled CNN array. Besides pattern formation and active wave propagation, we found that other int...
The Variations2 digital music library currently supports music in audio and score-image formats. In a future version, we plan to add music in a symbolic form. This paper describes...
Abstract. Open exchange of electronic documents in XML formats frequently requires the transformation to different XML-Schemas or DTDs (document type description). We propose a tr...
Abstract. In this paper, we describe how the AGORA multi-agent architecture is used to support Virtual Enterprises(VE). Software agents represent the partners of a VE, who collabor...