2947 search results - page 59 / 590 » The timely token protocol |
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
IJAHUC
2006
14 years 12 months ago
2006
: Time synchronisation is one of the most important and fundamental middleware services for wireless sensor networks. However, there is an apparent disconnect between existing time...
103
click to vote
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...
104
click to vote
FUIN
2008
14 years 12 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
120
click to vote
ICEIS
2003
IEEE
15 years 5 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...