2436 search results - page 39 / 488 » Comonadic Notions of Computation |
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...
ICCS
2004
Springer
14 years 3 months ago
2004
Springer
Any non-trivial top-level ontology should take temporal notions into account. The details of how this should be done, however, are frequently debated. In this paper it is argued th...
DLOG
2007
13 years 12 months ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
In this paper we build on the notion of computational composites, which hold a material perspective on computational technology. We argue that a focus on the material aspects of t...