6646 search results - page 1031 / 1330 » Web Design for the Semantic Web |
166
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
237
click to vote
ECTEL
2006
Springer
15 years 11 months ago
2006
Springer
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
191
click to vote
COMPCON
1995
IEEE
15 years 11 months ago
1995
IEEE
Netbill is a business model, set of protocols, and software implementation for commerce in information goods and other network delivered services. It has very low transaction cost...
172
click to vote
ISTA
2007
15 years 9 months ago
2007
: With the ever-growing availability of so-called complex data, especially on the Web, decision-support systems such as data warehouses must store and process data that are not onl...
189
Voted
DATESO
2004
15 years 8 months ago
2004
We examine the suitability of RDF, RDF Schema (as simple ontology language), and RDF repository Sesame, for providing the backend to a prospective domain-specific web search tool, ...