Interactive Computation. The New Paradigm

0042348 - ÚI 2007 RIV DE eng M - Monography Chapter
van Leeuwen, J. - Wiedermann, Jiří
A Theory of Interactive Computation.
[Teorie interaktivních výpočtů.]
Interactive Computation. The New Paradigm. Berlin: Springer-Verlag, 2006 - (Goldin, D.; Smolka, S.; Wegner, P.), s. 119-142. ISBN 3-540-34666-X
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : interaction * evolution * non-uniformity * automata
Subject RIV: IN - Informatics, Computer Science

Many embedded systems behave very differently from classical machine models: they interact with an unpredictable environment, they are "always on", and they change over time. This leads to interesting question of what a computational theory of interactive, evolving programs should look like. We describe a simple model of interactive computing consisting of one component C and an environment E, interacting using single streams of input and output signals and with a number of realistic conditions in effect. The model enables us to study the computational implications of interaction.

Současné výpočetní systémy se chovají odlišně od klasických výpočetních systémů, nepředvídatelně interagují se svým okolím, fungují bez přerušení, a v průběhu času se mohou měnit. Tyto vlastnosti tvoří základ teorie interaktivních výpočtů.
Permanent Link: http://hdl.handle.net/11104/0135596