5348 search results - page 166 / 1070 » Models for the Compressible Web |
173
click to vote
CONCUR
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
222
click to vote
WIDM
2005
ACM
16 years 3 days ago
2005
ACM
Markov models have been widely used for modelling users' navigational behaviour in the Web graph, using the transitional probabilities between web pages, as recorded in the w...
186
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents an approach and a toolset for exploiting the benefits of conceptual modeling in the quality evaluation tasks that take place both before the deployment and dur...
162
click to vote
ICALT
2007
IEEE
16 years 26 days ago
2007
IEEE
Nonaka and his knowledge transformation model SECI revolutionized the thinking about organizations as social learning systems. He introduced technical concepts like hypertext into...
156
click to vote
ICIW
2007
IEEE
15 years 10 months ago
2007
IEEE
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...