Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Foundations of Computing and Decision Sciences

1 2000

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: computational geometry algorithms

Sortuj według:

Ogranicz wyniki do:

The application of computational geometry algorithms to the timed verification of communication protocols

Brzeziński J., Sajkowski M.

Foundations of Computing and Decision Sciences

2000

Vol. 25, No. 2

97-119

In the paper we present the application of computational geometry algorithms to the exact determination of the times remaining to the occurrence of events in communication protocols; in the case when these times are expressed in the form of simple (i.e., in general, non-convex) polygons (this form of time is used in the polygon time structure). This exaet solution to the problem may be better than the approximate (i.e. interval) one, especially as we know, that the application of the approximate solution may lead to the evaluation of a protocol as incorrect, which in fact is correct.