We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
Multi-agent systems are prone to failures typical of any distributed system. Agents and resources may become unavailable due to machine crashes, communication breakdowns, process ...
— This paper deals with real-time control under computational constraints. A robust control approach to control/real-time scheduling co-design is proposed using the H∞ framewor...
Spoken corpora provide a critical resource for research, development and evaluation of spoken dialog systems. This paper describes the telephone spoken dialog corpus for Polish cr...