322 search results - page 20 / 65 » A solid modeling library for the World Wide Web |
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
DRR
2009
13 years 6 months ago
2009
Modern digital libraries offer all the hyperlinking possibilities of the World Wide Web: when a reader finds a citation of interest, in many cases she can now click on a link to b...
JECR
2002
13 years 8 months ago
2002
In this paper we report an extensive analysis of the different business models for auctions found on the Web. Three hundred websites randomly selected from the main search engines...
WSC
1998
13 years 9 months ago
1998
Recent years have seen great interest in the use of Java as a language for developing computer simulations and in the development of methods that utilise the inherently distribute...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
The Semantic Web languages RDFS and OWL have been around for some time now. However, the presence of these languages has not brought the breakthrough of the Semantic Web the creat...