Sciweavers

AH
2006
Springer
15 years 8 months ago
Learning Object Context for Adaptive Learning Design
Jelena Jovanovic, Dragan Gasevic, Colin Knight, Gr...
AINA
2004
IEEE
15 years 8 months ago
Concurrency Control in Mobile Database Systems
In this paper, we propose an Concurrency Control Mechanism (CCM) for Mobile Database Systems (MDS) that ensures epsilon serializability and report its performance.
Nitin Prabhu, Vijay Kumar, Indrakshi Ray, Gi-Chul ...
AINA
2004
IEEE
15 years 8 months ago
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
Davide Pozza, Riccardo Sisto, Luca Durante