Sciweavers

2947 search results - page 29 / 590
» The timely token protocol
Sort
View
ISSA
2004
15 years 7 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche
PRDC
2007
IEEE
16 years 7 days ago
Implementation of a Flexible Membership Protocol on a Real-Time Ethernet Prototype
This paper describes the implementation of a processorgroup membership protocol in an experimental real-time network. The protocol is appropriate for fault-tolerant distributed sy...
Raul Barbosa, António Ferreira, Johan Karls...
IEEEHPCS
2010
15 years 4 months ago
Timed protocols insecurity problem is NP-complete
—In this paper we study the protocol insecurity problem for time dependent security protocols with a finite number of sessions, extending to the timed case the results of M. Rus...
Massimo Benerecetti, Nicola Cuomo, Adriano Peron
FTDCS
1999
IEEE
15 years 10 months ago
Group Communication in Real-Time Computing Systems: Issues and Directions
: Group communication in real-time computing systems has been a subject of research for almost two decades but it is not yet a mature technological field. The purpose of this paper...
K. H. Kim
RTDB
2001
65views more  RTDB 2001»
15 years 7 months ago
Real-Time Index Concurrency Control
Jayant R. Haritsa, S. Seshadri