Sciweavers

5149 search results - page 104 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
108
Voted
FM
2006
Springer
97views Formal Methods» more  FM 2006»
15 years 6 months ago
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
134
Voted
CRIWG
2004
15 years 3 months ago
Distributed Dynamic-Locking in Real-Time Collaborative Editing Systems
In this paper, a Customizable and Dynamic Locking (CDL) scheme is proposed for concurrency control in Internet-based real-time collaborative editors. The idea of dynamic-locking is...
Xianghua Xu, Jiajun Bu, Chun Chen, Yong Li 0004
106
Voted
ADAEUROPE
2010
Springer
15 years 3 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...