391 search results - page 31 / 79 » Formal Universes |
161
click to vote
CCS
2007
ACM
16 years 6 days ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
185
click to vote
ICMLA
2009
15 years 3 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...
169
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
151
click to vote
COCOON
2001
Springer
15 years 10 months ago
2001
Springer
abstract appeared in: Proc. of 7th Ann. Int. Computing and Combinatorics Conference, COCOON 2001 (ed. J. Wang), Lecture Notes in Computer Science Vol. 2108, Springer-Verlag, Berlin...
162
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...