700 search results - page 89 / 140 » Towards a theory of |
FOSSACS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...
AIME
2009
Springer
14 years 3 months ago
2009
Springer
The computerisation of clinical guidelines can greatly benefit from the automatic analysis of their content using Natural Language Processing techniques. Because of the central rol...
ICAS
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
ISDA
2005
IEEE
14 years 2 months ago
2005
IEEE
Open and distance Learning (ODL) gives learners freedom of time, place and pace of study, putting learner self-direction centre-stage. However, increased responsibility should not...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
In current research toward the design of more powerful behavior of RTDBS under unpredictable workloads, different research groups focus their work on QoS (Quality of Service) guar...