The following pages link to Abdessamad Imine (Q820126):
Displayed 9 items.
- Formal design and verification of operational transformation algorithms for copies convergence (Q820129) (← links)
- On Synthesizing a Consistent Operational Transformation Approach (Q2982319) (← links)
- (Q3388709) (← links)
- Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms (Q3608819) (← links)
- Efficient and Decentralized Polling Protocol for General Social Networks (Q5207912) (← links)
- Algebraic Methodology and Software Technology (Q5312983) (← links)
- On Securely Manipulating XML Data (Q5327325) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464711) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2005 (Q5479172) (← links)