13917 search results - page 2518 / 2784 » Abstraction of Probabilistic Systems |
197
click to vote
DIDACTICA
2000
15 years 7 months ago
2000
Abstract During its development computer science has more and more established a way it sees itself. However, in recent years the rise of distributed systems and object orientation...
183
click to vote
ENTCS
2000
15 years 7 months ago
2000
The language MSR has successfully been used in the past to prove undecidability about security protocols modeled according to the Dolev-Yao abstraction. In this paper, we revise t...
172
click to vote
EWC
2000
15 years 7 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
216
click to vote
FUIN
2000
15 years 7 months ago
2000
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...
214
click to vote
DPD
2002
15 years 7 months ago
2002
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...