Sciweavers

7149 search results - page 21 / 1430
» How dynamic is the Web
Sort
View
CORR
2011
Springer
195views Education» more  CORR 2011»
13 years 3 months ago
Context-aware Authorization in Highly Dynamic Environments
Highly dynamic computing environments, like ubiquitous and pervasive computing environments, require frequent adaptation of applications. Context is a key to adapt suiting user ne...
Jean-Yves Tigli, Stephane Lavirotte, Gaëtan R...
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
BIRTHDAY
2006
Springer
14 years 5 days ago
Reasoning About Web Services in a Temporal Action Logic
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
Alberto Martelli, Laura Giordano
JSS
2008
116views more  JSS 2008»
13 years 8 months ago
Characterization of the evolution of a news Web site
The Web has become a ubiquitous tool for distributing knowledge and information and for conducting businesses. To exploit the huge potential of the Web as a global information rep...
Mariacarla Calzarossa, Daniele Tessera
ENTCS
2006
116views more  ENTCS 2006»
13 years 8 months ago
How Recent is a Web Document?
One of the most important aspects of a Web document is its up-to-dateness or recency. Up-to-dateness is particularly relevant to Web documents because they usually contain content...
Bo Hu, Florian Lauck, Jan Scheffczyk