Computability in Europe 2008
Logic and Theory of Algorithms
|Author(s):||Antonio Carlos Costa and Graçaliz Dimuro|
|Slot:||Fri, 11:20-11:40, Room 24 (col. 3)|
This paper introduces the notion of "service scheme" to allow for a formal approach to the study of the realizability of "services" by "interactive systems". It shows how the organization-theoretic conceptual framework required by the notion of system service can be formally introduced in the Theory of Interactive Computation, and shows simple examples of its application. It then proposes that the fundamental problem of the Theory of Interactive Computation is the problem of the formal characterization of the class of all "computable service schemes", i.e., the formal characterization of the class of all service schemes realizable by interactive computational means.
|websites: Arnold Beckmann||
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie08/conf-code.php on line 136