1615 search results - page 181 / 323 » Distributed Forward Checking |
135
click to vote
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
146
Voted
CSFW
2009
IEEE
15 years 6 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
123
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
Aggregating the judgments of a group of agents regarding a set of interdependent propositions can lead to inconsistent outcomes. One of the parameters involved is the agenda, the ...
134
Voted
ESORICS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...
109
click to vote
DEBU
2008
15 years 2 months ago
2008
Process mining has emerged as a way to discover or check the conformance of processes based on event logs. This enables organizations to learn from processes as they really take p...