Sciweavers

1020 search results - page 179 / 204
» Reconfigurable Object Consistency Model
Sort
View
GLOBAL
2003
Springer
14 years 2 months ago
The Klaim Project: Theory and Practice
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gi...
SIGGRAPH
2010
ACM
14 years 1 months ago
Discrete scale axis representations for 3D geometry
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
Balint Miklos, Joachim Giesen, Mark Pauly
MMMACNS
2001
Springer
14 years 1 months ago
Typed MSR: Syntax and Examples
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
Iliano Cervesato
PCM
2001
Springer
139views Multimedia» more  PCM 2001»
14 years 1 months ago
Fast and Robust Sprite Generation for MPEG-4 Video Coding
This paper presents a fast and robust sprite generation algorithm for MPEG-4 video coding. Our contributions consist of two aspects. Firstly, a fast and robust Global Motion Estima...
Yan Lu, Wen Gao, Feng Wu
TACAS
2001
Springer
119views Algorithms» more  TACAS 2001»
14 years 1 months ago
Compositional Message Sequence Charts
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
Elsa L. Gunter, Anca Muscholl, Doron Peled