Searched for: subject%3A%22Formal%255C%2Bspecification%22
(1 - 4 of 4)
document
Bastos, J. (author), van der Sanden, B. (author), Donk, O. (author), Voeten, J. (author), Stuijk, S. (author), Schiffelers, R. (author), Corporaal, H. (author)
System design is a difficult process with many design-choices for which the impact may be difficult to foresee. Manufacturing system design is no exception to this. Increased use of flexible manufacturing systems which are able to perform different operations/use-cases further raises the design complexity. One important criterion to consider is...
conference paper 2018
document
Bosse, T. (author), van Maanen, P.P. (author), Treur, J. (author), TNO Defensie en Veiligheid (author)
In the domain of naval command and control and warfare, the complex and dynamic nature of the environment makes that a warfare officer, who has to compile a tactical picture of the situation, has to deal with a large number of tasks in parallel. This study aims at investigating the use of a cognitive model of visual attention as part of the...
conference paper 2007
document
Bosse, T. (author), van Maanen, P.P. (author), Treur, J. (author), TNO Defensie en Veiligheid (author)
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task to compile a tactical picture of the situation in the field. An executable formal specification of the cognitive model is given and a case study is described in which...
conference paper 2007
document
Bierens, L.H.J. (author), Deprettere, E.F. (author), TNO Fysisch en Elektronisch Laboratorium (author)
We present a schematic design methodology for multirate convolution systems, based on combined algorithmic development and architecture design. It allows us to map the algebraic specification of a long convolution algorithm directly onto efficient fast convolution hardware based on short FFT processor elements or dedicated VLSI processors. The...
conference paper 1996
Searched for: subject%3A%22Formal%255C%2Bspecification%22
(1 - 4 of 4)