Sciweavers

3938 search results - page 50 / 788
» Interactive Protocols on the Reals
Sort
View
ICESS
2005
Springer
14 years 4 months ago
Support Industrial Hard Real-Time Traffic with Switched Ethernet
: 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...
Alimujiang Yiming, Toshio Eisaka
ICEIS
2003
IEEE
14 years 4 months ago
Distributed Overload Control for Real-Time Replicated Database Systems
: 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...
Samia Saad-Bouzefrane, Claude Kaiser
ATAL
2009
Springer
14 years 5 months ago
From agent interaction protocols to executable code: a model-driven approach
Christian Hahn, Ingo Zinnikus, Stefan Warwas, Klau...
IFIP
2009
Springer
14 years 5 months ago
Integrating Automated and Interactive Protocol Verification
Achim D. Brucker, Sebastian Mödersheim