Title :
Does ROSA provide a good view of the Memorizing Process?
Author :
Pelayo, Maria L. ; Pelayo, Fernando L. ; Cuartero, Fernando ; Valero, Valentin ; Diaz, Gregorio ; Nieto, Elena
Author_Institution :
Univ. de Castilla-La Mancha, Albacete
Abstract :
In this paper we have used the Markovian process algebra ROSA to both specify and analyze the memorizing process. ROSA, reasoning on stochastic algebras, is an algebraic language for the description of probabilistic and non-deterministic processes, which allows us to evaluate performance indexes and to check some temporal requirements.
Keywords :
Markov processes; brain; cognition; graph theory; inference mechanisms; probability; process algebra; ROSA Markovian process algebra; algebraic language; cognition process; memorizing process; nondeterministic process; probabilistic process; stochastic algebra; transition graph; Algebra; Carbon capture and storage; Cognitive informatics; Cognitive science; Computers; Delay effects; Information processing; Information technology; Performance analysis; Stochastic processes;
Conference_Titel :
Cognitive Informatics, 6th IEEE International Conference on
Conference_Location :
Lake Tahoo, CA
Print_ISBN :
9781-4244-1327-0
Electronic_ISBN :
978-1-4244-1328-7
DOI :
10.1109/COGINF.2007.4341900
