Sciweavers

7149 search results - page 21 / 1430
» How dynamic is the Web
Sort
View
138
Voted
CORR
2011
Springer
195views Education» more  CORR 2011»
14 years 7 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...
104
Voted
ICWE
2007
Springer
15 years 7 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
118
Voted
BIRTHDAY
2006
Springer
15 years 4 months 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»
15 years 24 days 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
119
Voted
ENTCS
2006
116views more  ENTCS 2006»
15 years 25 days 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