2436 search results - page 372 / 488 » Comonadic Notions of Computation |
155
click to vote
MOBIDE
2009
ACM
15 years 11 months ago
2009
ACM
Optimistic replication is a fundamental technique for supporting concurrent work practices in mobile environments. However, due to sudden and frequent transitions to weakly connec...
163
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
147
click to vote
SOFSEM
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
187
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...
173
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we formalize the notion of a ring signature, which makes it possible to specify a set of possible signers without revealing which member actually produced the signatu...