288 search results - page 21 / 58 » Model Checking the World Wide Web |
123
Voted
FGCS
2011
14 years 7 months ago
2011
From the World Wide Web to supply chains and scientific simulations, distributed systems are a widely used and important approach to building computational systems. Tracking prov...
87
Voted
SAC
2000
ACM
15 years 5 months ago
2000
ACM
This paper presents a model for describing the synchronization between several media delivered over a network in a Web-based environment. Synchronization concerns the download and...
DOCENG
2008
ACM
15 years 2 months ago
2008
ACM
As the world wide web transforms from a vehicle of information dissemination and e-commerce transactions into a writable nexus of human collaboration, the Web 2.0 technologies at ...
104
Voted
DCC
2001
IEEE
16 years 11 days ago
2001
IEEE
We consider the problem of compressing graphs of the link structure of the World Wide Web. We provide efficient algorithms for such compression that are motivated by recently prop...
109
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...