An Updates Dissemination Protocol for Read-Only Transaction Processing in Mobile Real-Time Computing Environments