18 search results - page 1 / 4 » D-ANTICIP: A Protocol Suitable for Distributed Real-Time Tra... |
ICEIS
2002
IEEE
13 years 10 months ago
2002
IEEE
ICEIS
2003
IEEE
13 years 10 months ago
2003
IEEE
: In order to meet their temporal constraints, current applications such as Web-based services and electronic commerce use the technique of data replication. To take the replicatio...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
Conventional concurrency control protocols are inapplicable in mobile computing environments due to a number of constraints of wireless communications. In this paper, we design a p...
DEXA
1999
Springer
13 years 9 months ago
1999
Springer
Due to the unpredictability of mobile network, it is difficult to meet transaction deadlines in a mobile distributed real-time database system (MDRDTBS). We propose the idea of tra...
FASE
2004
Springer
13 years 8 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...