The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
Ever increasing environmental demands from customers, authorities and governmental organizations as well as new business control functions are integrated to environmental manageme...
The emerging use of WLAN technologies to provide WISP services in public locations has been a hot topic in the mobile industry as it threatened traditional mobile operator busines...
: Virtual professional communities provide an environment for professionals to share their knowledge and develop their skills without geographical constraints. Virtual professional...
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...
Kris Luyten, Kristof Thys, Jo Vermeulen, Karin Con...