Sciweavers

3061 search results - page 238 / 613
» integration 2006
Sort
View
ENTCS
2006
137views more  ENTCS 2006»
15 years 6 months ago
Automated Security Protocol Analysis With the AVISPA Tool
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...
Luca Viganò
ENVSOFT
2006
118views more  ENVSOFT 2006»
15 years 6 months ago
Database architectures: Current trends and their relationships to environmental data management
Ever increasing environmental demands from customers, authorities and governmental organizations as well as new business control functions are integrated to environmental manageme...
Jaroslav Pokorný
ICMB
2006
IEEE
78views Business» more  ICMB 2006»
16 years 21 days ago
From Hype to Reality: A Case Study on the Evolution of the Swiss WISP Industry
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...
Giovanni Camponovo, Yves Pigneur
AIM
2006
15 years 8 months ago
Virtual professional communities and their role for knowledge management
: Virtual professional communities provide an environment for professionals to share their knowledge and develop their skills without geographical constraints. Virtual professional...
Aurelie Dudezert, Harm Heibült, Imed Boughzal...
CADUI
2006
15 years 8 months ago
A Generic Approach For Multi-Device User Interface Rendering With Uiml
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...