2436 search results - page 8 / 488 » Comonadic Notions of Computation |
CEC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Organic Computing (OC) and other research initiatives like Autonomic Computing or Proactive Computing have developed the idea of systems that possess life-like properties, that...
TCC
2005
Springer
14 years 28 days ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
SIGCSE
2008
ACM
13 years 7 months ago
2008
ACM
Formally defining the knowledge units taught in a course helps instructors ensure a sound coverage of topics and provides an objective basis for comparing the content of two cours...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we introduce a general framework for defining the depth of a sequence with respect to a class of observers. We show that our general framework captures all depth not...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
The key notion for modelling calendar systems and many other periodic temporal notion is the mathematical concept of a partitioning of the real numbers. A partitioning of R splits ...