1149 search results - page 120 / 230 » What Are Iteration Theories |
LICS
1991
IEEE
14 years 11 days ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
CANDC
2005
ACM
13 years 10 months ago
2005
ACM
The Human-Computer Interaction community has long been concerned with design. Terms such as ‘creativity’ and ‘innovation’ are frequently used when referring to the design ...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
IQ
2007
13 years 10 months ago
2007
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...
CIIT
2004
13 years 10 months ago
2004
In an effort to develop a training programme to assist teaching professionals to migrate towards e-teaching from more traditional modes of teaching, the European Commission (EC) p...