2436 search results - page 238 / 488 » Comonadic Notions of Computation |
154
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The notion of skeleton plays a major role in shape analysis. Some usually desirable characteristics of a skeleton are: sufficient for the reconstruction of the original o...
164
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Despite of their advertisement as task independent representations, the reuse of ontologies in different contexts is difficult. An explanation for this is that when devel...
144
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
203
click to vote
AAECC
2003
Springer
15 years 10 months ago
2003
Springer
Elliptic curve cryptosystems are usually implemented over fields of characteristic two or over (large) prime fields. For large prime fields, projective coordinates are more suitabl...
187
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...