Sciweavers

8587 search results - page 1508 / 1718
» Interactive dynamic abstraction
Sort
View
ICALP
1999
Springer
15 years 8 months ago
Wide Area Computation
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
Luca Cardelli
119
Voted
KBSE
1998
IEEE
15 years 7 months ago
Specification-based Browsing of Software Component Libraries
Specification-based retrieval provides exact contentoriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottlene...
B. Fischer
109
Voted
VL
1998
IEEE
130views Visual Languages» more  VL 1998»
15 years 7 months ago
SAM - An Animated 3D Programming Language
This article presents the animated visual 3D programming language SAM (Solid Agents in Motion) for parallel systems specification and animation. A SAM program is a set of interact...
Christian Geiger, Wolfgang Müller 0003, Walde...
155
Voted
ACCV
1998
Springer
15 years 7 months ago
Motion Compensated Color Video Classification Using Markov Random Fields
Abstract. This paper deals with the classification of color video sequences using Markov Random Fields (MRF) taking into account motion information. The theoretical framework relie...
Zoltan Kato, Ting-Chuen Pong, John Chung-Mong Lee
150
Voted
EUROCRYPT
1998
Springer
15 years 7 months ago
Divertible Protocols and Atomic Proxy Cryptography
Abstract. First, we introduce the notion of divertibility as a protocol property as opposed to the existing notion as a language property (see Okamoto, Ohta [OO90]). We give a defi...
Matt Blaze, Gerrit Bleumer, Martin Strauss
« Prev « First page 1508 / 1718 Last » Next »