3938 search results - page 557 / 788 » Interactive Protocols on the Reals |
177
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
194
click to vote
EURONGI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In unstructured peer-to-peer networks, as in real life, a good neighbourhood is not only crucial for a peaceful sleep, but also for an exchange of important gossips and f...
169
click to vote
ACSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
The growth of the Internet opens up tremendous opportunities for cooperative computation, where the answer depends on the private inputs of separate entities. Sometimes these comp...
200
Voted
QOFIS
2000
Springer
15 years 10 months ago
2000
Springer
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...
199
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...