Sciweavers

1055 search results - page 110 / 211
» Making Web Services Dependable
Sort
View
IANDC
2007
106views more  IANDC 2007»
14 years 10 months ago
Tyrolean termination tool: Techniques and features
The Tyrolean Termination Tool (TTT for short) is a powerful tool for automatically proving termination of rewrite systems. It incorporates several new refinements of the dependen...
Nao Hirokawa, Aart Middeldorp
EUROMICRO
1998
IEEE
15 years 2 months ago
Two-Level Communication Protocol for a Web Operating System (WOS?)
The World-Wide Web consists not only of informational, but also computational resources. However, these resources, especially computational ones are underutilized. One characteris...
Gilbert Babin, Peter G. Kropf, Herwig Unger
IJWBC
2006
85views more  IJWBC 2006»
14 years 10 months ago
Bolero.net in the semantic web and GRID environment
: In this paper, we have focused on using the bolero.net community in the semantic web and grid environment. Bolero.net represents a community with the ambitious initiatives to sta...
Violeta Damjanovic, Vladan Devedzic, Dragan Djuric...
JUCS
2002
145views more  JUCS 2002»
14 years 9 months ago
Webs, Grids and Knowledge Spaces: Programmes, Projects and Prospects
: Many believe that today's Web has not yet reached the full potential which globally distributed systems may achieve in terms of information access and use. Realizing this po...
Hans-Georg Stork
IPPS
2005
IEEE
15 years 3 months ago
Securely Replicated Web Documents
In order to achieve better scalability and reduce latency in handling user requests, many Web applications make extensive use of data replication through caches and Content Delive...
Bogdan C. Popescu, Maarten van Steen, Bruno Crispo...