467 search results - page 84 / 94 » Open bisimulation for aspects |
SIGMETRICS
2004
ACM
14 years 3 months ago
2004
ACM
—Traditionally uncooperative rate control schemes have implied open loop protocols such as UDP, CBR. In this paper we show that closed loop uncooperative rate control schemes als...
ASIACRYPT
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Even and Mansour [EM97] proposed a block cipher construction that takes a publicly computable random permutation oracle P and XORs different keys prior to and after appl...
BIRTHDAY
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
MLMI
2004
Springer
14 years 3 months ago
2004
Springer
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the pr...
IV
2003
IEEE
14 years 2 months ago
2003
IEEE
The paper begins with a response to the nature of contemporary artists relationships to how computers have permeated the fine art domain and how they affect the creative process. ...