Sciweavers

798 search results - page 8 / 160
» Statecharts as Protocols for Objects
Sort
View
ACSC
2004
IEEE
15 years 3 months ago
Towards the Completion of the Formal Semantics of OCL 2.0
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
Stephan Flake
DEXA
2000
Springer
84views Database» more  DEXA 2000»
15 years 4 months ago
Protocol for Taking Object-Based Checkpoints
Object-based checkpoints are consistent in the object-based system but may be inconsistent according to the traditional message-based definition. We present a protocol for taking ...
Katsuya Tanaka, Makoto Takizawa
ICCL
1998
IEEE
15 years 3 months ago
A Lightweight Object Migration Protocol
This paper presents a lightweight object migration protocol that preserves centralized object semantics yet allows for precise prediction of network behavior. The protocol is impl...
Peter Van Roy, Per Brand, Seif Haridi, Raphaë...
ICNP
2003
IEEE
15 years 4 months ago
Planned Object Duplication Strategies in Dynamic PRR Meshes
Michael K. Bradshaw, Arnold L. Rosenberg, Donald F...
78
Voted
SRDS
2000
IEEE
15 years 4 months ago
Performance of Mobile, Single-Object, Replication Protocols
This paper discusses the implementation and performance of bounded voting: a new object replication protocol designed for use in mobile and weakly-connected environments. We show ...
Ugur Çetintemel, Peter J. Keleher