4385 search results - page 781 / 877 » Abstraction for Concurrent Objects |
COMCOM
2002
14 years 11 months ago
2002
With the advance of high-speed network technologies, the availability and popularity of streaming media content over the Internet has grown rapidly in recent years. The delivery a...
104
click to vote
COMPUTER
2002
14 years 11 months ago
2002
of abstraction and coarse granularity and distributed communication control. Focusing on using probabilistic metrics such as average values or variance to quantify design objective...
DIDACTICA
2000
14 years 11 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...
ENTCS
2000
14 years 11 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...
FUIN
2002
14 years 10 months ago
2002
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...