Sciweavers

22 search results - page 4 / 5
» birthday 2007
Sort
View
BIRTHDAY
2007
Springer
14 years 2 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
BIRTHDAY
2007
Springer
14 years 5 months ago
The Hydra Battle Revisited
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...
Nachum Dershowitz, Georg Moser
BIRTHDAY
2007
Springer
14 years 5 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
SIMVIS
2001
14 years 6 days ago
GPSS - 40 years of development
This year GPSS celebrates its 40th birthday. This paper reports on the development during these 40 years, starting with the first version developed by Gordon at IBM in 1961, and t...
Ingolf Ståhl
SSC
2007
Springer
140views Cryptology» more  SSC 2007»
14 years 5 months ago
Existence of Modular Sonar Sequences of Twin-Prime Product Length
In this paper, we investigate the existence of modular sonar sequences of length v and mod v where v is a product of twin primes. For v = 3 · 5 = 15, we have found some old and ne...
Sung-Jun Yoon, Hong-Yeop Song