2436 search results - page 188 / 488 » Comonadic Notions of Computation |
123
Voted
ISAAC
2007
Springer
15 years 10 months ago
2007
Springer
We introduces the umodules, a generalization of the notion of graph module. The theory we develop captures among others undirected graphs, tournaments, digraphs, and 2−structures...
135
click to vote
KIVS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract Most SSL/TLS-based e-commerce applications employ conventional mechanisms for user authentication. These mechanisms—if decoupled from SSL/TLS session establishment—are...
115
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
113
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Session types are a means of statically encoding patterns of interaction between two communicating parties. This paper explores a distributed calculus with session types in which a...
102
click to vote
PODC
2006
ACM
15 years 10 months ago
2006
ACM
Common2, the family of objects that implement and are wait-free implementable from 2 consensus objects, is extended inhere in two ways: First, the stack object is added to the fam...