Abstract. Basic communication and coordination mechanisms of human social interaction are assumed to be mediated by perception-action links. These links ground the observation and ...
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
Kenneth C. Rovers, Marcel D. van de Burgwal, Jan K...
This paper presents a new framework to model an assessment process for a complex and multidimensional syndrome such as depression. Since the measurements of depression are inherent...
Mila Kwiatkowska, Krzysztof Kielan, Krzysztof Mich...
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...