1269 search results - page 222 / 254 » Pi-Calculus in Logical Form |
143
click to vote
JDCTA
2010
14 years 10 months ago
2010
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
125
Voted
JUCS
2010
14 years 10 months ago
2010
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
123
Voted
TVLSI
2010
14 years 10 months ago
2010
Hardware debuggers and logic analyzers must be able to record a continuous trace of data. Since the trace data are tremendous, to save space, these traces are often compressed. The...
166
Voted
PPOPP
2011
ACM
14 years 6 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
150
Voted
CSFW
2012
IEEE
13 years 5 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...