Sciweavers

804 search results - page 19 / 161
» Analysis of Web Alert Models
Sort
View
ICWE
2007
Springer
14 years 2 months ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno
FIRBPERF
2005
IEEE
260views Algorithms» more  FIRBPERF 2005»
14 years 2 months ago
Models of Dynamic Web Content
Web pages are created, modified and removed at unspecified times by their owners. The frequency and extent of changes to Web pages vary across sites and across pages within site...
Mariacarla Calzarossa, Daniele Tessera
ICIW
2007
IEEE
13 years 8 months ago
Analysis of Web Services Secure Conversation with Formal Methods
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
M. Llanos Tobarra, Diego Cazorla, Fernando Cuarter...
GIS
2007
ACM
14 years 9 months ago
High-level web service for 3D building information visualization and analysis
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
Benjamin Hagedorn, Jürgen Döllner
IIWAS
2004
13 years 9 months ago
Combining Text And Image Analysis in The Web Filtering System "WEBGUARD"
Web applications increasingly utilize search techniques that heavily rely on content-based text and image analyses. For example, for parental site filtering, it is necessary to id...
Mohamed Hammami, Youssef Chahir, Liming Chen