Sciweavers

3689 search results - page 607 / 738
» A Language with Distributed Scope
Sort
View
WWW
2006
ACM
15 years 10 months ago
Bootstrapping semantics on the web: meaning elicitation from schemas
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
Paolo Bouquet, Luciano Serafini, Stefano Zanobini,...
WWW
2003
ACM
15 years 10 months ago
eduSource: Interoperable Network of Learning Object Repositories
In this paper, we describe the approach to achieve a high level of interoperability in the eduSource. The eduSource project is a panCanadian collaborative project to create a test...
Marek Hatala, Griff Richards
WWW
2002
ACM
15 years 10 months ago
EDUTELLA: a P2P networking infrastructure based on RDF
Metadata for the World Wide Web is important, but metadata for Peer-to-Peer (P2P) networks is absolutely crucial. In this paper we discuss the open source project Edutella which b...
Ambjörn Naeve, Boris Wolf, Changtao Qu, Matth...
WWW
2001
ACM
15 years 10 months ago
A constraint extension to scalable vector graphics
Scalable Vector Graphics (SVG) is a language developed by the World Wide Web Consortium for describing two dimensional vector graphics for storage and distribution on the Web. Unl...
Greg J. Badros, Jojada J. Tirtowidjojo, Kim Marrio...
COORDINATION
2009
Springer
15 years 10 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti