Maciej Urbanski

  • Citations Per Year
Learn More
Optimized Link State Routing (OLSR) protocol is a leading proactive routing protocol for Mobile Ad-hoc Networks (MANETs). Since the OLSR protocol in its standard version does not support multi-path packet forwarding, we have developed and implemented its multi-path extension. As a result of a slightly modified path computation algorithm and the application(More)
In this work we present an approach for the formal specification and verification of the reconfiguration protocols in grid component systems. We consider fractal, a modular and extensible component model. As a specification tool we invoke a specific temporal language, separated clausal normal form, which has been shown to be capable of expressing any(More)
In this paper we present a new CAPTCHA system (Completely Automated Turing Test To Tell Computers and Humans Apart). This proposal, SemCAPTCHA, is motivated by an increasing number of broken OCR-based CAPTCHA systems and it is based not only on text recognition but also on text understanding. We describe SemCAPTCHA from both user's perspective and system's(More)
  • 1